W3098394944

• CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS

  2024 conference-paper Decision Sciences Simulation Techniques and Applications cited by 1 patent

  6

  citations
• Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations

  2023 conference-paper Decision Sciences Simulation Techniques and Applications

  0

  citations
• Structured validation of AI-based systems by virtual testing in simulated test scenarios

  2023 Applied Intelligence article Decision Sciences Simulation Techniques and Applications Open access cited by 1 patent

  10

  citations
• Scenario-Driven Data Generation with Experimentable Digital Twins

  2023 Springer eBooks conference-paper Decision Sciences Scientific Computing and Data Management Open access

  1

  citations
• Modeling Operational Scenarios for Simulation-based Validation of Technical Systems

  2022 IEEE International Conference on Artificial Intelligence and Computer Applications (ICAICA) conference-paper Computer Science Modeling and Simulation Systems

  3

  citations
• Scenario-Driven Data Generation with Experimentable Digital Twins

  2022 preprint Engineering Digital Transformation in Industry Open access

  0

  citations
• Scenario-Driven Data Generation with Experimentable Digital Twins

  2022 preprint Engineering Digital Transformation in Industry Open access

  0

  citations
• Automated Termination Analysis of Polynomial Probabilistic Programs

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  31

  citations

8 results