Login
 Forum


 Doctoral program 

 Theses defended 

 Naturalized degrees 

 Habilitation presentations 

 Documents (all in Hung.) 

 Contacts 
 
 
Personal data sheet
 Print preview
personal data approved: 2023. XI. 02.
Personal data
András Vörös
name András Vörös
name of institution
doctoral school
BME Doctoral School of Informatics (Supervisor)
the share of work in the different doctoral schools. BME Doctoral School of Informatics 100%
Contact details
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 2018
discipline to which degree belongs computer sciences
institution granting the degree Budapest University of Technology and Economics
Employment
2018 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 0
number of students who fulfilled course requirements 0
students who obtained their degrees:
present PhD students:
Dóra Cziborová (PhD) (2028/01)  DSI-BME
Simon József Nagy (PhD) (2026/08)  DSI-BME
Mihály Dobos-Kovács (PhD) (2026/01)  DSI-BME
Richárd Szabó (PhD) (2026/01)  DSI-BME
  Thesis topic proposals
Research
research area model-based systems engineering, formal methods, verification, testing, cyber-physical systems
research field in which current research is conducted computer sciences
electrical engineering
Publications
2023

 Somorjai Márk, Dobos-Kovács Mihály, Bajczi Levente, Ádám Zsófia, Vörös András: Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification, In: David, Monniaux; Jose, F. Morales (szerk.) 10th Workshop on Horn Clauses for Verification and Synthesis, (2023)
type of document: Conference paper/Előadás vagy poszter cikke
language: English
2020

 Graics Bence, Molnár Vince, Vörös András, Majzik István, Varró Dániel: Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems, SOFTWARE AND SYSTEMS MODELING 19: pp. 1483-1517.
type of document: Journal paper/Article
number of independent citations: 9
language: English
URL 
2019

 Farkas Rebeka, Tóth Tamás, Hajdu Ákos, Vörös András: Backward reachability analysis for timed automata with data variables, ELECTRONIC COMMUNICATIONS OF THE EASST 76: pp. 1-20.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 1
language: English
URL 
2019

 István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró: Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles, In: Alexander, Pretschner; Sebastian, Voss (szerk.) Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE (2019) pp. 89-94.
type of document: Part of book/Proceedings Paper
number of independent citations: 27
language: English
URL 
2019

 Bajczi Levente, Vörös András, Molnár Vince: Will My Program Break on This Faulty Processor?, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18: (5) 89
type of document: Journal paper/Konferenciaközlemény
language: English
URL 
2019

 Búr Márton, Szilágyi Gábor, Vörös András, Varró Dániel: Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems, INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22: pp. 1-24.
type of document: Journal paper/Article
number of independent citations: 3
language: English
URL 
2018

 Vörös András, Darvas Dániel, Hajdu Ákos, Klenik Attila, Marussy Kristóf, Molnár Vince, Bartha Tamás, Majzik István: Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157: pp. 17-40.
type of document: Journal paper/Article
number of independent citations: 9
language: English
URL 
2017

 Tóth Tamás, Hajdu Ákos, Vörös András, Micskei Zoltán, Majzik István: Theta: a Framework for Abstraction Refinement-Based Model Checking, In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD Association; IEEE (2017) pp. 176-179.
type of document: Part of book/Proceedings Paper
number of independent citations: 15
language: English
URL 
2016

 Oszkár Semeráth, András Vörös, Dániel Varró: Iterative and incremental model generation by logic solvers, In: Perdita, Stevens; Andrzej, Wasowski (szerk.) Fundamental Approaches to Software Engineering, Springer-Verlag (2016) pp. 87-103.
type of document: Part of book/Proceedings Paper
number of independent citations: 23
language: English
URL 
2016

 Molnár Vince, Vörös András, Darvas Dániel, Bartha Tamás, Majzik István: Component-wise incremental LTL model checking, FORMAL ASPECTS OF COMPUTING 28: (3) pp. 345-379.
type of document: Journal paper/Article
number of independent citations: 4
language: English
Full text 
Number of independent citations to these publications:91 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
58
number of scientific publications:
58
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
0 
scientific publications published abroad that meet the accreditation criteria:
35
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
21
number of independent citations to scientific publications and creative works:
190
Supervision
thesis supervisor Tamás Bartha
one supervisor or with co-supervisor individual
degree PhD
starting of doctoral studies 2009/09
date of final certificate (year,month) 2012/08
year in which degree was obtained 2018
diszertáció Doi/handle link (thesis, statements)
data of the public discussion defense

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )