Gábor Huszerl
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module",
Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
"Quantitative Analysis of Uml Statechart Models of Dependable Systems",
COMPUTER JOURNAL, vol. 45, issue 3, pp. 260 - 277, 2002.
Abstract
"Towards dependability modeling of FT-CORBA architectures",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002.
Abstract
"VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models",
Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002.
Abstract
Acceptance rate = 20%
"Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
"A Framework for the Development and Testing of Mission-Critical Applications",
PROC. 5. National Conference on Object-Orientation (OOOK-2002), pp. & - , 2002.
"Object Oriented Notation for Modelling Quantitative Aspects",
Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
"Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts",
Proc. of the 27th Euromicro Conference, Workshop on Software Process and Product Improvement, Los Alamitos, IEEE Computer Society Press, pp. 200 - 207, 2001.
"Design Pattern Based Transformation of Dynamic UML Models for Quantitative Analysis",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. - , 2000.
"Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models",
Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000), Los Alamitos, IEEE Computer Society Press, pp. 83 - 92, 2000.
"UML - Extensions for Quantitative Analysis",
Proc. of UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, München, LMU-München, Institut für Informatik, pp. 70 - 75, 2000.
"Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models",
Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99): IEEE Computer Society Press, pp. 37 - 45, 1999.
"Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems",
Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 143 - 187, 1999.
