| 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 | 9 | 2019 |
| 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 | 7 | 2019 |
| 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 | 1 | 2020 |
| 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 | | 2020 |
| 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 | | 2020 |
| A Specification Language for Consistent Model Generation based on Partial Models K Marussy, O Semeráth, AA Babikian, D Varró | | |
