Majzik István - ODT Személyi adatlap


	Bejelentkezés Fórum Szervezet tisztségviselők tagintézmények határozatok alapító okirat ügyrend Doktori képzés doktori iskolák intézményenként tudományáganként azonosító alapján megszűnt oktatók név alapján kutatási téma szerint archívum témakiírások doktori iskolánként tudományáganként kutatási téma szerint témavezetések hallgatók keresése Doktori védések intézményenként tudományáganként név szerint dátum szerint doktori iskolánként Honosított fokozatok intézményenként tudományáganként név szerint dátum szerint Habilitációs előadások intézményenként tudományterületenként név szerint Dokumentumok nyilvános anyagok hírek jogszabályok útmutatók Kapcsolatok elérhetőségünk partnereink

Személyi adatlap

Nyomtatási kép

Az adatok hitelességéről nyilatkozott: 2019. XI. 05.

Személyes adatok

név	Majzik István
intézmény neve	Budapesti Műszaki és Gazdaságtudományi Egyetem
doktori iskola	BME Informatikai Tudományok Doktori Iskola (témavezető Az oktató valamelyik doktori iskolában egy vagy több doktorandusz vagy doktorjelölt munkáját irányítja. ) BME Villamosmérnöki Tudományok Doktori Iskola (oktató Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
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

ezek közül abszolutóriumot szerzettek száma

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, de nincs folyamatban doktori cselekmény és nincs fokozat:

Oláh János	(PhD)	2012/08	ITDI-BME
Molnár Vince	(PhD)	2018/01	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

2016

Darvas Dániel, Majzik István, Blanco Viñulea Enrique: Formal Verification of Safety PLC Based Control Software, In: Szerk.: Ábrahám Erika, Szerk.: Huisman Marieke Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Zürich: Springer International Publishing, 2016. pp. 508-522. (Lecture Notes in Computer Science; 9681.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 4
nyelv: angol
Teljes szöveg

2016

Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik: A Configurable CEGAR Framework with Interpolation-Based Refinements, In: Szerk.: Elvira Albert, Szerk.: Ivan Lanese Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. [s. l.] - Nemzetközi: Springer International Publishing, 2016. pp. 158-174. (Lecture Notes in Computer Science; 9688.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
URL

2016

László Gönczy, István Majzik, Szilárd Bozóki, András Pataricza: MDD-Based Design, Configuration, and Monitoring of Resilient Cyber-Physical Systems, In: Szerk.: Alexander Romanovsky, Szerk.: Fuyuki Ishikawa Trustworthy Cyber-Physical Systems Engineering. Boca Raton FL: CRC Press - Taylor and Francis Group, 2016. pp. 395-420. (Chapman & Hall/CRC Computer and Information Science Series)
dokumentum típusa: Könyvrészlet/Könyvfejezet
nyelv: angol

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

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 (Németország): Springer International Publishing, 2015. pp. 31-45. (Lecture Notes in Computer Science; 9274.)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 1
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
független idéző közlemények száma: 1
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

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: 9
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 közleményekre kapott független hivatkozások száma:

185

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:

127

összes tudományos és felsőoktatási közleményének száma:

132

kiválasztható monográfiák és szakkönyvek:

monográfiák és szakkönyvek száma melyben fejezetet/részt írt:

összes tudományos közleményének és alkotásainak független idézettségi száma:

965