| 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 Müller, Rainer Dömer |
| 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 | Automating Transformation Strategy via Attributed Graphs for Process Network Parallelization. Fahimeh Bahrami, Ingo Sander |
| 2025 | BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions. Rune Krauss, Luca Müller, Marius Marach, Rolf Drechsler |
| 2025 | Design and implementation of a safety-critical domain specific language for on-board train control. Alexandre Betis, Clément Dransart, Christophe Lechevalier, Jérôme Magouet, Patrick Viry, Insa Fuhrmann, Johannes Meier |
| 2025 | Designing Imperfect Cyber-Physical Systems. Samarjit Chakraborty, Klaus Schneider |
| 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 | Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties. Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2025 | Flexpoch: Feature-rich 64-bit DateTime Encoding. Emanuel Regnath, Andreas Finkenzeller, Sebastian Steinhorst |
| 2025 | ForMAt: Formal Verification of Scalable Multiply and Accumulate Units. Lennart Weingarten, Kamalika Datta, Rolf Drechsler |
| 2025 | Forum on Specification & Design Languages, FDL 2025, St. Goar, Germany, September 10-12, 2025 |
| 2025 | LLM-assisted Metamorphic Testing of Embedded Graphics Libraries. Christoph Hazott, Daniel Große |
| 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 | Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs. Kaki Ryan, Cynthia Sturton |
| 2025 | Leveraging the Benefits of Information Flow Tracking for Detecting Hardware Design Flaws. Srinidhi Rathnakar Ganiga, Bernhard J. Berger, Görschwin Fey |
| 2025 | Open-Source Timing-Monitor Co-Processor in RISC-V Safety Infrastructure. Sven Mehlhop, Jörg Walter, Frank Oppenheimer |
| 2025 | Performance Modeling and Analysis of Exposed Datapath Architectures. Klaus Schneider, Demyana Selim, Nadine Kercher |
| 2025 | ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes. Manfred Schlägl, Jonas Reichhardt, Daniel Große |
| 2025 | Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams. Hagen Heermann, Pascal Grabowsky, Carna Zivkovic, Christoph Grimm |
| 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 | Tool Support for Precise Assessment of Software Security/Performance Tradeoffs. Malou Rayon-Richter, Daniela Genius |
| 2025 | Towards Efficient Privacy-Preserving Federated Learning on Edge with Reconfigurable FPGA. Byeong-Gil Jun, Megan Kuo, Aditya A. Krishnan, Hokeun Kim |