Vörös András

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/ [3]), 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 [4] (TU Wien) and HUSTEF [5] 2018 ( [6]Testing Techniques for Critical Deep Learning Applications [7]) [6]. He is a lecturer of the professional course "Model-driven system development based on UML/SysML" for industrial partners.

External links: CV [8], Google  Scholar [9]

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 [10] 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 [11], 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. [12]
  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. [13] 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 [14] 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 [15]
• Application: Model-based Demonstrator for Smart and Safe Systems [16]

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

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 [7]
• AI Safety

Awards

• 2018 Best Paper Award @ ETAPS 2018
• 2015, 2018 Award from the vice-chancellor
• 2012, Award for the long term advisory work at the Student Scientific Forum
• 2012, Distinction for the advisory work