Dependable Computing Research Lab

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

Papers of Mura, 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:
Mura, 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:38

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2006

International Conferences

F. Di Giandomenico, S. Chiaradonna, Galliano E., and I. Mura. Model-based dimensioning of CAUTION++. In 15th IST Mobile & Wireless Communication Summit, Myconos, Greece, June 2006.
[ ABSTRACT and BibTeX Entry ]

2004

International Journals

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and I. Mura. Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Transactions on Reliability, 53(4):509-522, 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

2003

International Journals

S. Porcarelli, F. Di Giandomenico, A. Bondavalli, M. Barbera, and I. Mura. Service level availability estimation of gprs. IEEE Transactions on Mobile Computing, 2(3):233-247, 2003. IEEE Transactions on Mobile Computing submitted feb/2002.
[ ABSTRACT and BibTeX Entry | PDF ]

2001

Books Contributions

J. Arlat, A. Bondavalli, F. Di Giandomenico, M. T. Jarboui, E. Jenn, K. Kanoun, I. Mura, and D. Powell. Dependability evaluation. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 157-191. Kluwer Academic Publishers, Boston, 2001. ISBN 0-7923-7295-6.
[ ABSTRACT and BibTeX Entry ]

International Journals

I. Mura and A. Bondavalli. Markov regenerative stochastic Petri nets to model and evaluate the dependability of phased missions. IEEE Transactions on Computers, 50(12):1337-1351, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

I. Mura and A. Bondavalli. Impact of outages on GPRS service availability. In Fast Abstract, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

2000

International Conferences

A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli, and F. Sandrini. DEEM: a tool for the dependability modeling and evaluation of multiple phased systems. In DSN-2000 IEEE Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), pages 231-236, June 25-28 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

1999

International Journals

I. Mura and A. Bondavalli. Hierarchical modelling and evaluation of phased-mission systems. IEEE Transactions on Reliability, 48(4):360-368, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, F. Di Giandomenico, and I. Mura. An optimal value-based admission policy and its reflective use in real-time dependable systems. Real-Time Systems Journal, Kluwer Academic Publishers, 16(1):5-30, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi. Dependability modeling and evaluation of phased mission systems: a DSPN approach. In IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications, pages 319-337, San Jose, CA, USA, January 6-8 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, I. Mura, and K. S. Trivedi. Dependability modelling and sensitivity analysis of scheduled maintenance systems. In EDCC-3 European Dependable Computing Conference (also LNCS N. 1667), pages 7-23, Prague, Czech Republic, September 1999. Springer Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

A. Bondavalli and I. Mura. High-level petri net modelling of phased mission systems. In 10th European Workshop on Dependable Computing (EWDC-10), pages 91-95, Vienna, Austria, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

F. Di Giandomenico, F. Grandoni, A. Bondavalli, and I. Mura. Scheduling solutions for a unified approach to the tolerance of value and timing faults. In 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track, Madison, Wisconsin USA, June 15-18 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

International Conferences

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 ]

A. Bondavalli, F. Di Giandomenico, and I. Mura. A value-based approach to flexible decision making in real-time dependable systems. In 2nd Int. Workshop on Mechatronical Computer Systems, pages 155-163, Pisa, Italy, 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, F. Di Giandomenico, and I. Mura. Value-driven resource assignment in object-oriented real-time dependable systems. In Third IEEE Int. Workshop on Object-oriented Real-time Dependable Systems (WORDS 97), pages 92-99, Newport Beach, California, USA, February 6-7 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

Reports

1999

I. Mura and A. Bondavalli. Markov regenerative stochastic petri nets to model and evaluate the dependability of phased missions. Technical Report B4-1999-009, CNUCE-CNR, August 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1998

A. Bondavalli and I. Mura. Users guide for tool-supported modelling of phased-mission systems. GUARDS Project - PDCC Activity Output Report GUARDS/I3A4/AO/6016 version a, 11 June 1998.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and I. Mura. Brief overview of some tools to support the modelling and evaluation of phased mission systems. GUARDS Project, PDCC Technical Note Report GUARDS/I3A4/AO/6015 version a, 11 June 1998.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, I. Mura, X. Zang, and K. S. Trivedi. Dependability modeling and evaluation of phased mission systems: a DSPN approach. PDCC Technical Note Report GUARDS/I1-SA4/TN/6010 version a, 20 January 1998.
[ ABSTRACT and BibTeX Entry ]

I. Mura, S. Chiaradonna, and A. Bondavalli. Modelli teorici e pratici per la rappresentazione del processo di guasto. Technical Note PDCC-TN-0001 B, PDCC-ENEA, July 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, and I. Mura. Integrazione di tecniche di fault-forecasting. Technical Note PDCC-TN-0003 A, PDCC-ENEA, December 15 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

A. Bondavalli and I. Mura. Hierarchical modelling and evaluation of phased-mission systems. GUARDS Project - PDCC Activity Output Report GUARDS/I3A4/AO/6007 version a, November 19 1997.
[ ABSTRACT and BibTeX Entry ]

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

I. Mura, F. Di Giandomenico, and A. Bondavalli. Real-time multiprocessor systems: Performability evaluation. Internal Report B4-07-02-96, IEI-CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]