Modeling Architectures of Cyber-Physical Systems

• Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition

  2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles

  2024 Springer eBooks book-chapter Engineering Traffic control and management Open access

  0

  citations
• MontiSim: Agent-Based Simulation for Reinforcement Learning of Autonomous Driving

  2023 IEEE International Conference on Intelligent Transportation Systems (ITSC) conference-paper Computer Science Reinforcement Learning in Robotics

  0

  citations
• Agent-Based Autonomous Vehicle Simulation with Hardware Emulation in the Loop

  2022 IEEE Intelligent Vehicles Symposium conference-paper Engineering Real-time simulation and control systems

  2

  citations
• Synchronous Execution Semantics for Component & Connector Models

  2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques

  0

  citations
• Foundations

  2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

  1

  citations
• Applied Artifact-Based Analysis for Architecture Consistency Checking

  2020 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

  2

  citations
• Ernst Denert Award for Software Engineering 2019

  2020 Springer eBooks book Computer Science Software Engineering Techniques and Practices Open access

  2

  citations

8 results