Dependable Computing Research Lab

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

Papers of Strigini, L.


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:
Strigini, L.


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:33:36

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2000

International Journals

A. Burns, D. Prasad, A. Bondavalli, F. Di Giandomenico, K. Ramamritham, J. Stankovic, and L. Strigini. The meaning and role of value in scheduling flexible real-time systems. Journal of System Architecture (JSA), Special Issue on Real-Time Systems, 46:305-325, 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

1999

International Journals

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. A contribution to the evaluation of the reliability of iterative-execution software. STVR - Software Testing, Verification and Reliability, John Wiley and Sons, 9(3):145-166, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1998

International Conferences

M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Optimal discrimination between transient and permanent faults. In 3rd IEEE High Assurance System Engineering Symposium, pages 214-223, Bethesda, MD, USA, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1995

Books Contributions

A. Bondavalli, J. A. Stankovic, and L. Strigini. Adaptable fault tolerance for real-time systems. In D. Fussell and M. Malek, editors, Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, pages 187-208. Kluwer Academic Publishers, Boston, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Rational design of multiple-redundant systems: Adjudication and fault treatment. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 141-154. Springer-Verlag, 1995.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Dependability analysis of iterative fault tolerant software considering correlation. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 459-472. Springer-Verlag, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Dependability models for iterative software considering correlation among successive inputs. In IEEE Int. Computer Performance and Dependability Symposium (IPDS'95), pages 13-21, Erlangen, Germany, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

1994

International Conferences

S. Chiaradonna, A. Bondavalli, and L. Strigini. On performability modeling and evaluation of software fault tolerance structures. In 1st European Dependable Computing Conference (EDCC-1), pages 97-114, Berlin, Germany, 1994. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

1992

International Journals

A. Bondavalli, L. Strigini, and M. Sereno. Destination stripping dual ring: a new protocol for MANs. Computer Networks and ISDN Systems, 24(1):15-32, 1992. also CNUCE / CNR report, No. C90-07, 1990.
[ ABSTRACT and BibTeX Entry ]

International Conferences

A. Bondavalli, L. Strigini, and L. Simoncini. Data-flow like languages for real-time systems: Issues of computational models and notation. In 11th IEEE Symposium on Reliable Distributed Systems (SRDS-11), pages 214-221, Houston, Texas, USA, October 5-7 1992. also Esprit PDCS (Predictably Dependable Computing Systems) report No. D10, 1992.
[ ABSTRACT and BibTeX Entry ]

1991

International Conferences

F. Di Giandomenico and L. Strigini. Flexible schemes for application-level fault-tolerance. In 10th Symposium on Reliable Distributed Systems, pages 86-95, Pisa, Italy, 1991.
[ ABSTRACT and BibTeX Entry ]

F. Di Giandomenico and L. Strigini. Implementations and extensions of the conversation concept. In 5th International Conference Fault-Tolerant Computing Systems Test, Diagnosis, Fault Treatment, pages 42-53, Nurnberg FRG, 1991.
[ ABSTRACT and BibTeX Entry ]

L. Strigini, A. Bondavalli, and L. Simoncini. Data-flow like languages for designing dependable real-time control systems. In 10th IFAC Workshop on Distributed Computer Control Systems, pages 131-136, Vienna, Austria, 1991. Pergamon Press.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and L. Strigini. DSDR: A fair and efficient access protocol for ring-topology MANs. In IEEE INFOCOM'91, pages 1022-1030, Miami, Florida, April 9-11 1991.
[ ABSTRACT and BibTeX Entry ]

1990

International Journals

A. Bondavalli, M. Conti, E. Gregori, L. Lenzini, and L. Strigini. MAC protocols for high-speed, MANs: Performance comparisons for a family of fasnet-based protocols. Computer Networks and ISDN Systems, 18(2):97-113, February 1990.
[ ABSTRACT and BibTeX Entry ]

International Conferences

F. Di Giandomenico and L. Strigini. Adjudicators for diverse-redundant components. In 9th Symposium on Reliable Distributed Systems, pages 114-123, Huntsville, Alabama, 1990.
[ ABSTRACT and BibTeX Entry ]

Reports

1998

M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Optimal discrimination between transient and permanent faults - mathematical details. Csr technical report, 1998.
[ ABSTRACT and BibTeX Entry ]

M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Bayesian diagnosis of transient vs permanent faults. Csr technical note, January 1998.
[ ABSTRACT and BibTeX Entry ]

1995

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. A contribution to dependability evaluation of fault-tolerant, iterative-execution software. Technical Report C95-41, CNUCE/CNR, December 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

1994

S. Chiaradonna, A. Bondavalli, and L. Strigini. On performability modeling and evaluation of software fault tolerance structures. 2nd year deliverables, ESPRIT BRA 6362 PDCS2, September 1994.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, A. Bondavalli, and L. Strigini. Comparative performability evaluation of RB, NVP and SCOP. Technical Report C94-02, CNUCE/CNR, January 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and L. Strigini. Modelling correlation among successive inputs in software dependability analyses. Technical Report C94-20, CNUCE/CNR, October 1994.
[ ABSTRACT and BibTeX Entry | PDF ]