Aren A. Babikian

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Autonomous Vehicles

Top Venues

Softw. Syst. Model.

ICSE (Companion Volume)

Publications

Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. IEEE Trans. Software Eng. 50 (1) (2024)
Aren A. Babikian
Refining Abstract Specifications into Dangerous Traffic Scenarios. ICSE Companion (2024)
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. CoRR (2023)
Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21 (5) (2022)
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20 (5) (2021)
Aren A. Babikian
Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles. MoDELS (Companion) (2020)
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
Automated generation of consistent models with structural and attribute constraints. MoDELS (2020)
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE (2020)
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19 (3) (2020)
Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró
Viatra solver: a framework for the automated generation of consistent domain-specific models. ICSE (Companion Volume) (2019)
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ó
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS (2019)