Aren A. Babikian

21 papers A 3B 1Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abductive Vibe Coding (Extended Abstract).
CoRR
Logan Murphy, Aren A. Babikian, Marsha Chechik
2026 J jnl
Evaluating AI-supported eliminative argumentation for developing reliable assurance cases.
Empir. Softw. Eng.
Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Aren A. Babikian, Jeff Joyce, Alessio Di Sandro, Naweed Anwari, Erin Cyffka, Marsha Chechik
2025 J jnl
Assurance Case Development for Evolving Software Product Lines: A Formal Approach.
CoRR
Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik
2025 — conf
Exploring Large Language Models for Requirements on String Values.
MO2RE
Aren A. Babikian, Boqi Chen, Gunter Mussbacher
2025 A conf
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation.
RE
Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dániel Varró, Gunter Mussbacher
2025 J jnl
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation.
CoRR
Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dániel Varró, Gunter Mussbacher
2025 — conf
OptObstacles at the SBFT 2025 Tool Competition - UAV Testing Track.
SBFT@ICSE
Zhekai Jiang, Aren A. Babikian
2024 J jnl
Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition.
CoRR
Aren A. Babikian, Attila Ficsor, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró
2024 J jnl
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.
IEEE Trans. Software Eng.
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2024 — conf
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing.
MoDELS (Companion)
Jerry Hou-Liu, Zhekai Jiang, Aren A. Babikian
2024 — conf
OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track.
SBFT@ICSE
Aren A. Babikian, Dániel Varró
2024 — conf
Refining Abstract Specifications into Dangerous Traffic Scenarios.
ICSE Companion
Aren A. Babikian
2023 J jnl
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.
CoRR
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2022 J jnl
Automated generation of consistent models using qualitative abstractions and exploration strategies.
Softw. Syst. Model.
Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró
2021 J jnl
Automated generation of consistent, diverse and structurally realistic graph models.
Softw. Syst. Model.
Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró
2020 J jnl
A Specification Language for Consistent Model Generation based on Partial Models.
J. Object Technol.
Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró
2020 B conf
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.
FASE
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
2020 A conf
Automated generation of consistent models with structural and attribute constraints.
MoDELS
Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró
2020 — conf
Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles.
MoDELS (Companion)
Aren A. Babikian
2019 A conf
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.
MoDELS
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ó
2019 — conf
Viatra solver: a framework for the automated generation of consistent domain-specific models.
ICSE (Companion Volume)
Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, Dániel Varró