| VIATRA-visual automated transformations for formal verification and validation of UML models G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró Proceedings 17th IEEE International Conference on Automated Software …, 2002 | 326 | 2002 |
| Quantitative analysis of UML statechart models of dependable systems G Huszerl, I Majzik, A Pataricza, K Kosmidis, M Dal Cin The computer journal 45 (3), 260-277, 2002 | 70 | 2002 |
| UML-based design and formal analysis of a safety-critical railway control software module A Pataricza, I Majzik, G Huszerl, G Várnai Safety 48 (48V), 48V, 2003 | 46 | 2003 |
| Quantitative evaluation of dependability critical systems based on guarded statechart models M Dal Cin, G Huszerl, K Kosmidis Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999 | 28 | 1999 |
| Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts G Huszerl, I Majzik Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey, 200-207, 2001 | 24 | 2001 |
| Quantitative analysis of dependability critical systems based on UML statechart models H Gábor, M István Proceedings. Fifth IEEE International Symposium on High Assurance Systems …, 2000 | 19 | 2000 |
| Towards dependability modeling of FT-CORBA architectures I Majzik, G Huszerl European Dependable Computing Conference, 121-139, 2002 | 18 | 2002 |
| Use case scenarios and preliminary reference model M Radimirsch, EV Matthiesen, G Huszerl, M Reitenspieß, M Kaâniche, ... EU FP6 IST project HIDENETS, deliverable D 1, 2006 | 13 | 2006 |
| Specification HIDENETS laboratory set-up scenario and components I De Bruin, A Casimiro, L Falai, P Frejek, SH De Groot, G Huszerl, ... EU FP6 IST project HIDENETS, deliverable D 6, 2007 | 10 | 2007 |
| Transformation of guarded statecharts for quantitative evaluation of dependable embedded systems M Dal Cin, G Huszerl, K Kosmidis na, 1999 | 7 | 1999 |
| Zs. Pap, A. Pataricza, and D. Varró. VIATRA-visual automated transformations for formal verification of UML models G Csertán, G Huszerl, I Majzik Proceedings International Conference on Automated Software Engineering (ASE …, 2002 | 6 | 2002 |
| Evaluation of safety-critical system based on guarded statecharts M Dal Cin, G Huszerl, K Kosmidis Proc. HASE’99 4th IEEE International Symposium on High Assurance Systems …, 1999 | 4 | 1999 |
| Formal verification of fault− tolerant systems. A relational approach to model checking G Huszerl Diploma thesis, IMMD3, 1998 | 4 | 1998 |
| UML Extensions for Quantitative Analysis K Kosmidis, G Huszerl Proceedings UML 2000 Workshop” Dynamic Behaviour in UML Models: Semantic …, 2000 | 3 | 2000 |
| Quantitative evaluation of dependability critical systems based on guarded statechart models MD Cin, G Huszerl, K Kosmidis The 4th IEEE International Symposium on High-Assurance Systems Engineering …, 1999 | 3 | 1999 |
| Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services G Pintér, Z Micskei, A Kövi, Z Égel, I Kocsis, G Huszerl, A Pataricza Architecting Dependable Systems V, 150-174, 2008 | 1 | 2008 |
| VIATRA-Visual Automated Transformations for Formal Verification and Validation of UML Models (Tool demonstration) G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró en. In: Edinburgh, UK, 2002 | 1 | 2002 |
| HIDENETS-Highly Dependable IP-based Networks and Services: Tutorial HP Schwefel, JJ Nielsen, A Nickelsen, EV Matthiesen, TJ Renier, ... | | 2008 |
| Specification HIDENETS laboratory set-up scenario and components (Refined specification HIDENETS proof-of-concept set up): HIDENETS D6. 2 I de Bruin, A Casimiro, M Calha, G Egeland, L Falai, P Frejek, ... Aalborg Universitetsforlag, 2007 | | 2007 |
| Önellenőrzés és futásidejű verifikáció számítógépes programokban= Self-checking and run-time verification in computer programs I Majzik, G Csertán, G Huszerl, A Pataricza, G Pintér, D Varró OTKA Kutatási Jelentések| OTKA Research Reports, 2007 | | 2007 |
