Abstract is missing.
- Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi. 1-8 [doi]
- VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual PrototypesMehran Goli, Rolf Drechsler. 1-8 [doi]
- RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical SystemsSallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler. 1-7 [doi]
- Debugging and Verification Tools for Lingua Franca in Gemoc StudioJulien DeAntoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh. 1-8 [doi]
- CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation functionLoïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau. 1-8 [doi]
- Introducing CPU load Analysis from AADL Models for ROS applications : a use caseEric Senn, Lucie Bourdon. 1-8 [doi]
- Improving Parallelism in System Level Models by Assessing PDES PerformanceEmad Malekzadeh Arasteh, Rainer Dömer. 1-7 [doi]
- Synchronised Shared Memory and Model Checking: A Proof of ConceptJoaquín Aguado, Alejandra Duenas. 1-8 [doi]
- A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architecturesFrancesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri. 1-8 [doi]
- A Common Manipulation Framework for Transistor-Level LanguagesNicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi. 1-7 [doi]
- Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based ServicesJavier Merino, Raul Gomez, Hector Posadas, Eugenio Villar. 1-8 [doi]
- The Challenge of Agriculture: Increase the Productivity in a Sustainable WayVictor Grimblatt. 1-6 [doi]
- DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX FoundryJobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch. 1-8 [doi]
- Extracting Mode Diagrams from Blech CodeDaniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch. 1-8 [doi]
- DOHMO: Embedded Computer Vision in Co-Housing ScenariosGeri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani. 1-8 [doi]
- In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual PrototypesSären Tempel, Vladimir Herdt, Rolf Drechsler. 1-7 [doi]