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

BIOS 2023   9th International Conference on Bioinformatics & Biosciences
CE 2023   7th International Conference on Civil Engineering
CPSIOT 2023   2023International Conference on Cyber Physical Systems and IoT(CPSIOT 2023)
AITIJ 2023   Advances in Interconnect Technologies: An International Journal
Embedded Systems for AI-Based Health Mon 2023   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
VCOI 2023   International Conference on Vision and Computational Intelligence
CPS4CIP 2023   The 4th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection
16th IEEE MCSoC 2023   16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip
IEEE ICSRS 2023   IEEE--2023 The 7th International Conference on System Reliability and Safety (ICSRS 2023)
PRAI--SCI 2023   2023 IEEE the 6th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2023)--SCI