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

IJMSA 2021   International Journal of Modelling, Simulation and Applications
ACM SaT-CPS 2022   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
CSMO 2022   2022 6th International Conference on Simulation, Modeling and Optimization (CSMO 2022)
EAI IC4S 2021   2nd EAI International Conference on Cognitive Computing and Cyber Physical Systems
CMSBD2021   2021 International Conference on Computer Modeling, Simulation and Big Data (CMSBD2021)
CPS-BigData 2021   The 3rd IEEE International Workshop on Application of Big Data Analytics to Cyber-Physical Systems
CMSA 2022   2022 4th International Conference on Computer Modeling, Simulation and Algorithm (CMSA2022)
CPSIOT 2021   2021International Conference on Cyber Physical Systems and IoT(CPSIOT 2021)
SI-Frontiers-Robotics-AI-MCPC 2022   Special Issue @ Frontiers in Robotics and AI: Mobile Cyber-Physical Collectives
ICVARS--Ei, Scopus 2022   2022 the 6th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2022)--Ei Compendex, Scopus