posted by user: maurizio_palmieri || 1229 views || tracked by 1 users: [display]

CoSim-CPS 2022 : 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/cosimcps2022/home
 
When Sep 27, 2022 - Sep 27, 2022
Where Berlin, Germany
Abstract Registration Due Jul 24, 2022
Submission Deadline Jul 31, 2022
Notification Due Aug 31, 2022
Final Version Due Sep 19, 2022
Categories    simulation   formal methods   system engineering   co-simulation
 

Call For Papers

CfP: CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical
Systems
A satellite event of SEFM 2022, September 27, 2022, Berlin, Germany

Submission due: Sunday 31 July 2022
Website: https://sites.google.com/view/cosimcps2022/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
- Co-simulation in self-adaptive and digital twin systems

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

IMPORTANT DATES
* Abstract submission (optional): Sunday 24 July 2022
* Paper submission: Sunday 31 July 2022
* Notification: Wednesday 31 August 2022
* Camera-ready version: Monday 19 September 2022
* Workshop date: Tuesday 27 September 2022

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
- Aaron Dutle, NASA Langley Research Center, USA
- Adriano Fagiolini, University of Palermo, Italy
- Andrea Domenici, University of Pisa, Italy
- Francesco Flammini, Mälardalen University, Sweden
- Francisco J. González, University of A Coruña, Spain
- Holger Pfeifer, fortiss GmbH, Germany
- Hugo Daniel Macedo, Aarhus University, Denmark
- Jörg Brauer, Verified Systems International GmbH, Germany
- Julien Alexandre Dit Sandretto, Ensta ParisTech, France
- Ken Pierce, Newcastle University, UK
- Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse, France
- Paul De Meulenaere, University of Antwerp, Belgium
- Rudolf Schlatte, University of Oslo, Norway
- Stylianos Basagiannis, Collins Aerospace, Ireland

---------------------------------------------------------------------

Related Resources

CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
AVC 2024   Advances in Vision Computing: An International Journal
CPS4CIP 2024   The 5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP 2024)
FM 2024   Formal Methods
SEAA 2024   50th Euromicro Conference Series on Software Engineering and Advanced Applications
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
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)
HPCA-PhS 2024   Sixth Minisymposium on HPC Applications in Physical Sciences
AMMS 2024   2024 6th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2024)