


default search action
24th FDL 2021: Antibes, France
- 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021. IEEE 2021, ISBN 978-1-6654-1825-6
- Sebastiano Gaiardelli
, Stefano Spellini
, Michele Lora, Franco Fummi:
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. 1-8 - Geri Skenderi
, Alessia Bozzini, Luigi Capogrosso
, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani:
DOHMO: Embedded Computer Vision in Co-Housing Scenarios. 1-8 - Joaquín Aguado, Alejandra Duenas:
Synchronised Shared Memory and Model Checking: A Proof of Concept. 1-8 - Javier Merino, Raul Gomez
, Hector Posadas, Eugenio Villar:
Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. 1-8 - Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch:
Extracting Mode Diagrams from Blech Code. 1-8 - Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri:
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. 1-8 - Mehran Goli
, Rolf Drechsler
:
VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. 1-8 - Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch:
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. 1-8 - Nicola Dall'Ora
, Sadia Azam, Enrico Fraccaroli
, André Alberts, Franco Fummi:
A Common Manipulation Framework for Transistor-Level Languages. 1-7 - Loïc Salmon
, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau:
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. 1-8 - Victor Grimblatt:
The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. 1-6 - Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh:
Debugging and Verification Tools for Lingua Franca in Gemoc Studio. 1-8 - Sören Tempel
, Vladimir Herdt, Rolf Drechsler
:
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. 1-7 - Emad Malekzadeh Arasteh, Rainer Dömer:
Improving Parallelism in System Level Models by Assessing PDES Performance. 1-7 - Eric Senn, Lucie Bourdon:
Introducing CPU load Analysis from AADL Models for ROS applications : a use case. 1-8 - Sallar Ahmadi-Pour
, Vladimir Herdt, Rolf Drechsler
:
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. 1-7

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.