| 2019 | 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019 Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak |
| 2019 | A Backend Tool for the Integration of Memory Optimizations into Embedded Software. Manuel Strobel, Martin Radetzki |
| 2019 | A Multi-Rate Precision Timed Programming Language for Multi-Cores. Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip |
| 2019 | A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. Jie Hou, Martin Radetzki |
| 2019 | Chatbot-based assertion generation from natural language specifications. Oliver Keszöcze, Ian G. Harris |
| 2019 | Deterministic Actors. Marten Lohstroh, Edward A. Lee |
| 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 | Exact Synthesis of LTL Properties from Traces. Heinz Riener |
| 2019 | Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist |
| 2019 | Functional Coverage-Driven Characterization of RF Amplifiers. Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler |
| 2019 | Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi |
| 2019 | RTL Assertion Mining with Automated RTL-to-TLM Abstraction. Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik |
| 2019 | Security Driven Design Space Exploration for Embedded Systems. Lukas Gressl, Christian Steger, Ulrich Neffe |
| 2019 | Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. Ginés Doménech-Asensi, Tom J. Kazmierski |
| 2019 | Syntax-Guided Enumeration of Temporal Properties. Gianluca Martino, Görschwin Fey |
| 2019 | Systematic RISC-V based Firmware Design Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Louis-Ferdinand Jung, Joscha Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz |
| 2019 | Time Measurement and Control Blocks for Bare-Metal C++ Applications. Friederike Bruns, Philipp Ittershagen, Kim Grüttner |
| 2019 | Towards Object-Oriented Modeling in SCCharts. Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler |
| 2019 | WIP on a Coordination Language to Automate the Generation of Co-Simulations. Giovanni Liboni, Julien Deantoni |