| 2025 | ForMAt: Formal Verification of Scalable Multiply and Accumulate Units. | Lennart Weingarten, Kamalika Datta, Rolf Drechsler |
| 2025 | Performance Modeling and Analysis of Exposed Datapath Architectures. | Klaus Schneider, Demyana Selim, Nadine Kercher |
| 2025 | ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes. | Manfred Schlgl, Jonas Reichhardt, Daniel Groe |
| 2025 | Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2025 | Flexpoch: Feature-rich 64-bit DateTime Encoding. | Emanuel Regnath, Andreas Finkenzeller, Sebastian Steinhorst |
| 2025 | Tool Support for Precise Assessment of Software Security/Performance Tradeoffs. | Malou Rayon-Richter, Daniela Genius |
| 2025 | System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit. | Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha, Rolf Drechsler |
| 2025 | Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design. | Giovanni Pollo, Andrei Mihai Albu, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Loris Panaro, Dario Soldi, Fabio Autieri, Sara Vinco |
| 2025 | Open-Source Timing-Monitor Co-Processor in RISC-V Safety Infrastructure. | Sven Mehlhop, Jrg Walter, Frank Oppenheimer |
| 2025 | A Quantitative Guide to Navigate Speed/Accuracy Tradeoffs in System Level Design of RISC-V Processor Grids. | Lars Luchterhandt, Vivek Govindasamy, Yutong Wang, Christoph Scheytt, Wolfgang Mller, Rainer Dmer |
| 2025 | Leveraging Model-Driven Architecture for Efficient Custom Instruction Utilization in Embedded Systems in C and Rust. | Raphael Kunz, Mayuri Bhadra, Lijun Chen, Stephanie Ecker, Wolfgang Ecker |
| 2025 | BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions. | Rune Krauss, Luca Mller, Marius Marach, Rolf Drechsler |
| 2025 | Towards Efficient Privacy-Preserving Federated Learning on Edge with Reconfigurable FPGA. | Byeong-Gil Jun, Megan Kuo, Aditya A. Krishnan, Hokeun Kim |
| 2025 | Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case. | Hagen Heermann, Johannes Koch, Christoph Grimm, Daniela Genius, Ludovic Apvrille, Ahlem Mifdaoui, Klaus Schneider |
| 2025 | Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams. | Hagen Heermann, Pascal Grabowsky, Carna Zivkovic, Christoph Grimm |
| 2025 | LLM-assisted Metamorphic Testing of Embedded Graphics Libraries. | Christoph Hazott, Daniel Groe |
| 2025 | Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties. | Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2025 | Leveraging the Benefits of Information Flow Tracking for Detecting Hardware Design Flaws. | Srinidhi Rathnakar Ganiga, Bernhard J. Berger, Grschwin Fey |
| 2025 | Designing Imperfect Cyber-Physical Systems. | Samarjit Chakraborty, Klaus Schneider |
| 2025 | Design and implementation of a safety-critical domain specific language for on-board train control. | Alexandre Betis, Clment Dransart, Christophe Lechevalier, Jrme Magouet, Patrick Viry, Insa Fuhrmann, Johannes Meier |
| 2025 | Automating Transformation Strategy via Attributed Graphs for Process Network Parallelization. | Fahimeh Bahrami, Ingo Sander |
| 2024 | Cross-domain Analog Fault Injection for Designing Robust Smart Systems. | Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi |
| 2024 | Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper. | Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
| 2024 | Timing enclaves for performance in Lingua Franca. | Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jernimo Castrilln |
| 2024 | Mining signal temporal logic specifications for hybrid systems. | Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli |