Search results
Postgraduate supervision. I am interested in supervising PhD research projects which involve the use of social network analysis to understand social processes, individual and group outcomes, or policy effectiveness. I am especially keen on getting involved in projects in the field of education (at any level).
András Vörös. Critical Systems Research Group, Budapest University of Technology and Economics. Verified email at mit.bme.hu - Homepage. formal verification testing model checking model driven engineering cyber-physical systems.
- Short Cv
- Most Important Publications
- Research Interests
- Awards
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 revie...
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 systemsProceedings of the 40th Int...A Vörös, et al. MoDeS3: model-based demonstrator for smart and safe cyber-physical systems. NASA Formal Methods Symposium, 2018Má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 Eng...Á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 Concurr...Model-based software and systems design: 1. UML, SysML 2. Statechart Composition and Verification: Gamma framework 3. Application: Model-based Demonstrator for Smart and Safe Systems 1. Software verification 2. Generic, modular and configurable model checking framework: Theta verification framework 3. SAT and SMT based verification 4. Saturation-ba...
2018 Best Paper Award @ ETAPS 20182015, 2018 Award from the vice-chancellor2012, Award for the long term advisory work at the Student Scientific Forum2012, Distinction for the advisory workIntroduction. My research focuses on understanding the evolution and impact of social networks in educational contexts. This involves the development of new measurement tools for relational data ...
András Vörös is an assistant professor at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and...
- 282
- Assistant Professor
- 280
Biography. I joined the School of Social Policy as an Associate Professor in September 2022. Before that, I was a lecturer at the Department for Social Statistics at University of Manchester between 2019-2022. I spent my postdoctoral years at the Social Networks Lab of ETH Zürich in 2016-2019.
András Vörös is an assistant 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.
