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