Majzik István

Rövid szöveges bemutató

Majzik István egyetemi docens. Villamosmérnökként végzett 1992-ben, doktori fokozatát a Budapesti Műszaki és Gazdaságtudományi Egyetemen szerezte, ahol jelenleg egyetemi docens a Méréstechnika és Információs Rendszerek Tanszéken. Elsődleges kutatási területe a szoftver verifikáció és validáció, azon belül kiemelten a biztonságkritikus rendszerek. Rendszeresen szerepel a tématerület nemzetközi konferenciáinak program bizottságaiban. 2012-ben a Symposium on Reliable Distributed Systems (SRDS, Megbízható Elosztott Rendszerek Szimpózium) programbizottságának társelnöke volt. A BME vezető kutatójaként vett részt a SAFEDMI, AMBER, MOGENTES és R3-COP Európai Uniós projektekben (FP7 és ARTEMIS), továbbá több hazai kutatási és fejlesztési projekt vezetője volt. Tíz év tapasztalattal rendelkezik a vasúti irányítási rendszer szoftverének felmérésében. Több mint 80 tudományos cikke jelent meg nemzetközi folyóiratokban, konferenciákon és workshopokon.

Kutatási tevékenységek

• Megbízhatóság modellezés és analízis
• Kvantitatív megbízhatósági vizsgálatok
• Futásidőbeli hibadetektálás

• Formális verifikáció
• Biztonságkritikus rendszerek

Díjak, kitüntetések

• 2003-2006: Bolyai János Kutatási Ösztöndíj (Magyar Tudományos Akadémia)
• 1998-2001: Bolyai János Kutatási Ösztöndíj (Magyar Tudományos Akadémia)
• 1991: Köztársasági Ösztöndíj

5 kiemelt publikáció

• I. Majzik, A. Pataricza and A. Bondavalli: Stochastic Dependability Analysis of System Architecture Based on UML Models. In R. de Lemos, C. Gacek and A. Romanovsky (eds.): Architecting Dependable Systems, LNCS-2667, Springer Verlag, Berlin, 2003, pp 219-244 
• G. Huszerl, I. Majzik, A. Pataricza, K. Kosmidis, M. Dal Cin: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal, Vol. 45, No. 3, pp. 260-277, British Computer Society, 2002. 
• Zs. Pap, I. Majzik, A. Pataricza: Checking General Safety Criteria on UML Statecharts. U. Voges (editor): Computer Safety, Reliability and Security (Proc. 20th Int. Conference, SAFECOMP-2001, Budapest, Hungary, September 25-27, 2001), pp 46-55, LNCS-2187, Springer Verlag, 2001. 
• D. Latella, I. Majzik, M. Massink: Automatic Verification of UML Statechart Diagrams using the SPIN Model-Checker. Formal Aspects of Computing, 1999, volume 11, number 6, pages 637-664, Springer Verlag 
• I. Majzik, W. Hohl, A. Pataricza, V. Sieh: Multiprocessor Checking Using Watchdog Processors. International Journal of Computer Systems - Science & Engineering, September 1996, volume 11, number 5, pages 125-132