BME FIEK
Opening hours
M-Th: 8:00–16:00
F: 8:00–13:00
Associate Professor
Dr. András Vörös
PhD
H-1117 Budapest, Magyar Tudósok krt. 2
+3614633598
+36303779857
Research keywords:
· simulation
· dependability
· formal methods
· model-based systems engineering
· verification
· critical systems
· cyber-physical systems
· Industrial IoT
· smart manufacturing
· digital twin
Horizon Europe keywords:
· Artificial Intelligence and Robotics
· Circular economy
· Cloud and edge technologies
· Disaster-resilient physical and digital infrastructures
· Manufacturing technologies
· Next generation computing and data technologies
· Next Generation Internet
· Smart and sustainable transport and mobility
· Space-based infrastructures and services
· Transformation of industry
· Nuclear energy
Publications
-András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, and István Majzik. Industrial applications of the PetriDotNet modeling and analysis tool. Science of Computer Programming, 157:17–40, 2018.
-András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, and Dániel Varró. Modes3: Model-based demonstrator for smart and safe cyber-physical systems. In Aaron Dutle, César Muñoz, and Anthony Narkawicz, editors, NASA Formal Methods, pages 460–467, Cham, 2018. Springer International Publishing.
-Márton Búr, Gábor Szilágyi, András Vörös, and Dániel Varró. Distributed graph queries for runtime monitoring of cyber-physical systems. In Alessandra Russo and Andy Schürr, editors, Fundamental Approaches to Software Engineering, pages 111–128, Cham, 2018. Springer International Publishing.
-Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, and István Majzik. Component-wise incremental LTL model checking. Formal Aspects of Computing, 28(3):345–379, 2016.
-Ákos Hajdu, Tamás Tóth, András Vörös, and István Majzik. A configurable CEGAR framework with interpolation-based refinements. In Elvira Albert and Ivan Lanese, editors, Formal Techniques for Distributed Objects, Components and Systems, volume 9688 of Lecture Notes in Computer Science, pages 158–174. Springer, 2016.
Awards
2018 European Joint Conferences on Theory and Practice of Software, EASST Best
Software Science paper award.
2018 Special Advisory Award from the University Rector.
2016 Third Prize at the EclipseCon Open IoT Developer Challenge, Task: team leader.
2015 Special Advisory Award from the University Rector.
2014 STEM at Higher Education Award.
2012 Special Award from the University Rector for the Long Term Advisory Activity.
2012 TAMOP Advisory Special Award.
Projects
2019 - ADVANCE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems, Research project.
2018 Dependability Modeling and Analysis of an Industrial Control System, Industrial project, automotive domain.
2015 – 2019 MTA-BME Momentum Cyber-Physical Systems Research Group, Research project, Task: Runtime models and complex-event processing.
2015 – MoDeS3: Model based Demonstrator for Smart and Safe Systems, Research project, Task: team leader.
2014 – 2016 R5 - COP: Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems, Research project, Task: runtime verification of autonomous systems.
2013 – 2015 Verification of High Level Models, Industrial project, Telco domain, Task: design of a verification framework for communication systems.
2015 Verification of a Safety-Critical Distributed System, Industrial project, Railway domain, Partner: Prolan Zrt..
2012 – 2014 R3 - COP: Resilient reasoning robotic co - operating systems, Research project,
Task: model-based test generation based on model checking algorithms.