Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2021. I. 02.
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ő)
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:
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
Tóth Tamás (PhD) 2017/08  ITDI-BME
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Graics Bence (PhD) (2023/01)  ITDI-BME
Marussy Kristóf (PhD) (2022/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
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: 2
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: 3
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 
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: 11
nyelv: angol
Teljes szöveg 
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 
2009

A Bondavalli, A Ceccarelli, J Gronbaek, D Iovino, L Karna, S Klapka, T K Madsen, M Magyar, I Majzik, A Salzo: Design and Evaluation of a Safe Driver Machine Interface, INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING 5: (2) pp. 153-166.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
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 
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:213 
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:
139
összes tudományos és felsőoktatási közleményének száma:
137
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:
973

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