Folgen
Aren Antranik Babikian
Aren Antranik Babikian
Student (PhD), McGill University
Bestätigte E-Mail-Adresse bei mail.mcgill.ca
Titel
Zitiert von
Zitiert von
Jahr
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
392019
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
192019
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
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
92021
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
92020
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
62020
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
42021
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
AA Babikian, O Semeráth, D Varró
IEEE Transactions on Software Engineering, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9