Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2016. XI. 12.
Személyes adatok
Majzik István
név Majzik István
születési év 1967
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
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:
Micskei Zoltán PhD 2013  ITDI-BME
Pintér Gergely PhD 2008  ITDI-BME

abszolutóriumot szerzett, de nincs folyamatban doktori cselekmény és nincs fokozat:
Oláh János (PhD) 2012/08  ITDI-BME
Szatmári Zoltán (PhD) 2011/08  ITDI-BME
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Molnár Vince (PhD) (2018/08)  ITDI-BME
Darvas Dániel (PhD) (2017/08)  ITDI-BME
Tóth Tamás (PhD) (2017/08)  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
2015

Tamás Tóth, András Vörös, István Majzik: A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol, In: Szerk.: Alessandro Fantechi, Szerk.: Patrizio Pelliccione Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. Cham: Springer International Publishing, 2015. pp. 31-45. (Lecture Notes in Computer Science; 9274.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
DOI 
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: Szerk.: Jezic G, Szerk.: Kusek M, Szerk.: Nguyen N T, Szerk.: Howlett R J, Szerk.: Jain L C LECTURE NOTES in Artificial Intelligence, 2012 vol.7327; Subseries of Lecture notes in Computer Science: Agent and Multi-Agent Systems. Technologies and Applications. Berlin; Heidelberg: Springer Verlag, 2012. pp. 504-513. (Lecture Notes in Computer Science; 7327.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
Teljes szöveg 
2012

Zoltan Micskei, Henrique Madeira, Alberto Avritzer, Istvan Majzik, Marco Vieira, Nuno Antunes: Robustness Testing Techniques and Tools, In: Szerk.: Wolter K, Szerk.: Avritzer A, Szerk.: Vieira M, Szerk.: van Moorsel A Resilience Assessment and Evaluation of Computing Systems. Berlin: Springer, 2012. pp. 323-339. (Resilience Assessment and Evaluation of Computing Systems)
dokumentum típusa: Könyvrészlet/Könyvfejezet
független idéző közlemények száma: 1
nyelv: angol
DOI 
2012

Andrea Bondavalli, Paolo Lollini, István Majzik, Leonardo Montecchi: Modelling and Model-Based Assessment, In: Szerk.: Wolter K, Szerk.: Avritzer A, Szerk.: Vieira M, Szerk.: van Moorsel A Resilience Assessment and Evaluation of Computing Systems. Berlin: Springer, 2012. pp. 153-165. (Resilience Assessment and Evaluation of Computing Systems)
dokumentum típusa: Könyvrészlet/Könyvfejezet
nyelv: angol
DOI 
2011

A Bondavalli, O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik, H-P. Schwefel: The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems, IEEE TRANSACTIONS ON MOBILE COMPUTING 10: (6) pp. 783-796.
dokumentum típusa: Folyóiratcikk/Szakcikk
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
Teljes szöveg 
2005

Pinter G, Majzik I: Runtime verification of statechart implementations, LECTURE NOTES IN COMPUTER SCIENCE 3549: pp. 148-172.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
DOI 
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: 7
nyelv: angol
DOI 
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: 35
nyelv: angol
DOI 
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
Teljes szöveg 
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:175 
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:
93
összes tudományos és felsőoktatási közleményének száma:
103
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:
494

 
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ó: 1.2318 ( 2016. XI. 26. )