Aren Antranik Babikian
Aren Antranik Babikian
Student (PhD), McGill University
E-mail megerősítve itt: mail.mcgill.ca
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
42019
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
12019
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
2020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–3