| 2020 | Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. | Carna Zivkovic, Christoph Grimm, Johannes Klsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, Andre Barisic |
| 2020 | Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. | George Ungureanu, Rodolfo Jordo, Ingo Sander |
| 2020 | Beyond real number modeling: Comparison of analog modeling approaches. | Wolfgang Scherr, Karsten Einwich |
| 2020 | Supervisory Control for Dynamic Feature Configuration in Product Lines. | Michel A. Reniers, Sander Thuijsman |
| 2020 | Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. | Franois Pcheux, Liliana Andrade, Marie-Minerve Lourat, Ilias Bournias, Roselyne Chotin, Daniela Genius |
| 2020 | Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. | Saranya Natarajan, David Broman |
| 2020 | A Language for Deterministic Coordination Across Multiple Timelines. | Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jernimo Castrilln, Edward A. Lee |
| 2020 | Machine Learning in Compilers: Past, Present and Future. | Hugh Leather, Chris Cummins |
| 2020 | An Algebra of Deterministic Propositional Acceptance Automata (DPAA). | Aurlien Lamercerie, Benot Caillaud |
| 2020 | A Minimal RISC-V Vector Processor for Embedded Systems. | Matthew Johns, Tom J. Kazmierski |
| 2020 | Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. | Vladimir Herdt, Daniel Groe, Eyck Jentzsch, Rolf Drechsler |
| 2020 | From Lustre to Graphical Models and SCCharts. | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
| 2020 | Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. | Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele |
| 2020 | The Sparse Synchronous Model. | Stephen A. Edwards, John Hui |
| 2020 | ComPy-Learn: A toolbox for exploring machine learning representations for compilers. | Alexander Brauckmann, Andrs Goens, Jernimo Castrilln |
| 2020 | A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. | Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2020 | QRML: A Component Language and Toolset for Quality and Resource Management. | Freek van den Berg, Vclav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Snchez, Toms Bures, Twan Basten |
| 2019 | Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. | George Ungureanu, Timmy Sundstrm, Anders hlander, Ingo Sander, Ingemar Sderquist |
| 2019 | A Backend Tool for the Integration of Memory Optimizations into Embedded Software. | Manuel Strobel, Martin Radetzki |
| 2019 | Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. | Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi |
| 2019 | Towards Object-Oriented Modeling in SCCharts. | Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler |
| 2019 | Exact Synthesis of LTL Properties from Traces. | Heinz Riener |
| 2019 | Syntax-Guided Enumeration of Temporal Properties. | Gianluca Martino, Grschwin Fey |
| 2019 | Deterministic Actors. | Marten Lohstroh, Edward A. Lee |
| 2019 | WIP on a Coordination Language to Automate the Generation of Co-Simulations. | Giovanni Liboni, Julien Deantoni |