Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 42 | 2019 |
Viatra solver: a framework for the automated generation of consistent domain-specific models O Semeráth, AA Babikian, S Pilarski, D Varró 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 26 | 2019 |
Automated generation of consistent models with structural and attribute constraints O Semeráth, AA Babikian, A Li, K Marussy, D Varró Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 13 | 2020 |
A Specification Language for Consistent Model Generation based on Partial Models. K Marussy, O Semeráth, AA Babikian, D Varró J. Object Technol. 19 (3), 3:1-22, 2020 | 12 | 2020 |
Automated generation of consistent, diverse and structurally realistic graph models O Semeráth, AA Babikian, B Chen, C Li, K Marussy, G Szárnyas, D Varró Software and Systems Modeling 20 (5), 1713-1734, 2021 | 10 | 2021 |
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers AA Babikian, O Semeráth, D Varró Fundamental Approaches to Software Engineering: 23rd International …, 2020 | 8 | 2020 |
Automated generation of consistent models using qualitative abstractions and exploration strategies AA Babikian, O Semeráth, A Li, K Marussy, D Varró Software and Systems Modeling, 1-25, 2021 | 7 | 2021 |
Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles AA Babikian Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 7 | 2020 |
Refining Abstract Specifications into Dangerous Traffic Scenarios AA Babikian Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search AA Babikian, O Semeráth, D Varró IEEE Transactions on Software Engineering, 2023 | | 2023 |