Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2021. I. 02.
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:
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
Tamás Tóth (PhD) 2017/08  DSI-BME
present PhD students:
Bence Graics (PhD) (2023/01)  DSI-BME
Kristóf Marussy (PhD) (2022/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
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: 2
language: English
URL 
2018

Vörös András, Darvas Dániel, Hajdu Ákos, Klenik Attila, Marussy Kristóf, Molnár Vince, Bartha Tamás, Majzik István: Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157: pp. 17-40.
type of document: Journal paper/Article
number of independent citations: 3
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 
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: 11
language: English
Full text 
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.
type of document: Journal paper/Article
number of independent citations: 4
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
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 
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:213 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
143
number of scientific publications:
142
monographs and professional books:
1
monographs/books in which chapters/sections were contributed:
1 
number of independent citations to scientific publications and creative works:
988

 
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. )