Aren A. Babikian

According to our database, Aren A. Babikian authored at least 17 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

Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition.

Aren A. Babikian, Attila Ficsor, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró

CoRR, 2024

OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track.

Aren A. Babikian, Dániel Varró

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing.

Jerry Hou-Liu, Zhekai Jiang, Aren A. Babikian

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Refining Abstract Specifications into Dangerous Traffic Scenarios.

Aren A. Babikian

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2022

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search".

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

Dataset, March, 2022

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization".

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

Dataset, March, 2022

Artifacts for the paper "Concretization of Abstract Traffic Scene Specifications Using Multi-objective Optimization".

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

Dataset, March, 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

Artifacts for "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ó

Dataset, July, 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