 | 2007 |
|---|
| 6 |       | 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: 150-174 |
| 2002 |
|---|
| 5 | | 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: 267-270 |
| 4 | | István Majzik,
Gábor Huszerl:
Towards Dependability Modeling of FT-CORBA Architectures.
EDCC 2002: 121-139 |
| 3 | | 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): 260-277 (2002) |
| 2001 |
|---|
| 2 | | Gábor Huszerl,
István Majzik:
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.
EUROMICRO 2001: 200-207 |
| 1999 |
|---|
| 1 | | Mario Dal Cin,
Gábor Huszerl,
Konstantinos Kosmidis:
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models.
HASE 1999: 37-45 |
