Gabor Huszerl
Title
Cited by
Cited by
Year
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
2792002
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
642002
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, 2003
432003
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
251999
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
222001
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
222000
Towards dependability modeling of FT-CORBA architectures
I Majzik, G Huszerl
European Dependable Computing Conference, 121-139, 2002
152002
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
122006
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
102007
Transformation of guarded statecharts for quantitative evaluation of dependable embedded systems
M Dal Cin, G Huszerl, K Kosmidis
na, 1999
71999
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
62002
Formal verification of fault-tolerant systems. a relational approach to model checking
G Huszerl
Master’s Thesis, TU Budapest/University of Erlangen–Nuremberg, 1998
61998
Resilient architecture
A Casimiro, A Bondavalli, A Ceccarelli, A Daidone, L Falai, P Frejek, ...
32007
UML Extensions for Quantitative Analysis
K Kosmidis, G Huszerl
Reggio et al.[2000], 70-75, 2000
32000
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
31999
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
12008
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
Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában= Operation Research Methods for the Analysis and Verification of Information …
A Pataricza, T Bartha, B Bertók, G Csertán, O Dobán, F Friedler, J Fülöp, ...
OTKA Kutatási Jelentések| OTKA Research Reports, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–20