Best Papers

Best and award-winning papers from academic conferences and journals, by year.

Conferences
Showing 1-30 of 5,814 items.
YearConferencesBest Papers
2026ETAPSDon’t Go MAD with Anomalies! Design-Time Microservice Anomaly Detection in Migration to Microservices
2026ETAPSRecursive Logical Relations for Intuitionistic Linear Logic Session Types
2026ETAPSOn Deciding Constant Runtime of Linear Loops
2026ETAPSThe Value Problem for Weighted Timed Games with Two clocks is Undecidable
2026ETAPSMassively Parallel Bit-Precise Verification with Bitwuzla and Mallob
2026FPGAKANELÉ: Kolmogorov–Arnold Networks for Efficient LUT-based Evaluation
2026PPoPPBinary Compatible Critical Section Delegation
2026PPoPPHierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff
2025ACIA Computer Vision Pipeline to Augment Touchscreen Tasks for Chimpanzees
2025ACIExploring the Cockatoo's Engagement with Audiovisual Stimuli: An Inclusive Avian-IoT Interaction Design
2025ACIUsing Community Notes to Enact Attitudinal Change towards Urban Wildlife
2025ACILook What the Cat Tapped In: Exploring Digital Interactive Systems Designed for the Cat Cafe Experience
2025ACM REPReproducibility in Applied Security Conferences: An 11-Year Review on Artifacts and Evaluation Committees
2025ACMSESecure Edge Computing Reference Architecture for Data-driven Structural Health Monitoring: Lessons Learned from Implementation and Benchmarking
2025AsiaCCSBreaking Bad: How Compilers Break Constant-Time Implementations
2025AsiaCCSAdversarial Fog: Exploiting the Vulnerabilities of LiDAR Point Cloud Preprocessing Filters
2025ASPLOSMetaSapiens: Real-Time Neural Rendering with Efficiency-Aware Pruning and Accelerated Foveated Rendering
2025ASPLOSH-Houdini: Scalable Invariant Learning
2025ASPLOSExtended User Interrupts (xUI): Fast and Flexible Notification without Polling
2025ASPLOSCXLfork: Fast Remote Fork over CXL Fabrics
2025ASPLOSOrion: A Fully Homomorphic Encryption Framework for Deep Learning
2025ASPLOSSmoothE: Differentiable E-Graph Extraction
2025AutoUISelf-supervised Learning for Detecting Local Contextual Anomalous Gaze Patterns of Individual Drivers in Level 3 Automated Driving
2025AutoUIPedestrian Planet: What YouTube Driving from 233 Countries and Territories Teaches Us About the World
2025AutoUISOH Illusion: Misunderstandings of EV Battery State of Health and Methods to Promote Understanding
2025AutoUIEnhancing Cyclist Safety in the EU: A Study on Lateral Overtaking Distance Across Seven Scenarios Using Lab and Crowdsourced Methods
2025AutoUIReconfigurable Roadways: Envisioning the Future of V2X-Driven Autonomous Urban Infrastructure through an Interactive Tabletop Simulator
2025C&CContent Authenticities: A Discussion on the Values of Provenance Data for Creatives and Their Audiences
2025CHILost in Magnitudes: Exploring Visualization Designs for Large Value Ranges
2025CHILivingLoom: Investigating Human-Plant Symbiosis through Integrating Living Plants into (E-)Textiles
Journals
Showing 181-210 of 371 items.
YearJournalsBest Papers
2019IEEE/ASME Transactions on MechatronicsInvestigations of a Robotic Test Bed With Viscoelastic Liquid Cooled Actuators
2019Software & Systems ModelingQuestionnaire-based variability modeling for system configuration
2019Software & Systems ModelingGenerating instance models from meta models
2019Software & Systems ModelingA Multi-Paradigm Modelling approach to live modelling
2019Software & Systems ModelingRoboChart: modelling and verification of the functional behaviour of robotic applications
2019Software & Systems ModelingTrade-off analysis for SysML models using decision points and CSPs
2019Software & Systems ModelingModel execution tracing: a systematic mapping study
2019Software & Systems ModelingApplying static code analysis for domain-specific languages
2019Software & Systems ModelingEvaluating user interface generation approaches: model-based versus model-driven development
2019Software & Systems ModelingThirteen years of SysML: a systematic mapping study
2019Systems EngineeringDesigning development processes related to system of systems using a modeling framework
2019Systems EngineeringDecision learning framework for architecture design decisions of complex systems and system-of-systems
2019Systems EngineeringModel-based protocol specification
2019Systems EngineeringA network perspective on assessing system architectures: Foundations and challenges
2019Systems EngineeringQuantification of changeability level for engineering systems
2019Systems EngineeringElemental patterns of verification strategies
2018ACM Transactions on Computer-Human InteractionParticipatory Design that Matters—Facing the Big Issues
2018ACM Transactions on Interactive Intelligent SystemsModeling the Human-Robot Trust Phenomenon: A Conceptual Framework based on Risk
2018IEEE Annals of the History of ComputingDLL Hell: Software Dependencies, Failure, and the Maintenance of Microsoft Windows
2018IEEE Computer Architecture LettersThe Architectural Implications of Cloud Microservices
2018IEEE Journal of Solid-State CircuitsA 6.9-μm Pixel-Pitch Back-Illuminated Global Shutter CMOS Image Sensor With Pixel- Parallel 14-Bit Subthreshold ADC
2018IEEE MicroLoihi: A Neuromorphic Manycore Processor with On-Chip Learning
2018IEEE MultiMediaA Progressive Search Paradigm for the Internet of Things
2018IEEE Pervasive ComputingN-BaIoT—Network-Based Detection of IoT Botnet Attacks Using Deep Autoencoders
2018IEEE Robotics & Automation MagazineWalking and Running with Passive Compliance: Lessons from Engineering: A Live Demonstration of the ATRIAS Biped
2018IEEE Robotics and Automation LettersVision-Based Reactive Planning for Aggressive Target Tracking While Avoiding Collisions and Occlusions
2018IEEE SoftwareA Framework for Determining Blockchain Applicability
2018IEEE Systems JournalAnonymous Authentication for Wireless Body Area Networks With Provable Security
2018IEEE Systems JournalGame-Theoretic Market-Driven Smart Home Scheduling Considering Energy Balancing
2018IEEE Systems JournalHealth-CPS: Healthcare Cyber-Physical System Assisted by Cloud and Big Data