Follow
Aren Antranik Babikian
Aren Antranik Babikian
Student (PhD), McGill University
Verified email at mail.mcgill.ca
Title
Cited by
Cited by
Year
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
412019
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
232019
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
122020
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
112020
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
102021
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
72021
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
72020
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
72020
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
The system can't perform the operation now. Try again later.
Articles 1–10