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

CoSim-CPS 2022   6th Workshop on Formal Co-Simulation of Cyber-Physical Systems
ITCA 2023   11th International Conference of Information Technology, Control and Automation
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
IEEE ICVR 2023   2023 the 9th International Conference on Virtual Reality (ICVR 2023)--IEEE, SCI
TASE 2023   Theoretical Aspects of Software Engineering
JEDT 2022   International Journal of Electronic Design and Test
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
RTNS 2023   International conference on Real-Time Networks and Systems
ACM SaT-CPS 2023   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
SPIN 2023   29th International Symposium on Model Checking of Software