HUSZERL Gábor publikációs listája
Publications of HUSZERL Gábor
- Pataricza A.,
Majzik I.,
Huszerl G.,
Várnai Gy.:
UML-based Design and Formal Analysis of a Safety-Critical
Railway Control Software Module - In G. Tarnai and E. Schnieder
(eds.): Formal Methods for Railway Operation and Control
Systems (Proceedings of Symposium
FORMS-2003, Budapest, Hungary, May 15-16), pp.125-132, 2003,
L'Harmattan, Budapest.
- Majzik I.,
Huszerl G.:
Towards Dependability Modeling of FT-CORBA Architectures -
In Proc. 4th European
Dependable Computing Conference (EDCC-4), Toulouse, France,
23-25 October 2002, LNCS Springer Verlag
(LNCS 2485), 2002
- Huszerl G.,
Majzik I.,
Pap Zs.,
Pataricza A.,
Petri D.:
Varró D.:
A framework for the development and testing of mission-critical
applications - In
V. National Conference on Object-Orientation (OOOK-2002),
Dobogókő, Hungary, 15-17. October, 2002
- Csertán Gy.,
Huszerl G.,
Majzik I.,
Pap Zs.,
Pataricza A.,
Varró D.:
VIATRA - Visual Automated Transformations for Formal
Verification and Validation of UML Models - In Proc.
17th Int. Conference on Automated
Software Engineering (ASE 2002), Edinburgh, Scotland, September
23-27. 2002
- Huszerl G.,
Majzik I.,
Pataricza A.,
K. Kosmidis,
M. Dal Cin:
Quantitative Analysis of UML Statechart Models of Dependable
Systems -
The Computer Journal,
Vol 45(3), May 2002, pp. 260-277., ISSN:0010-462, published by
the Oxford University Press on
behalf of British Computer Society
- Huszerl G.,
K. Kosmidis:
Object Oriented Notation for Modelling Quantitative Aspects -
In Workshop
Proceedings of the
International
Conference on Architecture of Computing Systems ARCS 2002, ARCS '02
(U. Brinkschulte, K.-E. Grosspietsch, C. Hochberger, E.W. Mayr
(eds.)), pp. 91-100., April 8-12. 2002, Karlsruhe, Germany,
ISBN 3-8007-2686-6 (VDE Verlag GmbH, Berlin)
- Pataricza A.,
Csertán Gy.,
Majzik I.:
Varró D.:
Huszerl G.,
Harang P.:
Dataflow Based Error Propagation and Testability Analysis -
Technical report, 2001.
- Huszerl G.,
Majzik I.:
Modelling and Analysis of Redundancy Management in
Distributed Object-Oriented Systems by Using UML
Statecharts - In Proc. of the
27th Euromicro
Conference, pp. 200-207., Warsaw, Poland, 4-6. September 2001
- Huszerl G.,
Majzik I.:
Quantitative Analysis of Dependability Critical Systems
Based on UML Statechart Models - In Proc.
HASE
2000, Fifth IEEE International Symposium on High Assurance Systems
Engineering, pp. 83-92, Albuquerque, NM, USA, November 15-17, 2000
- Huszerl G.:
Design Pattern Based Transformation of Dynamic UML Models
for Quantitative Analysis - In Proc. of
EWDC-11,
11th European Workshop on Dependable Computing, Budapest,
Hungary, May 11-13. 2000
- Huszerl G.,
K. Kosmidis:
UML - Extensions for Quantitative Analysis - In Proc. of
UML 2000 Workshop:
Dynamic Behaviour in UML Models: Semantic Questions (LMU-München,
Institut für Informatik, Bericht 0006) York, UK, October, 2000
- M. Dal Cin,
Huszerl G.,
K. Kosmidis:
Quantitative Evaluation of Dependability Critical Systems
Based on Guarded Statechart Models - In Proc.
HASE'99, Fourth IEEE Int.
Symposium on High Assurance Systems Engineering pp. 37-45.,
Washington DC Metropolitan Area, USA, November 17-19. 1999
- M. Dal Cin,
Huszerl G.,
K. Kosmidis:
Transformation of Guarded Statecharts for Quantitative
Evaluation of Dependable Embedded systems -
EWDC-10,
10th European Workshop on Dependable Computing, ISBN
3-85403-125-4, pp. 143-187, Vienna, Austria, May 6-7, 1999
- A. Bondavalli,
M. Dal Cin,
Huszerl G.,
K. Kosmidis,
D. Latella,
Majzik I.,
M. Massink,
I. Mura:
Transformations - Report on the Specification of Analysis
and Transformation Techniques - ESPRIT Project 27439 (HIDE)
Deliverable 2 (HIDE/T1.2/PDCC/30/v1), 1998.
- Csertán Gy.,
M. Dal Cin,
Huszerl G.,
Jávorszky J.,
K. Kosmidis,
Pataricza A.,
Szász Cs.:
The Demonstrator - ESPRIT Project 27439 (HIDE)
Deliverable 5 (HIDE/D5/TUB/1/v2), 1998.
- Pataricza A.,
Majzik I.,
Csertán Gy.,
Huszerl G.,
Jávorszky J., Szász Cs.:
HIDE - High Level Design Environment for Dependability -
Technical report, OMFB 1999.