Fřlg
Gabor Huszerl
Tittel
Sitert av
Sitert av
Ĺr
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
3212002
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
692002
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
462003
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
281999
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
242001
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
192000
Towards dependability modeling of FT-CORBA architectures
I Majzik, G Huszerl
European Dependable Computing Conference, 121-139, 2002
182002
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
132006
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
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
41999
Formal verification of fault− tolerant systems. A relational approach to model checking
G Huszerl
Diploma thesis, IMMD3, 1998
41998
UML Extensions for Quantitative Analysis
K Kosmidis, G Huszerl
Proceedings UML 2000 Workshop” Dynamic Behaviour in UML Models: Semantic …, 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
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
12002
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
Systemet kan ikke utfřre handlingen. Prřv pĺ nytt senere.
Artikler 1–20