selected publications
-
academic article
- A REFERENCE ARCHITECTURE OF HUMAN CYBER-PHYSICAL SYSTEMS – PART III: SEMANTIC FOUNDATIONS. ACM Transactions on Cyber-Physical Systems. 2023
- A References Architecture for Human Cyber Physical Systems - PART II: Fundamental Design Principles for Human-CPS Interaction. ACM Transactions on Cyber-Physical Systems. 2023
- A Reference Architecture of Human Cyber-Physical Systems – PART I: Fundamental Concepts. ACM Transactions on Cyber-Physical Systems. 2023
-
chapter
- Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. IFIP advances in information and communication technology. 2013
- Provably Correct Systems. Lecture Notes in Computer Science. 288-335. 1994
-
conference paper
- A Fail-safe Architecture for Automated Driving. . 2020
- Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles.. National Conference on Artificial Intelligence. 2018