| 2022 | Automated Suggestions Framework for Processing Hardware Specifications Written in English. | Rahul Krishnamurthy, Michael S. Hsiao |
| 2022 | Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. | Lucas Klemmer, Sonja Gurtner, Daniel Groe |
| 2022 | A multi-view and programming language agnostic framework for model-driven engineering. | Rodolfo Jordo, Fahimeh Bahrami, Rui Chen, Ingo Sander |
| 2022 | Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. | Alexander Fratzer, Vladimir Herdt, Christoph Lth, Rolf Drechsler |
| 2022 | CorePerfDSL: A Flexible Processor Description Language for Software Performance Simulation. | Conrad Foik, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
| 2022 | Formal Modelling of Burst-Mode Specifications in a Distributed Environment. | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
| 2022 | Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. | Niklas Bruns, Vladimir Herdt, Rolf Drechsler |
| 2022 | A Comparison of Virtual Platform Simulation Solutions for Timing Prediction of Small RISC-V Based SoCs. | Felix Bseler, Jrg Walter, Behnam Razi Perjikolaei |
| 2022 | SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. | Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella |
| 2021 | In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. | Sren Tempel, Vladimir Herdt, Rolf Drechsler |
| 2021 | DOHMO: Embedded Computer Vision in Co-Housing Scenarios. | Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani |
| 2021 | Introducing CPU load Analysis from AADL Models for ROS applications : a use case. | Eric Senn, Lucie Bourdon |
| 2021 | CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. | Loc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau |
| 2021 | Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. | Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar |
| 2021 | A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. | Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri |
| 2021 | Extracting Mode Diagrams from Blech Code. | Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch |
| 2021 | DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. | Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch |
| 2021 | The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. | Victor Grimblatt |
| 2021 | VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. | Mehran Goli, Rolf Drechsler |
| 2021 | Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. | Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi |
| 2021 | Debugging and Verification Tools for Lingua Franca in Gemoc Studio. | Julien Deantoni, Joo Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh |
| 2021 | A Common Manipulation Framework for Transistor-Level Languages. | Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, Andr Alberts, Franco Fummi |
| 2021 | Improving Parallelism in System Level Models by Assessing PDES Performance. | Emad Malekzadeh Arasteh, Rainer Dmer |
| 2021 | RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. | Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
| 2021 | Synchronised Shared Memory and Model Checking: A Proof of Concept. | Joaqun Aguado, Alejandra Duenas |