Dependable Computing Research Lab

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

Papers of Di Giandomenico, F.


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:
Di Giandomenico, F.


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

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 ]

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 ]

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A decomposition-based modeling framework for complex systems. IEEE Trans. on Reliability, 58(1):20-33, 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

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 ]

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 ]

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Evaluation of the impact of congestion on service availability in GPRS infrastructures. In ISAS 2005/Service Availability, Lecture Notes in Computer Science 3694, Volume Editor(s): M. Malek, N. Suri, E. Nett, 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

International Journals

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A modeling methodology for hierarchical control system and its aplication. In Journal of the Brazilian Computer Society (JBCS), June 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Qos analysis of a umts cell with different service classes. In CSN-2005 The Fourth IASTED International Conference on Communication Systems and Networks, September 12-14 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

L. Falai, A. Bondavalli, and F. Di Giandomenico. Nekostat extension for neko: Quantitative evaluation of distributed algorithms. In Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST '05), 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative evaluation of distributed algorithms using the neko framework: the nekostat extension. In LADC, 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

2004

Books Contributions

S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli, and P. Inverardi. A framework for reconfiguration-based fault-tolerance in distributed systems. In R. De Lemos, c. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS. Springer-Verlag, 2004. To appear, also ICSE-WADS2003, Post-Proceeding of ICSE-WADS2003.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

International Conferences

F. Di Giandomenico, S. Porcarelli, D. Viva, A. Bondavalli, and P. Lollini. Model-based evaluation for dependability assessment of caution++ instances. In Venue '04 (informal proceedings), Athens, Greece, May 27-28 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, F. Di Giandomenico, A. Bondavalli, and S. Porcarelli. Congestion analysis in a general gprs network. In Mobile Venue '04 (informal proceedings), Athens, Greece, May 27-28 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

P. Lollini, A. Bondavalli, F. Di Giandomenico, and S. Porcarelli. Congestion analysis during outage, congestion treatment and outage recovery for simple gprs networks. In The Ninth IEEE Symposium On Computers And Communications (ISCC'2004), Alexandria, Egypt, June 28 - July 1 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and P. Lollini. Model-based evaluation of a radio resource management system for wireless networks. In CF'04 Computing Frontiers, pages 51-59, Ischia, Italy, April 14-16 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Porcarelli, F. Di Giandomenico, P. Lollini, and A. Bondavalli. A modular approach for model-based dependability evaluation of a class of systems. In International Service Availability Symposium 2004 (ISAS 2004), Munich, Germany, May 13-14 2004. Springer-Verlag.
[ 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 ]

International Conferences

F. Di Giandomenico, S. Porcarelli, P. Lollini, and A. Bondavalli. Dependability issues in radio resource management of wireless systems. In WMPC03 - 6th International Symposium on Wireless Personal Multimedia Communications, volume 2, pages 146-150, 2003.
[ ABSTRACT and BibTeX Entry | PDF ]

2002

Books Contributions

A. Bondavalli, A. Coccoli, and F. Di Giandomenico. QoS analysis of group communication protocols in wireless environment. In P. Ezhilchelvan and A. Romanovsky, editors, Concurrency in Dependable Computing, pages 169-188. Kluwer Academic Publishers, 2002.
[ ABSTRACT and BibTeX Entry | PDF ]

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

S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Analyzing quality of service of GPRS network systems from a users perspective. In IEEE Symposium on Computers and Communications (ISCC02), pages 142-149, Taormina, Italy, 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 ]

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

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 ]

International Conferences

F. Tataranni, S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and L. Simoncini. Modeling and analysis of the behavior of GPRS systems. In WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems, pages 51-58, Rome, Italy, January 2001 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

F. Tataranni, S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Analysis of the effects of outages on the quality of service of GPRS network systems. In IEEE Int. Conference on Dependable Systems and Networks (DSN-2001), pages 235-244, Göteborg, Sweden, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

S. Porcarelli, F. Di Giandomenico, A. Chohra, and A. Bondavalli. Tuning of database audits to improve scheduled maintenance in communication systems. In U. Voges, editor, SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security, pages 238-248, Budapest, Hungary, 2001. Springer-Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Chohra, F. Di Giandomenico, S. Porcarelli, and A. Bondavalli. Towards optimal database maintenance in wireless communication systems. In N. Callaos, N. I. Da Silva, and J. Molero, editors, The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development, pages 571-576, Orlando, Florida, USA, July 22-25 2001. IIIS.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Coccoli, A. Bondavalli, and F. Di Giandomenico. Analysis and estimation of the quality of service of group communication protocols. In ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing, pages 209-216, Magdeburg, Germany, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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

F. Sandrini, F. Di Giandomenico, A. Bondavalli, and E. Nett. Scheduling solutions for the integrated tolerance to value and timing faults. In ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing., pages 122-129, Newport Beach, CA, USA, March 15-17 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. Coccoli, S. Schemmer, F. Di Giandomenico, M. Mock, and A. Bondavalli. Analysis of group communication protocols to assess quality of service properties. In HASE00 - 5th IEEE High Assurance System Engineering Symposium, pages 247-256, Albuquerque, NM, USA, 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Coccoli, A. Bondavalli, and F. Di Giandomenico. Dependability and performance analysis of a protocol for efficient real-time group communication. In EWDC-12 European Workshop on Dependable Computing, Budapest, Hungary, 2000.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and F. Di Giandomenico. A position on design, methods, and tools for object-oriented real-time computing. In ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing, pages 306-308, Newport Beach, CA, USA, March 15-17 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

1999

International Journals

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 ]

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 ]

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 ]

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 ]

A. Bondavalli, F. Di Giandomenico, F. Grandoni, D. Powell, and C. Rabéjac. State restoration in a COTS-based N-modular architecture. In 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98), pages 174-183, Kyoto, Japan, April 20 - 22 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

D. Powell, J. Arlat, L. Beus-Dukic, A. Wellings, A. Bondavalli, and F. Di Giandomenico. Ultra-dependable and real-time systems: The GUARDS approach. In 3rd CABERNET Plenary Workshop, IRISA, Campus de Beaulieu, Rennes, France, April 16-18 1997.
[ ABSTRACT and BibTeX Entry ]

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, 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 ]

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 ]

P. Bizzarri, A. Bondavalli, and F. Di Giandomenico. A scheduling algorithm for aperiodic groups of tasks in distributed real-time systems and its holistic analysis. In 6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97, pages 296-301, Tunis, Tunisia, October 29-31 1997.
[ ABSTRACT and BibTeX Entry | PDF ]

1996

International Conferences

P. Bizzarri, A. Bondavalli, F. Di Giandomenico, and F. Tarini. Planning the execution of task groups in real-time systems. In 8th IEEE Euromicro Workshop on Real-Time Systems, pages 169-174, L'Aquila, Italy, June 12-14 1996.
[ ABSTRACT and BibTeX Entry | PDF ]

1995

Books Contributions

J. Xu, A. Bondavalli, and F. Di Giandomenico. Dynamic adjustment of dependability and efficiency in fault-tolerant software. In B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 155-172. Springer-Verlag, 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 ]

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 ]

M. Bizzarri, P. Bizzarri, A. Bondavalli, F. Di Giandomenico, and F. Tarini. Design of flexible and dependable real-time applications. In Pergamon Press, editor, 20th IFAC-IFIP WRTP'95, Ft. Lauderdale, Florida, USA, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

National Conferences

P. Bizzarri, F. Di Giandomenico, A. Bondavalli, and F. Tarini. Un protocollo per la schedulazione distribuita hard real-time. In Congresso annuale A.I.C.A. '95, pages 202-208, Cagliari, Italy, 1995.
[ ABSTRACT and BibTeX Entry ]

1994

International Conferences

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

International Journals

A. Bondavalli, F. Di Giandomenico, and J. Xu. A cost-effective and flexible scheme for software fault tolerance. Journal of Computer Systems Science and Engineering, 8(4):234-244, 1993. CRL Publishing.
[ ABSTRACT and BibTeX Entry ]

1992

Books Contributions

F. Di Giandomenico, M. L. Guidotti, F. Grandoni, and L. Simoncini. Evaluating the efficiency of byzantine agreement algorithms. In D. R. Avresky, editor, Hardware and Software Fault Tolerance in Parallel Computing Systems, pages 227-242. Ellis Horwood Workshops, 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 ]

1990

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

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 ]

P. Lollini, A. Bondavalli, and F. Di Giandomenico. A general modeling approach and its application to a umts network with soft-handover mechanism. Technical report rcl060501, university of firenze, dip. sistemi e informatica, May 2006.
[ ABSTRACT and BibTeX Entry | PDF ]

2005

P. Lollini, A. Bondavalli, and F. Di Giandomenico. Qos evaluation in a umts cell. Technical report rcl050601, university of firenze, dip. sistemi e informatica, June 2005.
[ ABSTRACT and BibTeX Entry | PDF ]

2004

L. Falai, A. Bondavalli, and F. Di Giandomenico. Quantitative Evaluation using neko tool: NekoStat Extensions. Technical report, University of Firenze, Dip. Sistemi e Informatica, Nov 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, A. Bondavalli, F. Di Giandomenico, and S. Porcarelli. Model-based congestion analysis during outage and system reconfiguration in GPRS networks. Technical report rcl040501, university of firenze, dip. sistemi e informatica, May 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

2000

F. Tataranni, S. Porcarelli, F. Di Giandomenico, and A. Bondavalli. Modeling and evaluation of the effects of outages on the quality of service of GPRS network systems. Technical Report B4-2000-028, CNUCE-CNR, December 2000.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

A. Bondavalli and F. Di Giandomenico. The GUARDS approach to safety-critical real-time systems. Ercim News 32, January 1998.
[ ABSTRACT and BibTeX Entry ]

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 ]

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 ]

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

F. Di Giandomenico, A. Bondavalli, and J. Xu. Hardware and software fault tolerance: Adaptive architectures in distributed computing environments. Esprit BRA 6362 PDCS2 Technical Report 173, June 1995.
[ ABSTRACT and BibTeX Entry ]

F. Di Giandomenico, A. Bondavalli, and J. Xu. Hardware and software fault tolerance: Adaptive architectures in distributed computing environments. Internal Report B4-15, IEI CNR, Pisa, Italy, April 1995.
[ ABSTRACT and BibTeX Entry ]

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 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 ]