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
112019
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
112019
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
32020
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
32020
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
12020
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
2021
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, 1-22, 2021
2021
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
2020
The system can't perform the operation now. Try again later.
Articles 1–8