BME-MIT

Short CV

András Vörös is an associate professor at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and systems engineering. He received a Best Software Science paper award at ETAPS 2018. He served as a PC member of FTSCS 2016 and FTSCS 2018 (http://www.ftscs.org/), and he is a reviewer of various international conferences such as MODELS, FASE, ICGT, DSN, and SRDS. He delivered a talk at the RiSE Seminar (TU Wien) and HUSTEF 2018 (Testing Techniques for Critical Deep Learning Applications). He is a lecturer of the professional course "Model-driven system development based on UML/SysML" for industrial partners.

External links: CV, Google  Scholar

Most Important Publications

• V Molnár, B Graics, A Vörös, I Majzik, D Varró, The Gamma statechart composition framework:: design, verification and code generation for component-based reactive systems Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings 2018
• A Vörös, et al. MoDeS3: model-based demonstrator for smart and safe cyber-physical systems. NASA Formal Methods Symposium, 2018
• Márton Búr, Gábor Szilágyi, András Vörös, Dániel Varró, Distributed graph queries for runtime monitoring of cyber-physical systems, International Conference on Fundamental Approaches to Software Engineering 2018 (Best Software Science paper)
• Ákos Hajdu, András Vörös, and Tamás Bartha. New search strategies for the Petri net CEGAR approach.
  In Raymond Devillers and Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency, volume 9115 of LNCS, pp. 309-328. Springer, 2015. Presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency.
• Vince Molnár, Dániel Darvas, András Vörös, and Tamás Bartha. Saturation-based incremental LTL model checking with inductive proofs. In C. Baier and C. Tinelli, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 9035 of Lecture Notes in Computer Science, pp. 643-657. Springer, 2015.
• Dániel Darvas, Borja Fernández Adiego, András Vörös, Tamás Bartha, Enrique Blanco Vinuela, Víctor M González Suárez. Formal verification of complex properties on PLC programs International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Springer, Berlin, Heidelberg 2014

Research Interests

Model-based software and systems design:

• UML, SysML
• Statechart Composition and Verification: Gamma framework
• Application: Model-based Demonstrator for Smart and Safe Systems

• Software verification
• Generic, modular and configurable model checking framework: Theta verification framework
• SAT and SMT based verification
• Saturation-based model checking algorithms
• Petri nets (PetriDotNet)
• Industrial application
  • Safety-critical systems
  • Cyber-physical systems

Quantitative analysis:

• Numerical algorithms for stochastic analysis
• Optimization techniques

Complex event processing:

• Automaton-based approaches

Machine learning:

• Testing and Verification Techniques for Critical Deep Learning Applications
• AI Safety

Awards

• 2023 Imreh Csanád medal for tutoring
• 2021 Master teacher gold medal
• 2018 Best Paper Award @ ETAPS 2018
• 2015, 2018, 2019 Award from the vice-chancellor
• 2012 Award for the long term advisory work at the Student Scientific Forum
• 2012 Distinction for the advisory work