Get started
Author

Aren A. Babikian

Observed names: A Babikian Aren, A. Babikian, Aren, Aren Babikian, Babikian, Aren, Babikian, Aren A.
ORCID: 0000-0002-8108-0043
Observed ORCID: 0000-0002-8108-0043
OpenAlex ID: A5048868515
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
2019 · István Majzik, Oszkár Semeráth, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 44
Automated generation of consistent models with structural and attribute constraints
2020 · Oszkár Semeráth, Aren A. Babikian, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 16
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models
2019 · Oszkar Semerath, Aren A. Babikian, et al. · IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 15
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
2023 · Aren A. Babikian, Oszkár Semeráth, et al. · IEEE Transactions on Software Engineering · 14
PDF
A Specification Language for Consistent Model Generation based on Partial Models.
2020 · Kristóf Marussy, Oszkár Semeráth, et al. · The Journal of Object Technology · 14
PDF
Automated generation of consistent, diverse and structurally realistic graph models
2021 · Oszkár Semeráth, Aren A. Babikian, et al. · Software & Systems Modeling · 13
PDF
Automated generation of consistent models using qualitative abstractions and exploration strategies
2021 · Aren A. Babikian, Oszkár Semeráth, et al. · Software & Systems Modeling · 8
PDF
Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles
2020 · Aren A. Babikian · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · 7
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
2020 · Aren A. Babikian, Oszkár Semeráth, et al. · Lecture notes in computer science · 7
PDF
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
2025 · Boqi Chen, Aren A. Babikian, et al. · IEEE International Requirements Engineering Conference (RE) · 5
PDF
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing
2024 · Jerry Hou-Liu, Zhekai Jiang, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 5
SBFT Tool Competition 2026 – UAV Testing Track
2026 · Erdem Uysal, Ali Javadi, et al. · 2
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
2026 · Logan Murphy, Torin Viger, et al. · Formal Aspects of Computing · 2
Exploring Large Language Models for Requirements on String Values
2025 · Aren A. Babikian, Boqi Chen, et al. · 2
Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition
2026 · Aren A. Babikian, Attila Ficsor, et al. · Software & Systems Modeling · 1
PDF
ICST Tool Competition 2026 – UAV Testing Track
2026 · Erdem Uysal, Gregory Loubet-Bonino, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 1
Evaluating AI-supported eliminative argumentation for developing reliable assurance cases
2026 · Torin Viger, Logan Murphy, et al. · Empirical Software Engineering · 1
UAV Testing Competition 2026: Evaluation Results
2026 · Uysal, Erdem, Javadi, Ali, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Towards a Traffic Scenario Catalog for Collaborative Testing of Autonomous Vehicles
2025 · Zhekai Jiang, Oszkár Semeráth, et al. · 1
OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
2024 · Aren A. Babikian, Dániel Varró · 1
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
2021 · Aren Babikian · 1
LLM-Based Grid-World Path Planning With Probabilistic Model Checking
2026 · Asher Tempest Arya, Aren A. Babikian, et al.
Projectional Decoding: Towards Semantic-Aware LLM Generation
2026 · Boqi Chen, José Antonio Hernández López, et al.
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
2026 · Aren A. Babikian, Alessio Di Sandro, et al. · Proceedings of the ACM on software engineering.
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
2026 · Babikian, Aren A., Di Sandro, Alessio, et al. · arXiv (Cornell University)
PDF
Works count: 38
Citation count: 162
H-index: 7
I10-index: 6
Year
Topic
Type