Gábor Huszerl

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. WADS (2007)
György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE (2002)
Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin
Quantitative Analysis of UML Statechart Models of Dependable Systems. Comput. J. 45 (3) (2002)
István Majzik, Gábor Huszerl
Towards Dependability Modeling of FT-CORBA Architectures. EDCC (2002)
Gábor Huszerl, István Majzik
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. EUROMICRO (2001)
Gábor Huszerl, István Majzik
Quantitative analysis of dependability critical systems based on UML statechart models. HASE (2000)
Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. HASE (1999)