Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. - Mario Dal Cin; Gábor Huszerl; Konstantinos Kosmidis (HASE, 1999)

Quantitative analysis of dependability critical systems based on UML statechart models. - Gábor Huszerl; István Majzik (HASE, 2000)

Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. - Gábor Huszerl; István Majzik (EUROMICRO, 2001)

Towards Dependability Modeling of FT-CORBA Architectures. - István Majzik; Gábor Huszerl (EDCC, 2002)

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. - György Csertán; Gábor Huszerl; István Majzik; Zsigmond Pap; András Pataricza; Dániel Varró (ASE, 2002)

Quantitative Analysis of UML Statechart Models of Dependable Systems. - Gábor Huszerl; István Majzik; András Pataricza; Konstantinos Kosmidis; Mario Dal Cin (Comput. J., 2002)

Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. - Gergely Pintér; Zoltán Micskei; András Kövi; Zoltán Égel; Imre Kocsis; Gábor Huszerl; András Pataricza (WADS, 2007)