| 2026 | ICST | ICST Tool Competition 2026 - UAV Testing Track. | Erdem Uysal, Gregory Loubet-Bonino, Ali Javadi, Prakash Aryan, Aren A. Babikian, Dmytro Humeniuk, Sajad Khatiri, Sebastiano Panichella |
| 2025 | RE | LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation. | Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dniel Varr, Gunter Mussbacher |
| 2024 | ICSE | Refining Abstract Specifications into Dangerous Traffic Scenarios. | Aren A. Babikian |
| 2024 | MODELS | Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing. | Jerry Hou-Liu, Zhekai Jiang, Aren A. Babikian |
| 2020 | FASE | Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. | Aren A. Babikian, Oszkr Semerth, Dniel Varr |
| 2020 | MODELS | Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles. | Aren A. Babikian |
| 2020 | MODELS | Automated generation of consistent models with structural and attribute constraints. | Oszkr Semerth, Aren A. Babikian, Anqi Li, Kristf Marussy, Dniel Varr |
| 2019 | ICSE | Viatra solver: a framework for the automated generation of consistent domain-specific models. | Oszkr Semerth, Aren A. Babikian, Sebastian Pilarski, Dniel Varr |
| 2019 | MODELS | Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. | Istvn Majzik, Oszkr Semerth, Csaba Hajdu, Kristf Marussy, Zoltn Szatmri, Zoltn Micskei, Andrs Vrs, Aren A. Babikian, Dniel Varr |