Author of the publication

Automated generation of consistent models with structural and attribute constraints.

, , , , and . MoDELS, page 187-199. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refining Abstract Specifications into Dangerous Traffic Scenarios.. ICSE Companion, page 456-458. ACM, (2024)Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing., , and . MoDELS (Companion), page 66-70. ACM, (2024)Viatra solver: a framework for the automated generation of consistent domain-specific models., , , and . ICSE (Companion Volume), page 43-46. IEEE / ACM, (2019)Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition., , , , and . CoRR, (2024)Artifacts for Äutomated Generation of Consistent Models with Structural and Attribute Constraints"., , , , and . (July 2020)Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles.. MoDELS (Companion), page 24:1-24:7. ACM, (2020)OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track., and . SBFT@ICSE, page 73-74. ACM, (2024)Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search"., , and . (March 2022)Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search"., , and . (February 2024)Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers., , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 441-461. Springer, (2020)