The 5 most important publications -
Az 5 legfontosabb publikáció

István Majzik

  1. 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 Trans. on Mobile Computing Vol. 10: (6) pp. 783-796., IEEE, 2011.
  2. G. Pintér, I. Majzik:
    Runtime Verification of Statechart Implementations.
    In R. de Lemos, C. Gacek, A. Romanovsky (eds.): Architecting Dependable Systems III. LNCS 3549, pp 148-172, Springer Verlag, Berlin Heidelberg, 2005.

  3. Zs. Pap, I. Majzik, A. Pataricza, A. Szegi:
    Methods of Checking General Safety Criteria in UML Statechart Specifications.
    Reliability Engineering & System Safety, Vol. 87(1), pp. 89-107, Elsevier, 2005.
  4. I. Majzik, A. Pataricza and A. Bondavalli:
    Stochastic Dependability Analysis of System Architecture Based on UML Models.
    In R. de Lemos, C. Gacek and A. Romanovsky (eds.): Architecting Dependable Systems, LNCS 2667, pp 219-244, Springer Verlag, Berlin Heidelberg, 2003.
  5. D. Latella, I. Majzik, M. Massink:
    Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.
    Formal Aspects of Computing, Vol. 11(6), pp 637-664, Springer Verlag, Berlin Heidelberg, 1999.

Istvan Majzik