| 2021 | 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021 |
| 2021 | A Common Manipulation Framework for Transistor-Level Languages. Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi |
| 2021 | A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri |
| 2021 | CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau |
| 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 | DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch |
| 2021 | Debugging and Verification Tools for Lingua Franca in Gemoc Studio. Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh |
| 2021 | Extracting Mode Diagrams from Blech Code. Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch |
| 2021 | Improving Parallelism in System Level Models by Assessing PDES Performance. Emad Malekzadeh Arasteh, Rainer Dömer |
| 2021 | In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| 2021 | Introducing CPU load Analysis from AADL Models for ROS applications : a use case. Eric Senn, Lucie Bourdon |
| 2021 | Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar |
| 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 | 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. Joaquín Aguado, Alejandra Duenas |
| 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 |