Dependable Computing Research Lab

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

Papers of Chiaradonna, S.


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:
Chiaradonna, S.


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2016

International Journals

D. Basile, S. Chiaradonna, F. Di Giandomenico, and S. Gnesi. A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems. Journal of Rail Transport Planning & Management, Elsevier, 6(2):163-181, 2016.
[ ABSTRACT and BibTeX Entry ]

International Conferences

G. Masetti, S. Chiaradonna, and F. Di Giandomenico. Exploring equations ordering influence on variants of the Newton-Raphson method. In Numerical Computations: Theory and Algorithms - (NUMTA 2016): 2nd International Conf. and Summer School, volume 1776, Pizzo Calabro, Italy, June 2016. AIP.
[ ABSTRACT and BibTeX Entry ]

J. Xiao, S. Chiaradonna, F. Di Giandomenico, and A. Pimentel. Improving voltage control in MV smart grids. In Seventh IEEE International Conference on Smart Grid Communications (SmartGridComm 2016), pages 382-387, Sydney, Australia, November 2016.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and G. Masetti. Analyzing the impact of failures in the electric power distribution grid. In Seventh Latin-American Symposium on Dependable Computing (LADC 2016), pages 99-108, Cali, Colombia, October 2016.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and G. Masetti. A stochastic modelling framework to analyze smart grids control strategies. In Fourth IEEE International Conference on Smart Energy Grid Engineering (SEGE 2016), pages 123-130, Oshawa, Canada, August 2016.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and J. Xiao. Quantification of the effectiveness of medium voltage control policies in smart grids. In 17th IEEE Int. Symp. on High Assur. Syst. Eng. (HASE 2016), pages 284-291, Orlando, FLorida, USA, 2016.
[ ABSTRACT and BibTeX Entry ]

Fast Abstracts

S. Chiaradonna, F. Di Giandomenico, and G. Masetti. Efficient non-anonymous composition operator for modeling complex dependable systems. In G Tredan, editor, 12nd European Dependable Computing Conference (EDCC 2016), Fast Abstracts Proceedings, volume abs/1608.05874, Gothenburg, Sweden, September 2016.
[ ABSTRACT and BibTeX Entry ]

2015

International Journals

S. Chiaradonna, F. Di Giandomenico, and N. Murru. On enhancing effciency and accuracy of particle swarm optimization algorithms. International Journal of Innovative Computing, Information and Control (IJICIC), 11(4):1165-1190, 2015.
[ ABSTRACT and BibTeX Entry ]

International Conferences

D. Basile, S. Chiaradonna, F. Di Giandomenico, S. Gnesi, and F. Mazzanti. Stochastic model-based analysis of energy consumption in a rail road switch heating system. In International Workshop on Software Engineering for Resilient Systems (SERENE 2015), pages 82-98, Paris, France, September 2015.
[ ABSTRACT and BibTeX Entry ]

2014

International Conferences

C. Di Sarno, N. Murru, F. Di Giandomenico, S. Chiaradonna, A. Garofalo, and G. Cerullo. Power grid outlier treatment through Kalman filter. In Second IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014), Naples, Italy, November 2014.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and N. Murru. On a modeling approach to analyze resilience of a smart grid infrastructure. In Tenth European Dependable Computing Conference (EDCC 2014), Under publication, pages 166-177, Newcastle upon Tyne, UK, May 2014.
[ ABSTRACT and BibTeX Entry ]

2013

Books Contributions

M. Beccuti, S. Chiaradonna, F. Di Giandomenico, S. Donatelli, G. Dondossola, and G. Franceschinis. Model-based evaluation of the impact of attacks to the telecommunication service of the electrical grid. In P. Theron and S. Bologna, editors, Critical Information Infrastructure Protection and Resilience in the ICT Sector, pages 220-241. IGI Global Publishing, 2013.
[ ABSTRACT and BibTeX Entry ]

International Journals

S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Stochastic assessment of power systems in presence of heterogeneity. International Journal of Critical Computer-Based Systems, 4(4):326-348, 2013.
[ ABSTRACT and BibTeX Entry ]

2012

Books Contributions

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Case study on critical infrastructures: Assessment of electric power systems. In K. Wolter, A. Avritzer, M. Vieira, and A. van Moorsel, editors, Resilience Assessment and Evaluation of Computing Systems, pages 365-390. Springer Berlin Heidelberg, 2012.
[ ABSTRACT and BibTeX Entry ]

International Journals

M. Beccuti, S. Chiaradonna, F. Di Giandomenico, S. Donatelli, G. Dondossola, and G. Franceschinis. Quantification of dependencies between electrical and information infrastructures. Int. J. of Critical Infrastructure Protection (IJCIP), Elsevier, 5(1):14-27, 2012.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

International Conferences

S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Model-based assessment of multi-region electric power systems showing heterogeneous characteristics. In Safecomp 2012 Workshop: Dependable and Secure Computing for Large-Scale Complex Critical Infrastructures (DESEC4LCCI 2012), pages 328-339, Magdeburg, Germany, September 2012. Springer Verlag.
[ ABSTRACT and BibTeX Entry ]

A. Ferrari, M. L. Itria, S. Chiaradonna, and G. O. Spagnolo. Model-based evaluation of the availability of a cbtc system. In SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop, pages 165-179, Pisa, Italy, September 2012. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Analysis of electric power systems accounting for interdependencies in heterogeneous scenarios. In Ninth European Dependable Computing Conference (EDCC 2012), pages 84-93, Sibiu, Romania, May 2012.
[ ABSTRACT and BibTeX Entry ]

2011

International Journals

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Definition, implementation and application of a model-based framework for the analysis of interdependencies in electric power systems. International Journal of Critical Infrastructure (IJCIP), Elsevier, 4(1):24-40, 2011.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

International Conferences

S. Chiaradonna, F. Di Giandomenico, and N. Nostro. Modeling and analysis of the impact of failures in electric power systems organized in interconnected regions. pages 442-453, 2011. The 41th Annual IEEE/IFIP Int. Conference on Dependable Systems and Networks (DSN 2011) - The Performance and Dependability Symposium (PDS).
[ ABSTRACT and BibTeX Entry ]

2010

International Conferences

P. Masci, S. Chiaradonna, and F. Di Giandomenico. Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities. In Eighth European Dependable Computing Conference (EDCC-2010), pages 145-154, Valencia, Spain, April 2010.
[ ABSTRACT and BibTeX Entry ]

2009

International Journals

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Assessing the impact of interdependencies in electric power systems. International Journal of System of Systems Engineering (IJSSE), InderScience Publishers, 1(3):367-386, 2009.
[ ABSTRACT and BibTeX Entry ]

International Conferences

M. Beccuti, G. Franceschinis, S. Donatelli, S. Chiaradonna, F. Di Giandomenico, P. Lollini, G. Dondossola, and F. Garrone. Quantification of dependencies in electrical and information infrastructures: the crutial approach. In 4th International Conference on Critical Infrastructures (CRIS 2009), Linkoping, Sweden, 2009. IEEE Computer Society Press.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Interdependency analysis in electric power systems. In R. Setola and S. Geretshuber, editors, Critical Information Infrastructure Security, CRITIS 2008, LNCS 5508, pages 60-71, Berlin Heidelberg, 2009. Springer Berlin / Heidelberg.
[ ABSTRACT and BibTeX Entry ]

2008

Books Contributions

A. Daidone, S. Chiaradonna, A. Bondavalli, and P. Verissimo. Analysis of a redundant architecture for critical infrastructure protection. In R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, editors, Architecting Dependable Systems V, volume 5135 of LNCS, pages 78-100. Springer, Heidelberg, 2008.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, F. Di Giandomenico, and P. Lollini. Evaluation of critical infrastructures: Challenges and viable approaches. In R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, editors, Architecting Dependable Systems V, volume 5135 of LNCS 5135, pages 52-77. Springer, Heidelberg, 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

2007

International Conferences

F. Romani, S. Chiaradonna, F. Di Giandomenico, and L. Simoncini. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. In 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), pages 305-312, Dallas, Texas, USA, November 2007.
[ ABSTRACT and BibTeX Entry ]

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. On a modeling framework for the analysis of interdependencies in electric power systems. In IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007), pages 185-195, Edinburgh, UK, June 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2006

International Conferences

A. Daidone, F. Di Giandomenico, A. Bondavalli, and S. Chiaradonna. Hidden Markov models as a support for diagnosis: Formalization of the problem and synthesis of the solution. In 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), pages 245-256, Leeds, UK, October 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, P. Lollini, and F. Squittieri. Integration of an MPS modeling approach into Möbius. In 3rd IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2006) - Tool Session, pages 139-140, University of California, Riverside, CA, USA, September 2006.
[ ABSTRACT and BibTeX Entry ]

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 ]

L. Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza, A. Bondavalli, and T. Bartha. Dependability evaluation of web service-based processes. In A. Horváth and M. Telek, editors, 3rd European Performance Engineering Workshop (EPEW2006), Budapest, Hungary, June 21-22, 2006, volume 4054 of LNCS, pages 166-180. Springer Verlag, 2006.
[ At publisher ] [ ABSTRACT and BibTeX Entry ]

2005

Books Contributions

A. Bondavalli, S. Chiaradonna, and F. Di Giandomenico. Model-based evaluation as a support to the design of dependable systems. In H. B. Diab and A. Y. Zomaya, editors, Dependable Computing Systems: Paradigms, Performance Issues, & Applications. John Wiley & Sons, 2005.
[ ABSTRACT and BibTeX Entry ]

2004

International Journals

A. Bondavalli, S. Chiaradonna, D. Cotroneo, and L. Romano. Effective fault treatment for improving the dependability of COTS- and legacy-based applications. IEEE Transactions on Dependable and Secure Computing, 1(4):223-237, 2004.
[ ABSTRACT and BibTeX Entry ]

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 ]

International Conferences

L. Simoncini, F. Di Giandomenico, A. Bondavalli, and S. Chiaradonna. Architectural challenges for a dependable information society. In Fault Tolerance for Trustworthy and Dependable Information Infrastructures, Topical Days Track, WCC 18th IFIP World Computer Congress, Toulouse, France, August, 22-27 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

2003

International Conferences

A. Bondavalli, S. Chiaradonna, D. Cotroneo, and L. Romano. A fault-tolerant distributed legacy-based system and its evaluation. In LADC2003 - First Latin-American Symposium on Dependable Computing - LNCS 2847, pages 303-320, Sao Paulo, Brazil, October 21-24 2003. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

2002

International Journals

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and J. Xu. An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. JSA - Journal on Systems and Architectures, 47(9):763-781, 2002.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

L. Romano, A. Bondavalli, S. Chiaradonna, and D. Cotroneo. Implementation of threshold-based diagnostic mechanisms for COTS-based applications. In 21st IEEE Symposium on Reliable Distributed Systems (SRDS'02), pages 296-303, Osaka University, Suita, Japan, October 13-16 2002.
[ ABSTRACT and BibTeX Entry | PDF ]

2001

Books Contributions

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, D. Powell, and C. Rabéjac. Error processing and fault treatment. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 71-86. ISBN 0-7923-7295-6, Kluwer Academic Publishers, Boston, January 2001.
[ ABSTRACT and BibTeX Entry ]

International Journals

F. Grandoni, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. Evaluation of fault-tolerant multiprocessor systems for high assurance applications. Special Issue on High Assurance Systems of The Computer Journal, 44(6):544-556, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

2000

International Journals

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Threshold-based mechanisms to discriminate transient from intermittent faults. IEEE Transactions on Computers, 49(3):230-245, 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

M. Minichino, E. Ciancamerla, S. Chiaradonna, and A. Bondavalli. An experience of dependability assessment of a typical industrial safety critical programmable logic controller. In 4t Int. Symposium Programmable Electronic Systems in Safety Related Applications, Köln, Cologne, Germany, May 3-4 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

F. Di Giandomenico, S. Chiaradonna, A. Bondavalli, and F. Grandoni. Evaluation of integrated error processing and fault diagnosis in multiprocessor systems. In IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), pages 1145-1151, Monte Carlo Resort, Las Vegas, Nevada, USA, June 26-29 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

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

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

F. Grandoni, S. Chiaradonna, and A. Bondavalli. A new heuristic to discriminate transient from intermittent faults. In 3rd IEEE High Assurance System Engineering Symposium (HASE'98), pages 224-231, Bethesda, MD, USA, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

International Journals

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and S. La Torre. Modelling the effects of input correlation in iterative software. Reliability Engineering and System Safety Journal (RESS), Elsevier, 57(3):189-202, 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

F. Di Giandomenico, A. Bondavalli, J. Xu, and S. Chiaradonna. Hardware and software fault tolerance: Definition and evaluation of adaptive architectures in a distributed computing environment. In Int. Conference on Safety and Reliability (ESREL'97), pages 341-348, Lisbon, Portugal, June 17-20 1997. Pergamon Press.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Discriminating fault rate and persistency to improve fault treatment. In 27th IEEE Int. Symposium on Fault-Tolerant Computing (FTCS-27), pages 354-362, Seattle, Washington, USA, June 25-27 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

1995

Books Contributions

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 ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and S. La Torre. Dependability of iterative software: a model for evaluating the effects of input correlation. In 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95), pages 489-503, Belgirate, Italy, October 11-13 1995. Springer-Verlag.
[ 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 ]

A. Bondavalli, S. Chiaradonna, and F. Di Giandomenico. Efficient fault tolerance: an approach to deal with transient faults in multiprocessor architectures. In IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94), pages 354-359, Hsinchu, Taiwan, ROC, December 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

1993

National Conferences

S. Chiaradonna and A. Bondavalli. Uno schema efficiente per la tolleranza a guasti operazionali in architetture multiprocessore. In Congresso annuale A.I.C.A. '93, pages 1289-1303, Lecce, Italy, September 22-24 1993.
[ ABSTRACT and BibTeX Entry | PDF ]

Reports

2007

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. Modelling framework of an instance of the electric power system: functional description and implementation. Technical Report RCL071202, University of Florence, Dip. Sistemi Informatica, RCL group, December 2007.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

F. Romani, S. Chiaradonna, F. Di Giandomenico, and L. Simoncini. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. Technical Report 2007-TR-012, ISTI-CNR, Italy, 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2006

S. Chiaradonna, P. Lollini, and F. Di Giandomenico. On the modeling of an instance of the electric power system. Technical report rcl061201, university of firenze, dip. sistemi e informatica, December 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

1999

D. Viva, A. Bondavalli, and S. Chiaradonna. Sviluppo di un caso di studio. Technical Note PDCC-TN-0004 B, PDCC-ENEA, March 22 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

D. Viva, A. Bondavalli, and S. Chiaradonna. Sperimentazione di diverse metodologie e strumenti per la modellizzazione. Technical Note PDCC-TN-0002 B, PDCC-ENEA, March 23 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

1998

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 ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Threshold-based mechanisms to discriminate transient from intermittent faults. Technical Report B4-17-06-98, IEI-CNR, June 17 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

1997

S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. Analytical modelling of GUARDS mechanisms and components: Example of the error filtering mechanism. ESPRIT Project 20716 GUARDS Report D3A4/AO/6002C (also GUARDS First Year Deliverable), PDCC, March 18 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Intra-channel error processing mechanisms. ESPRIT Project 20716 GUARDS Report D1A2/A0/6005B, PDCC, February 1997.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Inter-channel state restoration. Activity Output, ESPRIT Project 20716 GUARDS Report I1-SA4/6006/B, GUARDS Project - PDCC, November 14 1997.
[ ABSTRACT and BibTeX Entry ]

1996

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Discriminating fault rate and persistency to improve fault treatment. Internal Report B4-33, IEI/CNR, Pisa, Italy, 1996.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. A mechanism for discriminating transient from intermittent/permanent faults. ESPRIT Project 20716 GUARDS Report D1A2/A0/6003A, GUARDS Project - PDCC, December 1996.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Fault tolerance structures & mechanisms for the GUARDS architecture. Technical Report C96-26 (also ESPRIT Project 20716 GUARDS Report D1A2/A0/6000A), CNUCE/CNR, October 1996.
[ ABSTRACT and BibTeX Entry ]

1995

S. La Torre, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli. The effects of input correlation on the dependability of iterative software. Technical Report B4-24, IEI/CNR, May 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

A. Bondavalli, S. Chiaradonna, M. Cipollone, F. Di Giandomenico, and F. Grandoni. Integrated error processing and fault diagnosis in multiprocessor systems. Technical Report C95-42, CNUCE/CNR, December 1995.
[ ABSTRACT and BibTeX Entry ]

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 ]

S. Chiaradonna, A. Bondavalli, and F. Di Giandomenico. A fault treatment approach to support dynamic redundancy in multiprocessor architectures. 2nd year deliverables, Esprit BRA 6362 PDCS2, September 1994.
[ ABSTRACT and BibTeX Entry ]

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 ]