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

István Majzik

  1. I. Majzik, A. Pataricza and A. Bondavalli:

    2. 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, Springer Verlag, Berlin, 2003, pp 219-244
     
  2. G. Huszerl, I. Majzik, A. Pataricza, K. Kosmidis, M. Dal Cin:

    3. Quantitative Analysis of UML Statechart Models of Dependable Systems.
    The Computer Journal, Vol. 45, No. 3, pp. 260-277, British Computer Society, 2002.
     
  3. Zs. Pap, I. Majzik, A. Pataricza:

    4. Checking General Safety Criteria on UML Statecharts.
    U. Voges (editor): Computer Safety, Reliability and Security (Proc. 20th Int. Conference, SAFECOMP-2001, Budapest, Hungary, September 25-27, 2001), pp 46-55, LNCS-2187, Springer Verlag, 2001.
     
  4. D. Latella, I. Majzik, M. Massink:

    5. Automatic Verification of UML Statechart Diagrams using the SPIN Model-Checker.
    Formal Aspects of Computing, 1999, volume 11, number 6, pages 637-664, Springer Verlag
     
  5. I. Majzik, W. Hohl, A. Pataricza, V. Sieh:

    6. Multiprocessor Checking Using Watchdog Processors.
    International Journal of Computer Systems - Science & Engineering, September 1996, volume 11, number 5, pages 125-132
Istvan Majzik