| 2018 | 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018 Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst |
| 2018 | A New Ageing-Aware Approach Via Path Isolation. Yue Lu, Shengyu Duan, Tom J. Kazmierski |
| 2018 | Automated Redirection of Hardware Accesses for Host-Compiled Software Simulation. Rafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
| 2018 | Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno |
| 2018 | Automatic Design of Microfluidic Devices. Robert Wille, Bing Li, Rolf Drechsler, Ulf Schlichtmann |
| 2018 | Blech, Imperative Synchronous Programming! Friedrich Gretz, Franz-Josef Grosch |
| 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 Chacón Ramírez |
| 2018 | Dynamic Inside-Out Verification Using Inverse Transactions in TLM. Tobias Strauch |
| 2018 | Extensible and Configurable RISC-V Based Virtual Prototype. Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler |
| 2018 | From Low-Power to No-Power: Adaptive Clocking for Event-Driven Systems. Georg Gläser, Benjamin Saft, Dominik Wrana, Athanasios Gatzastras, Eckhard Hennig |
| 2018 | Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux |
| 2018 | Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet |
| 2018 | Sequential Behavioral Modeling for Scalable IoT Devices and Systems. Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst |
| 2018 | Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. Enrico Fraccaroli, Davide Quaglia, Franco Fummi |
| 2018 | SmaCoNat: Smart Contracts in Natural Language. Emanuel Regnath, Sebastian Steinhorst |
| 2018 | Symbolic Simulation of SystemC AMS Without Yet Another Compiler. Carna Zivkovic, Christoph Grimm |
| 2018 | SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. Zhongqi Cheng, Tim Schmidt, Rainer Dömer |
| 2018 | Time in SCCharts. Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni |
| 2018 | Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. Stefano Centomo, Michele Lora, Franco Fummi |
| 2018 | Using SysML for Modelling and Code Generation for Smart Sensor ASICs. Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann |