Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2023. XI. 02.
Személyes adatok
Vörös András
név Vörös András
intézmény neve
doktori iskola
BME Informatikai Tudományok Doktori Iskola (témavezető)
doktori képzéssel kapcsolatos munkájának megoszlása BME Informatikai Tudományok Doktori Iskola 100%
Elérhetőségek
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2018
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Budapesti Műszaki és Gazdaságtudományi Egyetem
Jelenlegi munkahelyek
2018 - Budapesti Műszaki és Gazdaságtudományi Egyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 0
ezek közül abszolutóriumot szerzettek száma 0
témavezetettjei közül fokozatot szereztek:
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Cziborová Dóra (PhD) (2028/01)  ITDI-BME
Nagy Simon József (PhD) (2026/08)  ITDI-BME
Dobos-Kovács Mihály (PhD) (2026/01)  ITDI-BME
Szabó Richárd (PhD) (2026/01)  ITDI-BME
  Témakiírások
Kutatás
kutatási terület modellalapú rendszertervezés, formális módszerek, verifikáció, tesztelés, kiberfizikai rendszerek
jelenlegi kutatásainak tudományága informatikai tudományok
villamosmérnöki tudományok
Közlemények
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)
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 9
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
független idéző közlemények száma: 1
nyelv: angol
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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 27
nyelv: angol
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
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 3
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 9
nyelv: angol
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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 15
nyelv: angol
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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 23
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 4
nyelv: angol
Teljes szöveg 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:91 
Tudománymetriai adatok
Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
58
összes tudományos és felsőoktatási közleményének száma:
58
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
0 
külföldön megjelent, figyelembe vehető tudományos közleményei:
35
hazai kiadású, figyelembe vehető idegen nyelvű közleményei:
21
összes tudományos közleményének és alkotásainak független idézettségi száma:
190
Témavezetés
témavezető Bartha Tamás
vezetés módja egyéni
fokozat PhD
a képzés kezdete 2009/09
abszolutóriumot szerzett (év, hónap) 2012/08
a fokozatszerzés éve 2018
diszertáció Doi/handle elérés (értekezés, tézisek)
a védés adatai védés


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )