- vori [at] mit.bme.hu
- +36 1 463 3598
András Vörös is a research associate at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and systems engineering. He served as a PC member of FTSCS 2016 (http://www.ftscs.org/) and he is a reviewer of various international conferences in the field like MODELS, FASE, ICGT, DSN and SRDS. He delivered a talk at the RiSE Seminar.
Most Important Publications
Á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.
- Petri nets (PetriDotNet)
- Transition Systems
- UML, SysML
- Application: Model-based Demonstrator for Smart and Safe Systems
- Saturation based model checking algorithms
- SAT and SMT based verification
- Safety-critical systems
- Cyber-physical systems
Complex event processing:
- Automaton based approaches
- 2012, Award for the long term advisory work at the Student Scientific Forum
- 2012, Distinction for the advisory work
- 2015, Award from the vicechancellor