Dependable Computing Research Lab

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

Papers of Nelli, M.


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:
Nelli, M.


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:53

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2001

International Journals

A. Bondavalli, M. Nelli, L. Simoncini, and G. Mongardi. Hierarchical modelling of complex control systems: Dependability analysis of a railway interlocking. Journal of Computer Systems Science and Engineering, CRL Publishing, 16(4):249-261, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

International Conferences

A. Bondavalli, M. Nelli, L. Simoncini, and G. Mongardi. Application of analytical model-based evaluations to the railway aplications: a case study. In WCRR - World Congress on Railway Research, Firenze, Italia, 16-19 Novembre 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, I. Mura, and M. Nelli. Analytical modelling and evaluation of phased-mission systems for space applications. In IEEE HASE'97, High Assurance System Engineering Workshop, pages 85-91, Washington, DC, USA, August 11-12 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

1996

International Conferences

M. Nelli, A. Bondavalli, and L. Simoncini. Dependability modelling and analysis of complex control systems: an application to railway interlocking. In EDCC-2 European Dependable Computing Conference, pages 93-110, Taormina, Italy, 1996.
[ ABSTRACT and BibTeX Entry | PDF ]

Reports

1997

A. Bondavalli, I. Mura, and M. Nelli. Analytical modelling and evaluation of the GUARDS instances: example for space applications. GUARDS Project - PDCC Activity Output Report GUARDS/D3A4/AO/6001 C, March 18 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

1996

M. Nelli, A. Bondavalli, and L. Simoncini. Hierarchical modelling of HW/SW control systems: an application to dependability analysis of railway interlocking. Internal Report C96-09, CNUCE-CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]