Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. XI. 12.
Personal data
István Majzik
name István Majzik
year of birth 1967
name of institution
doctoral school
BME Doctoral School of Informatics (Supervisor)
BME Doctoral School of Electrical Engineering (Academic staff member)
the share of work in the different doctoral schools. BME Doctoral School of Informatics 80%
BME Doctoral School of Electrical Engineering 20%
accreditation statement submitted to: Budapest University of Technology and Economics
Contact details
E-mail address majzikmit.bme.hu
phone number +36 1 463-3598
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 1997
discipline to which degree belongs electrical engineering
institution granting the degree Budapesti Műszaki és Gazdaságtudományi Egyetem (to be translated)
Employment
1995 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 10
number of students who fulfilled course requirements 6
students who obtained their degrees:
Zoltán Micskei PhD 2013  DSI-BME
Gergely Pintér PhD 2008  DSI-BME

completed course requirement, without degree or degree granting in process:
János Oláh (PhD) 2012/08  DSI-BME
Zoltán Szatmári (PhD) 2011/08  DSI-BME
present PhD students:
Vince Molnár (PhD) (2018/08)  DSI-BME
Dániel Darvas (PhD) (2017/08)  DSI-BME
Tamás Tóth (PhD) (2017/08)  DSI-BME
  Thesis topic proposals
Research
research area Dependability of computer systems, software verification and validation, safety critical embedded systems
research field in which current research is conducted computer sciences
electrical engineering
Publications
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.)
type of document: Part of book/Proceedings Paper
language: English
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.)
type of document: Part of book/Proceedings Paper
number of independent citations: 2
language: English
Full text 
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)
type of document: Part of book/Könyvfejezet (to be translated)
number of independent citations: 1
language: English
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)
type of document: Part of book/Könyvfejezet (to be translated)
language: English
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.
type of document: Journal paper/Article
language: English
Full text 
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.
type of document: Journal paper/Article
language: English
Full text 
2005

Pinter G, Majzik I: Runtime verification of statechart implementations, LECTURE NOTES IN COMPUTER SCIENCE 3549: pp. 148-172.
type of document: Journal paper/Article
number of independent citations: 1
language: English
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.
type of document: Journal paper/Article
number of independent citations: 7
language: English
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.
type of document: Journal paper/Article
number of independent citations: 35
language: English
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.
type of document: Journal paper/Article
number of independent citations: 129
language: English
Full text 
Number of independent citations to these publications:175 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
93
number of scientific publications:
103
monographs and professional books:
1
monographs/books in which chapters/sections were contributed:
1 
number of independent citations to scientific publications and creative works:
494

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )