Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Refining Abstract Specifications into Dangerous Traffic Scenarios.. ICSE Companion, Seite 456-458. ACM, (2024)Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing., , und . MoDELS (Companion), Seite 66-70. ACM, (2024)Viatra solver: a framework for the automated generation of consistent domain-specific models., , , und . ICSE (Companion Volume), Seite 43-46. IEEE / ACM, (2019)Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition., , , , und . CoRR, (2024)Automated generation of consistent models using qualitative abstractions and exploration strategies., , , , und . Softw. Syst. Model., 21 (5): 1763-1787 (2022)LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation., , , , und . CoRR, (Juni 2025)Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles.. MoDELS (Companion), Seite 24:1-24:7. ACM, (2020)Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search"., , und . (März 2022)OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track., und . SBFT@ICSE, Seite 73-74. ACM, (2024)Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search"., , und . (Februar 2024)