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: 2024. I. 03.
Személyes adatok
Majzik István
név Majzik István
intézmény neve
doktori iskola
BME Informatikai Tudományok Doktori Iskola (témavezető)
Doktori Iskola Tanácsa
BME Villamosmérnöki Tudományok Doktori Iskola (oktató)
doktori képzéssel kapcsolatos munkájának megoszlása BME Informatikai Tudományok Doktori Iskola 80%
BME Villamosmérnöki Tudományok Doktori Iskola 20%
adott-e már oktatóként valamely doktori iskolát működtető intézménynek akkreditációs nyilatkozatot? Budapesti Műszaki és Gazdaságtudományi Egyetem
Elérhetőségek
drótpostacím majzikmit.bme.hu
telefonszám +36 1 463-3598
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 1997
fokozat tudományága villamosmérnöki tudományok
fokozatot kiadó intézmény neve Budapesti Műszaki és Gazdaságtudományi Egyetem
tudományos fokozat, cím Habilitáció
fokozat megszerzésének éve 2014
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Budapesti Műszaki és Gazdaságtudományi Egyetem
Jelenlegi munkahelyek
1995 - 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 10
ezek közül abszolutóriumot szerzettek száma 6
témavezetettjei közül fokozatot szereztek:
Marussy Kristóf PhD 2023  ITDI-BME
Tóth Tamás PhD 2021  ITDI-BME
Molnár Vince PhD 2020  ITDI-BME
Darvas Dániel PhD 2017  ITDI-BME
Szatmári Zoltán PhD 2017  ITDI-BME
Micskei Zoltán PhD 2013  ITDI-BME
Pintér Gergely PhD 2008  ITDI-BME
abszolutóriumot szerzett:
Oláh János (PhD) 2012/08  ITDI-BME
Graics Bence (PhD) 2023/01  ITDI-BME
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Szekeres Dániel (PhD) (2026/01)  ITDI-BME
  Témakiírások
Kutatás
kutatási terület Informatikai rendszererek szolgáltatásbiztonsága, szoftver verifikáció és validáció, biztonságkritikus beágyazott rendszerek.
jelenlegi kutatásainak tudományága informatikai tudományok
villamosmérnöki tudományok
Közlemények
2023

 Graics Bence, Molnár Vince, Majzik István: Component‐based specification, design and verification of adaptive systems, SYSTEMS ENGINEERING 26: (5) pp. 567-589.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2023

 Szekeres Dániel, Majzik István: Towards Abstraction-based Probabilistic Program Analysis, ACTA CYBERNETICA Special Issue of the 13th Conference of PhD Students in Computer Science: pp. 1-41.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2023

 Graics Bence, Molnár Vince, Majzik István: Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers, In: Titolo, Laura; Cimatti, Alessandro (szerk.) Formal Methods for Industrial Critical Systems, Springer Nature Switzerland (2023) pp. 76-95.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
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 
2020

 Tóth Tamás, Majzik István: Configurable verification of timed automata with discrete variables, ACTA INFORMATICA (Online first): p. 0.
dokumentum típusa: Folyóiratcikk/Szakcikk
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: 23
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 
2012

 Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik: A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems, In: Jezic, G; Kusek, M; Nguyen, N T; Howlett, R J; Jain, L C (szerk.) Agent and Multi-Agent Systems. Technologies and Applications, Springer-Verlag (2012) pp. 504-513.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 32
nyelv: angol
URL 
2003

 Majzik I, Pataricza A, Bondavalli A: Stochastic Dependability Analysis of System Architecture Based on Uml Models, LECTURE NOTES IN COMPUTER SCIENCE 2677: pp. 219-244.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 62
nyelv: angol
URL 
1999

 Latella D, Majzik I, Massink M: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker, FORMAL ASPECTS OF COMPUTING 11: (6) pp. 637-664.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 129
nyelv: angol
URL 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:264 
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:
154
összes tudományos és felsőoktatási közleményének száma:
153
kiválasztható monográfiák és szakkönyvek:
1
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
1 
összes tudományos közleményének és alkotásainak független idézettségi száma:
1153

 
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. )