| 2019 | Chatbot-based assertion generation from natural language specifications. | Oliver Keszcze, Ian G. Harris |
| 2019 | A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. | Jie Hou, Martin Radetzki |
| 2019 | Systematic RISC-V based Firmware Design | Vladimir Herdt, Daniel Groe, Rolf Drechsler, Christoph Gerum, Alexander Louis-Ferdinand Jung, Joscha Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz |
| 2019 | Functional Coverage-Driven Characterization of RF Amplifiers. | Muhammad Hassan, Daniel Groe, Thilo Vrtler, Karsten Einwich, Rolf Drechsler |
| 2019 | Security Driven Design Space Exploration for Embedded Systems. | Lukas Gressl, Christian Steger, Ulrich Neffe |
| 2019 | A Multi-Rate Precision Timed Programming Language for Multi-Cores. | Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip |
| 2019 | RTL Assertion Mining with Automated RTL-to-TLM Abstraction. | Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
| 2019 | Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. | Gins Domnech-Asensi, Tom J. Kazmierski |
| 2019 | Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. | Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno |
| 2019 | Time Measurement and Control Blocks for Bare-Metal C++ Applications. | Friederike Bruns, Philipp Ittershagen, Kim Grttner |
| 2018 | Symbolic Simulation of SystemC AMS Without Yet Another Compiler. | Carna Zivkovic, Christoph Grimm |
| 2018 | Automatic Design of Microfluidic Devices. | Robert Wille, Bing Li, Rolf Drechsler, Ulf Schlichtmann |
| 2018 | Dynamic Inside-Out Verification Using Inverse Transactions in TLM. | Tobias Strauch |
| 2018 | Automated Redirection of Hardware Accesses for Host-Compiled Software Simulation. | Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
| 2018 | Cyber-Physical System for Industrial Control Automation Based on the Holonic Approach and the IEC 61499 Standard. | Luis Alberto Cruz Salazar, Jaime H. Carvajal, Oscar A. Rojas, Edgar Chacn Ramrez |
| 2018 | Time in SCCharts. | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frdric Mallet, Robert de Simone, Julien Deantoni |
| 2018 | SmaCoNat: Smart Contracts in Natural Language. | Emanuel Regnath, Sebastian Steinhorst |
| 2018 | A New Ageing-Aware Approach Via Path Isolation. | Yue Lu, Shengyu Duan, Tom J. Kazmierski |
| 2018 | Sequential Behavioral Modeling for Scalable IoT Devices and Systems. | Ege Korkan, Sebastian Kbisch, Matthias Kovatsch, Sebastian Steinhorst |
| 2018 | Using SysML for Modelling and Code Generation for Smart Sensor ASICs. | Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann |
| 2018 | Extensible and Configurable RISC-V Based Virtual Prototype. | Vladimir Herdt, Daniel Groe, Hoang M. Le, Rolf Drechsler |
| 2018 | Blech, Imperative Synchronous Programming! | Friedrich Gretz, Franz-Josef Grosch |
| 2018 | From Low-Power to No-Power: Adaptive Clocking for Event-Driven Systems. | Georg Glser, Benjamin Saft, Dominik Wrana, Athanasios Gatzastras, Eckhard Hennig |
| 2018 | Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. | Enrico Fraccaroli, Davide Quaglia, Franco Fummi |
| 2018 | Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. | Guillaume Davy, Christophe Garion, Pierre-Loc Garoche, Pierre Roux, Xavier Thirioux |