András Vörös

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

Mixed-semantics composition of statecharts for the component-based design of reactive systems

Bence Graics, Vince Molnár, András Vörös et al. · Software & Systems Modeling · 2020 · 29 citations · Full text

Engineering, Verification, Software Engineering +28

The Gamma statechart composition framework

Vince Molnár, Bence Graics, András Vörös et al. · 2018 · 24 citations

Software Maintenance, Engineering, Verification +24

Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems

Márton Búr, Gábor Szilágyi, András Vörös et al. · International Journal on Software Tools for Technology Transfer · 2019 · 20 citations · Full text

Engineering, Network Analysis, Fault Tolerance +19

On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf.

Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth et al. · 2014 · 13 citations

Software Maintenance, Engineering, Software Systems +27