Gábor Huszerl

According to our database, Gábor Huszerl authored at least 7 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

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

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

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

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ó

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Towards Dependability Modeling of FT-CORBA Architectures.

István Majzik, Gábor Huszerl

Proceedings of the Dependable Computing, 2002

2001

Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.

Gábor Huszerl, István Majzik

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

2000

Quantitative analysis of dependability critical systems based on UML statechart models.

Gábor Huszerl, István Majzik

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models.

Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999