Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2022. I. 04.
Personal data
István Majzik
name István Majzik
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 Budapest University of Technology and Economics
scientific degree, title Habilitation
year degree was obtained 2014
discipline to which degree belongs computer sciences
institution granting the degree Budapest University of Technology and Economics
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:
Tamás Tóth PhD 2021  DSI-BME
Vince Molnár PhD 2020  DSI-BME
Dániel Darvas PhD 2017  DSI-BME
Zoltán Szatmári PhD 2017  DSI-BME
Zoltán Micskei PhD 2013  DSI-BME
Gergely Pintér PhD 2008  DSI-BME

completed course requirement:
János Oláh (PhD) 2012/08  DSI-BME
Kristóf Marussy (PhD) 2022/01  DSI-BME
present PhD students:
Dániel Szekeres (PhD) (2026/01)  DSI-BME
Bence Graics (PhD) (2023/01)  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
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 19: pp. 1483-1517.
type of document: Journal paper/Article
number of independent citations: 5
language: English
URL 
2020

Tóth Tamás, Majzik István: Configurable verification of timed automata with discrete variables, ACTA INFORMATICA (Online first): p. 0.
type of document: Journal paper/Article
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 8
language: English
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.
type of document: Part of book/Proceedings Paper
language: English
URL 
2018

Kristóf Marussy, István Majzik: Constructing Dependability Analysis Models of Reconfigurable Production Systems, In: Birgit, Vogel-Heuser; Bengt, Lennartson (szerk.) 14th IEEE International Conference on Automation Science and Engineering, IEEE Robotics and Automation Society (2018) pp. 1158-1163.
type of document: Part of book/Proceedings Paper
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 14
language: English
Full text 
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: 17
language: English
URL 
2003

Majzik I, Pataricza A, Bondavalli A: Stochastic Dependability Analysis of System Architecture Based on Uml Models, LECTURE NOTES IN COMPUTER SCIENCE 2677: pp. 219-244.
type of document: Journal paper/Article
number of independent citations: 60
language: English
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.
type of document: Journal paper/Article
number of independent citations: 47
language: English
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.
type of document: Journal paper/Article
number of independent citations: 129
language: English
URL 
Number of independent citations to these publications:280 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
146
number of scientific publications:
145
monographs and professional books:
1
monographs/books in which chapters/sections were contributed:
1 
number of independent citations to scientific publications and creative works:
1087

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )