W2633066095

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

  2024 Springer eBooks book-chapter Computer Science Formal Methods in Verification 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 2022 IEEE Intelligent Vehicles Symposium (IV) conference-paper Engineering Vehicular Ad Hoc Networks (VANETs)

  2

  citations
• Synchronous Execution Semantics for Component & Connector Models

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

  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

7 results