Concepedia

István Majzik

IM

Statistics

Publications

21

Citations

1K

H-Index

15

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 computer science, computing, and formal methods.

Publications per year

1993–2020

21

Publications

21

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 · 292 citations

Computing, Computer Science, Formal Methods +14

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

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

Computing, Computer Science, Systems Engineering +17

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

Computing, Computer Systems, Systems Engineering +17

Theta: A framework for abstraction refinement-based model checking

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

Computing, Computer Engineering, Computer Science +17

Automatic dependability analysis for supporting design decisions in UML

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

Engineering, Design, Systems Engineering +17

1–5 of 21