Concepedia

Aren A. Babikian

AA

5

Publications

90

Citations

5

H-Index

2019

Active since

Affiliations

McGill University(Current)

Budapest University of Technology and Economics

Aren A. Babikian is an author at McGill University specializing in automated reasoning, formal methods, and formal verification.

Top concepts

EngineeringData ScienceFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringAutomation

Publications per year

2019–2023

5

Publications

5

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

István Majzik, Oszkár Semeráth, Csaba Hajdu et al. · 2019 · 39 citations

Engineering, Verification, Safety Science +23

VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models

Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski et al. · 2019 · 15 citations

Software Maintenance, Viatra Solver, Engineering +27

Automated generation of consistent models with structural and attribute constraints

Oszkár Semeráth, Aren A. Babikian, Anqi Li et al. · 2020 · 14 citations

Software Tool Validation, Engineering, Verification +28

A Specification Language for Consistent Model Generation based on Partial Models.

Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian et al. · The Journal of Object Technology · 2020 · 11 citations · Full text

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search

Aren A. Babikian, Oszkár Semeráth, Dániel Varró · IEEE Transactions on Software Engineering · 2023 · 11 citations · Full text

Rows per page

1–5 of 5