| 2020 | A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2020 | A Language for Deterministic Coordination Across Multiple Timelines. Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee |
| 2020 | A Minimal RISC-V Vector Processor for Embedded Systems. Matthew Johns, Tom J. Kazmierski |
| 2020 | An Algebra of Deterministic Propositional Acceptance Automata (DPAA). Aurélien Lamercerie, Benoît Caillaud |
| 2020 | Beyond real number modeling: Comparison of analog modeling approaches. Wolfgang Scherr, Karsten Einwich |
| 2020 | Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. Carna Zivkovic, Christoph Grimm, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, Andre Barisic |
| 2020 | ComPy-Learn: A toolbox for exploring machine learning representations for compilers. Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón |
| 2020 | Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler |
| 2020 | Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. George Ungureanu, Rodolfo Jordão, Ingo Sander |
| 2020 | Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020 |
| 2020 | From Lustre to Graphical Models and SCCharts. Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
| 2020 | Machine Learning in Compilers: Past, Present and Future. Hugh Leather, Chris Cummins |
| 2020 | QRML: A Component Language and Toolset for Quality and Resource Management. Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten |
| 2020 | Supervisory Control for Dynamic Feature Configuration in Product Lines. Michel A. Reniers, Sander Thuijsman |
| 2020 | Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele |
| 2020 | Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. Saranya Natarajan, David Broman |
| 2020 | The Sparse Synchronous Model. Stephen A. Edwards, John Hui |
| 2020 | Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. François Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius |