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
  • Verification of microprogrammed computer architectures in the S*-system: a case study.  ACM Sigmicro Newsletter.  16:61-73. 1985

• chapter

  • Traffic Sequence Charts for the ENABLE-S3 Test Architecture.  . 2019
  • An axiomatic approach to the specification of distributed computer architectures.  Springer eBooks. 103-120. 1987

• conference paper

  • Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles..  National Conference on Artificial Intelligence. 2018
  • Using contract-based component specifications for virtual integration testing and architecture design.  . 2011
  • Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.  . 2006
  • Verification of microprogrammed computer architectures in the S*-system: a case study.  . 1985