Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar 23041 "Integrated Rigorous Analysis in Cyber-Physical Systems (CPS) Engineering". This seminar brought together academic and industry representations from a variety of domains with backgrounds in different techniques to develop a roadmap for addressing the current challenges in the area of CPS engineering. An overarching theme was the potential use of integrated models and associated methodologies that support cross-technique information/results sharing and smooth workflow hand-offs between individual tools and methods.
Authors 5
-
Erika Ábrahám Aachen
Affiliation as printed
RWTH Aachen University, DE
-
Affiliation as printed
Aarhus University, DK
Aarhus University, Technical Sciences, Department of Electrical and Computer Engineering, Department of Electrical and Computer Engineering - Software Engineering & Computing systems, DK
-
Affiliation as printed
Kansas State University - Manhattan, US
-
Affiliation as printed
Galois - Minneapolis, US
-
Karlsruhe Institute of Technology
Affiliation as printed
KIT - Karlsruher Institut für Technologie, DE
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-06).