Search the dblp DataBase

Publications of Author

1. István Majzik, Gábor Huszerl
   Towards Dependability Modeling of FT-CORBA Architectures. [Citation Graph (0, 0)][DBLP]
   EDCC, 2002, pp:121-139 [Conf]
   
2. Gábor Huszerl, István Majzik
   Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 2001, pp:200-207 [Conf]
   
3. Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis
   Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. [Citation Graph (0, 0)][DBLP]
   HASE, 1999, pp:37-45 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   ASE, 2002, pp:267-270 [Conf]
   
5. Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin
   Quantitative Analysis of UML Statechart Models of Dependable Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:3, pp:260-277 [Journal]
   
6. 
   Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. [Citation Graph (, )][DBLP]