István Majzik

Statistics

Publications

Citations

H-Index

Active since

1993

Affiliations

Budapest University of Technology and Economics(Current)

McGill University

European Organization for Nuclear Research

Andrássy University Budapest

Budapest Institute

István Majzik is an author at Budapest University of Technology and Economics specializing in engineering, systems engineering, and software analysis.

ORCID

Top concepts

EngineeringSoftware AnalysisSystems EngineeringSoftware EngineeringFormal VerificationFormal MethodsSoftware DesignComputer ScienceSoftware TestingSystem Software

Publications per year

1993–2020

Publications

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, István Majzik, Mieke Massink · Formal Aspects of Computing · 1999 · 289 citations

VIATRA - visual automated transformations for formal verification and validation of UML models

György Csertán, G. Huszerl, István Majzik et al. · 2002 · 184 citations

Software Maintenance, Engineering, Verification +25

Dependability analysis in the early phases of UML-based system design

Andrea Bondavalli, Mario Dal Cin, Diego Latella et al. · Florence Research (University of Florence) · 2001 · 117 citations

Engineering, Software Engineering, Dependable System Architecture +22

Theta: A framework for abstraction refinement-based model checking

Tamás Tóth, Ákos Hajdu, Andras Vorcos et al. · 2017 · 49 citations

Engineering, Verification, Software Engineering +21

Automated dependability analysis of UML designs

Andrea Bondavalli, István Majzik, Iván Mura · 2003 · 47 citations · Full text

Software Maintenance, Engineering, Software Engineering +21

1–5 of 21