Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2023. I. 05.
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:
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
Marussy Kristóf (PhD) 2022/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
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: 5
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: 8
nyelv: angol
URL 
2018

Tamás Tóth, István Majzik: Lazy Reachability Checking for Timed Automata with Discrete Variables, In: María, del Mar Gallardo; Pedro, Merino (szerk.) Model Checking Software, Springer International Publishing (2018) pp. 235-254.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2018

Kristóf Marussy, István Majzik: Constructing Dependability Analysis Models of Reconfigurable Production Systems, In: Birgit, Vogel-Heuser; Bengt, Lennartson (szerk.) 14th IEEE International Conference on Automation Science and Engineering, IEEE Robotics and Automation Society (2018) pp. 1158-1163.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2016

Darvas Dániel, Majzik István, Blanco Viñulea Enrique: Formal Verification of Safety PLC Based Control Software, In: Ábrahám, Erika; Huisman, Marieke (szerk.) Integrated Formal Methods, Springer International Publishing (2016) pp. 508-522.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 14
nyelv: angol
Teljes szöveg 
2005

Pap Z, Majzik I, Pataricza A, Szegi A: Methods of Checking General Safety Criteria in Uml Statechart Specifications, RELIABILITY ENGINEERING & SYSTEM SAFETY 87: (1) pp. 89-107.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 17
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: 60
nyelv: angol
URL 
2002

Huszerl G, Majzik I, Pataricza A, Kosmidis K, Dal Cin M: Quantitative Analysis of Uml Statechart Models of Dependable Systems, COMPUTER JOURNAL 45: (3) pp. 260-277.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 47
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:280 
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:
146
összes tudományos és felsőoktatási közleményének száma:
145
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:
1127

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