Dependable Computing Research Lab

[All | BibTeX Entries] [Papers] [Reports] [Authors]   Copyright Notice

Papers of Majzik, I.


Papers:
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987

Technical Reports

Authors:
Majzik, I.


A total of people have accessed this page since 4 March 2003
For more information on these papers/reports please contact: 
notify-email-img

Last modified: 
26 Jan 2017 at 14:32:56

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2011

International Journals

A. Bondavalli, O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik, and H.-P. Schwefel. The hidenets holistic approach for the analysis of large critical mobile systems. To appear in IEEE Transactions on Mobile Computing, 2011.
[ ABSTRACT and BibTeX Entry ]

2009

International Journals

A. Bondavalli, A. Ceccarelli, J. Gronbaek, D. Iovino, L. Karna, S. Klapka, T.K. Madsen, M. Magyar, I. Majzik, and A. Salzo. Design and evaluation of a safe driver machine interface. IJPE, 4(2):153-166, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

2008

International Conferences

I. Majzik, A. Bondavalli, S. Klapka, T.K. Madsen, and D. Iovino. Formal methods in the evaluation of a safe driver-machine interface. In FORMS-FORMAT 2008, October 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter, and A. Bondavalli. A resilient sil 2 driver machine interface for train control systems. In IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08), June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Analysis of the impact of communication protocols on service quality in ertms automatic train control systems. In Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), pages 0-0, October 9-10 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

M. Kovacs, P. Lollini, I. Majzik, and A. Bondavalli. An integrated framework for the dependability evaluation of distributed mobile applications. In RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), pages 29-38, November 17-19 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

2003

Books Contributions

I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic dependability analysis of system architecture based on uml models. In R. De Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS 2677, Lecture Notes in Computer Science, pages 219-244. Springer-Verlag, Berlin, Heidelberg, New York, 2003.
[ ABSTRACT and BibTeX Entry | PDF ]

2001

International Journals

A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. Journal of Computer Systems Science and Engineering, 16(5):265-275, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

1999

International Conferences

A. Bondavalli, I. Majzik, and I. Mura. Automatic dependability analysis for supporting design decisions in UML. In 4th IEEE High Assurance System Engineering Symposium (HASE99), pages 64-71, Washington D.C., USA, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, I. Majzik, and I. Mura. Automated dependability analysis of UML designs. In 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99), pages 139-144, Saint Malo, France, May 2-5 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1998

International Journals

C. Bernardeschi, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Temporal analysis of data flow control systems. IFAC Automatica, 34(2):169-182, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

I. Majzik and A. Bondavalli. Automatic dependability modelling of systems described in UML. In 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track, pages 29-30, Paderborn, Germany, November 4-7 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1996

International Conferences

B. Antal, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Reachability and timing analysis in data flow networks: a case study. In Euromicro 96, 22nd IEEE Euromicro Conference, pages 193-200, Prague, Czech Republic, September 2-5, 1996, 1996. ISBN 0-8186-7487-3.
[ ABSTRACT and BibTeX Entry | PDF ]

Reports

2008

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Assessing the impact of cyclic/acyclic evc-dmi interactions in automatic train control systems. Technical Report rcl080401, University of Florence, Dip. Sistemi Informatica, RCL group, April 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

1998

I. Majzik and A. Bondavalli. On high level dependability modeling in HIDE. Technical note Project Reference HIDE/T1.2/PDCC/4/v1, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

I. Majzik and A. Bondavalli. Dependability analysis in the HIDE framework. Technical note Project Reference HIDE/T1.2/PDCC/1/v1, 1998.
[ ABSTRACT and BibTeX Entry ]