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

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

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/cosim-cps-2021/home
 
When Dec 6, 2021 - Dec 10, 2021
Where Vritual event
Submission Deadline Sep 25, 2021
Notification Due Oct 25, 2021
Final Version Due Nov 25, 2021
Categories    simulation   formal methods   system engineering   co-simulation
 

Call For Papers

---------------------------------------------------------------------
CfP: CoSim-CPS, 5th Workshop on Formal Co-Simulation of Cyber-Physical
Systems
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
conference.

Submission due: Friday 24 September 2021 (EXTENDED to Friday 8 October)
Submission link: https://easychair.org/conferences/?conf=cosimcps2021

Website: https://sites.google.com/view/cosim-cps-2021/home
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

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

IMPORTANT DATES
* 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

PC CO-CHAIRS
- 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

CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
FM 2024   Formal Methods
CPS4CIP 2024   The 5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP 2024)
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
SEAA 2024   50th Euromicro Conference Series on Software Engineering and Advanced Applications
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ACM AIPR 2024   ACM--2024 7th International Conference on Artificial Intelligence and Pattern Recognition (AIPR 2024)
AMMS 2024   2024 6th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2024)
HPCA-PhS 2024   Sixth Minisymposium on HPC Applications in Physical Sciences
IWCFS 2024   The 9th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems