posted by organizer: maurizio_palmieri || 908 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

CSMO 2022   2022 6th International Conference on Simulation, Modeling and Optimization (CSMO 2022)
ACM SaT-CPS 2022   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
IJMSA 2021   International Journal of Modelling, Simulation and Applications
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CPSIOT 2021   2021International Conference on Cyber Physical Systems and IoT(CPSIOT 2021)
CMSA 2022   2022 4th International Conference on Computer Modeling, Simulation and Algorithm (CMSA2022)
RTAS 2022   28th IEEE Real Time Technology and Applications Symposium
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
SI-Frontiers-Robotics-AI-MCPC 2022   Special Issue @ Frontiers in Robotics and AI: Mobile Cyber-Physical Collectives
RTNS 2022   International Conference on Real-Time Networks and Systems