posted by organizer: maurizio_palmieri || 1867 views || tracked by 3 users: [display]

CoSim-CPS 2021 : 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems


When Dec 6, 2021 - Dec 10, 2021
Where Vritual event
Submission Deadline Oct 8, 2021
Notification Due Nov 5, 2021
Final Version Due Dec 3, 2021
Categories    simulation   formal methods   system engineering   co-simulation

Call For Papers

CfP: CoSim-CPS, 5th Workshop on Formal Co-Simulation of Cyber-Physical
A satellite event of SEFM 2021, December 7, 2021, Amsterdam,
The Netherlands

An entirely virtual event because of the COVID-19 pandemic.
Submission of papers and paper selection process are as planned.
Organisation of the workshop will follow the rules of the main

Submission due: Friday 24 September 2021 (EXTENDED to Friday 8 October)
Submission link:

Categories: Simulation, formal methods, modeling, systems engineering
and co-simulation

CoSim-CPS is a workshop on the integrated application of formal
methods and co-simulation technologies in the development of
software for Cyber-Physical Systems.

Topics of interest include, but are not limited to:
- Development of new co-simulation methods and tools
- Integration of formal methods technologies in co-simulation methods
and tools
- Experience reports on using existing co-simulation methods and tools
- Emerging standards for co-simulation
- Modeling and analysis of safety properties of cyber-physical systems
through co-simulation
- Modeling and analysis of human-machine interfaces in cyber-physical
systems through co-simulation
- Modeling and analysis of security aspects of cyber-physical systems
through co-simulation
- Co-simulation of the next-generation cyber-physical systems

* Papers will be reviewed by at least 3 PC members.
* Proceedings will be published in Springer's Lecture Notes in Computer Science series.

* Abstract Submission (Optional): Friday 24 September 2021
* Paper Submission: Friday 1 October 2021 (EXTENDED to Friday 8 October)
* Author Notification: Friday 5 November 2021
* Camera-Ready: Friday 3 December 2021
* Workshop: 7 December, 2021

- Cinzia Bernardeschi, University of Pisa, Italy
- Claudio Gomes, Aarhus University, Denmark
- Maurizio Palmieri, University of Pisa, Italy
- Paolo Masci, National Institute of Aerospace (NIA), USA

Program Committee
- Julien Alexandre Dit Sandretto, Ensta ParisTech
- Swee Balachandran, National Institute of Aerospace (NIA)
- Mongi Ben Gaid, IFPEN
- Jörg Brauer, Verified Systems International GmbH
- Paul De Meulenaere, University of Antwerp
- Andrea Domenici, University of Pisa
- Aaron Dutle, NASA
- Adriano Fagiolini, University of Palermo
- Francesco Flammini, Linnaeus University
- Ken Pierce, Newcastle University
- Antonella Longo, University of Salento
- Akshay Rajhans, MathWorks
- Rudolf Schlatte, University of Oslo
- Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse
- Casper Thule Hansen, Aarhus University


Related Resources

SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
IWPR--EI 2024   2024 9th International Workshop on Pattern Recognition (IWPR 2024)
IEEE ICCRE 2024   IEEE--2024 9th International Conference on Control and Robotics Engineering (ICCRE 2024)
ML4CPS 2024   Machine Learning for Cyber-Physical Systems
ACM IPMV 2024   ACM--2024 6th International Conference on Image Processing and Machine Vision (IPMV 2024)
Embedded Systems for AI-Based Health Mon 2023   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
COMS 2024   The 15th Workshop on Computational Optimization, Modelling and Simulation (COMS 2024)