Aren A. Babikian

According to our database, Aren A. Babikian authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

IEEE Trans. Software Eng., January, 2024

2022

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró

Softw. Syst. Model., 2022

2021

Automated generation of consistent, diverse and structurally realistic graph models.

Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró

Softw. Syst. Model., 2021

2020

A Specification Language for Consistent Model Generation based on Partial Models.

Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró

J. Object Technol., 2020

Automated generation of consistent models with structural and attribute constraints.

Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles.

Aren A. Babikian

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.

Aren A. Babikian, Oszkár Semeráth, Dániel Varró

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.

István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Viatra solver: a framework for the automated generation of consistent domain-specific models.

Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019