Istvan Majzik

Istvan Majzik

Budapest University of Technology and Economics - Budapest / Hungary
Economics & Econometrics / Economics
AD Scientific Index ID: 1843208
Budapesti Muszaki és Gazdaságtudományi Egyetem
person_outline Istvan Majzik's MOST POPULAR ARTICLES
1-) Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checkerD Latella, I Majzik, M MassinkFormal aspects of computing 11 (6), 637-664, 19994441999
2-) Towards a formal operational semantics of UML statechart diagramsD Latella, I Majzik, M MassinkInternational conference on formal methods for open object-based distributed …, 19993191999
3-) VIATRA-visual automated transformations for formal verification and validation of UML modelsG Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D VarróProceedings 17th IEEE International Conference on Automated Software …, 20023092002
4-) Dependability analysis in the early phases of UML-based system designA Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G SavoiaComput. Syst. Sci. Eng. 16 (5), 265-275, 20011972001
5-) Stochastic dependability analysis of system architecture based on UML modelsI Majzik, A Pataricza, A BondavalliArchitecting dependable systems, 219-244, 20071042007