Dependable Computing Research Lab

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

Papers of Bondavalli, A. (Edited Books)


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:
Bondavalli, A.


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

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

2011

Books Contributions

A. Bondavalli, P. Lollini, and L. Montecchi. Graphical formalisms for modeling critical infrastructures. In Critical Infrastructure Security: Assessment, Prevention, Detection, Response. WIT Press Royal, 2011. In press.
[ ABSTRACT and BibTeX Entry ]

International Journals

M. Dixit, A. Casimiro, P. Veríssimo, P. Lollini, and A. Bondavalli. Adaptare: Supporting automatic and dependable adaptation in dynamic environments. To appear in ACM Transactions on Autonomous and Adaptive Systems, 2011.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik, and H.-P. Schwefel. The hidenets holistic approach for the analysis of large critical mobile systems. To appear in IEEE Transactions on Mobile Computing, 2011.
[ ABSTRACT and BibTeX Entry ]

International Conferences

P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli, and F. Brancati. Evaluation of timestamping uncertainty in a software-based ieee1588 implementation. In 2011 IEEE International Instrumentation and Measurement Technology Conference, May, in press 2011.
[ ABSTRACT and BibTeX Entry ]

A. Ceccarelli, M. Vieira, and A. Bondavalli. A service discovery approach for testing dynamic soas. In IEEE ISORCW-SORT 2011, March 2011. in press.
[ ABSTRACT and BibTeX Entry ]

A. Ceccarelli, L. Vinerbi, L. Falai, and A. Bondavalli. Racme: a framework to support v&v and certification. In IEEE LADC 2011), 2011. In Press.
[ ABSTRACT and BibTeX Entry ]

L. Montecchi, P. Lollini, and A. Bondavalli. Towards a mde transformation workflow for dependability analysis. In 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), 27-29 April 2011. In press.
[ ABSTRACT and BibTeX Entry ]

L. Montecchi, P. Lollini, and A. Bondavalli. Dependability concerns in model-driven engineering. In 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), 28-31 March 2011. In press.
[ ABSTRACT and BibTeX Entry ]

2010

Books Contributions

A. Bondavalli, A. Ceccarelli, and P. Lollini. Architecting and validating dependable systems: Experiences and visions. In Architecting Dependable Systems VII, LNCS, Berlin Heidelberg, January 2010. Springer Berlin / Heidelberg.
[ ABSTRACT and BibTeX Entry ]

International Journals

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. A new approach and a related tool for dependability measurements on distributed systems. volume 59, pages 820-831, 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

F. Brancati and A. Bondavalli. Practical aspects in analyzing and sharing the results of experimental evaluation. In Reliable Distributed Systems, 2010 29th IEEE Symposium on, pages 328 -332, nov 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli, and F. Brancati. Improving robustness of the synchronization quality of ieee1588 nodes. In Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on, pages 36 -41, oct 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, F. Brancati, A. Ceccarelli, and M. Vadursi. Experimental validation of a synchronization uncertainty-aware software clock. Reliable Distributed Systems, IEEE Symposium on, 0:245-254, 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Ceccarelli, J. Gronbaek, L. Montecchi, H.-P. Schwefel, and A. Bondavalli. Towards a framework for self-adaptive reliable network services in highly-uncertain environments. In Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on, pages 184 -193, May 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

J. Gronbaek, H.P. Schwefel, A. Ceccarelli, and A. Bondavalli. Improving robustness of network fault diagnosis to uncertainty in observations. In Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on, pages 229 -232, July 2010.
[ ABSTRACT and BibTeX Entry | PDF ]

L. Vinerbi, A. Bondavalli, and P. Lollini. Emergence: a new source of failures in complex systems. In Third International Conference on Dependability (DEPEND 2010), 2010.
[ ABSTRACT and BibTeX Entry ]

2009

International Journals

A. Bondavalli, P. Lollini, and L. Montecchi. Qos perceived by users of ubiquitous umts: Compositional models and thorough analysis. Journal of Software, 4(7):675-685, 2009.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, A. Ceccarelli, J. Gronbaek, D. Iovino, L. Karna, S. Klapka, T.K. Madsen, M. Magyar, I. Majzik, and A. Salzo. Design and evaluation of a safe driver machine interface. IJPE, 4(2):153-166, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

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

A. Bondavalli, F. Brancati, and A. Ceccarelli. Safe estimation of time uncertainty of local clocks. In Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009, pages 47-52, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, F. Brancati, A. Ceccarelli, and L. Falai. An experimental framework for the analysis and validation of software clocks. In LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS), pages 69-81, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Ceccarelli, A. Bondavalli, and D. Iovino. Trustworthy evaluation of a safe driver machine interface through software-implemented fault injection. In IEEE 15th Pacific Rim International Symposium on Dependable Computing, pages 234-241, 2009.
[ ABSTRACT and BibTeX Entry | PDF ]

2008

Books Contributions

P. Verissimo, N. Neves, M. Correia, A. Abou El Kalam, Y. Deswarte, A. Bondavalli, and A. Daidone. The crutial architecture for critical information infrastructures. In R. de Lemos et al., editor, Architecting Dependable Systems V, LNCS 5135, pages 1-27, Berlin Heidelberg, August 2008. Springer Berlin / Heidelberg.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, P. Lollini, and L. Montecchi. Analysis of user perceived qos in ubiquitous umts environments subject to faults. In 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), volume 0 of LNCS, pages 0-0. Springer Verlag, 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

International Journals

M. Kaaniche, P. Lollini, A. Bondavalli, and K. Kanoun. Modeling the resilience of large and evolving systems. International Journal of Performability Engineering, 4(2):153-168, April 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

International Conferences

I. Majzik, A. Bondavalli, S. Klapka, T.K. Madsen, and D. Iovino. Formal methods in the evaluation of a safe driver-machine interface. In FORMS-FORMAT 2008, October 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, and L. Falai. Assuring resilient time synchronization. In SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Washington, DC, USA, 2008. IEEE Computer Society.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter, and A. Bondavalli. A resilient sil 2 driver machine interface for train control systems. In IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08), June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Analysis of the impact of communication protocols on service quality in ertms automatic train control systems. In Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), pages 0-0, October 9-10 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

M. Kovacs, P. Lollini, I. Majzik, and A. Bondavalli. An integrated framework for the dependability evaluation of distributed mobile applications. In RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), pages 29-38, November 17-19 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli, and P. Veríssimo. A framework for dependable qos adaptation in probabilistic environments. In SAC '08: Proceedings of the 2008 ACM symposium on Applied computing, pages 2192-2196, New York, NY, USA, 2008. ACM.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

International Workshops with no Proceedings

A. Bondavalli and L. Falai. RODS: General framework for rigorous observation of distributed systems. In Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks., June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Ceccarelli, D. Iovino, and A. Bondavalli. A fault injection tool for trustworthy, comparative measurements and analysis. In IEEE SRDS 2008 Workshop, October 5 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Enhancing the nekostat tool with uncertainty, resolution and intrusiveness evaluation capabilities. In DSN 2008 Workshop on Resilience Assessment and Dependability Benchmarking, June 2008.
[ ABSTRACT and BibTeX Entry | PDF ]

2007

Books Contributions

L. Falai and A. Bondavalli. Extending the applicability of the neko framework for the validation and verification of distributed algorithms. In P. Pelliccione, editor, SOFTWARE ENGINEERING AND FAULT TOLERANCE. World Scientific Publishing Co. Pte. Ltd, 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

International Journals

M. Serafini, A. Bondavalli, and N. Suri. Online diagnosis and recovery: On the choice and impact of tuning parameters. IEEE Trans. on Dependable and Secure Computing, 4(4):295-312, 2007.
[ ABSTRACT and BibTeX Entry ]

International Conferences

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Foundations of measurement theory applied to the evaluation of dependability attributes. In DSN-2007 IEEE Int. Conference on Dependable Systems and Networks, June 25-28 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, and L. Falai. A self-aware clock for pervasive computing systems. In The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007), Febraury 7-9 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Towards making nekostat a proper measurement tool for the validation of distributed systems. In Proceedings of The 8th International Symposium on Autonomous Decentralized Systems, March 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2006

International Journals

J. Arlat, A. Bondavalli, B. R. Haverkort, and P. Veríssimo. Guest editorial for the special issue on the 2005 ieee/ifip conference on dependable systems and networks, including the dependable computing and communications and performance and dependability symposia. IEEE Trans. on Dependable and Secure Computing, 3(3):169-171, 2006.
[ ABSTRACT and BibTeX Entry ]

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 ]

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 ]

L. Falai and A. Bondavalli. Experimental evalutation of the QoS of failure detectors on Wide Area Network. In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, june 2005.
[ At publisher ] [ 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, 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 ]

R. Filippini and A. Bondavalli. Modeling and analysis of a scheduled maintenance system: a DSPN approach. The Computer Journal, BCS, 47(6):634-650, 2004.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

A. Bondavalli, E. De Giudici, S. Porcarelli, S. Sabina, and F. Zanini. A freshness detection mechanism for railway applications. In 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'04), pages 292-301, Papeete, Tahiti, French Polynesia, March 03 - 05 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

Books Contributions

I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic dependability analysis of system architecture based on uml models. In R. De Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS 2677, Lecture Notes in Computer Science, pages 219-244. Springer-Verlag, Berlin, Heidelberg, New York, 2003.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

A. Coccoli and A. Bondavalli. Analysis of safety related architectures. In WORDS 2003, 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Capri, Italy, 2003. IEEE Computer Society Press.
[ ABSTRACT and BibTeX Entry | PDF ]

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

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

A. Coccoli, P. Urban, A. Bondavalli, and A. Schiper. Performance analysis of a consensus algorithm combining stochastic activity networks and measurements. In IEEE DSN - International Conference on Dependable Systems and Networks (IPDS Track), pages 551-560, Washington DC, USA, 2002. IEEE Computer Society Press.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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

D. Powell, A. Amendola, J. Arlat, B. Attermeyer, L. Beus-Dukic, A. Bondavalli, P. Coppola, C. Dambra, A. Fantechi, E. Jenn, C. Rabéjac, V. Thevenot, and A. Wellings. Introduction and overview. In D. Powell, editor, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pages 2-26. Kluwer Academic Publishers, Boston, 2001. ISBN 0-7923-7295-6.
[ ABSTRACT and BibTeX Entry ]

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

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 ]

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 ]

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 ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Design validation of embedded dependable systems. IEEE MICRO (special issue on embedded fault tolerant systems), 21(5):52-62, 2001.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. Journal of Computer Systems Science and Engineering, 16(5):265-275, 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 ]

I. Mura and A. Bondavalli. Impact of outages on GPRS service availability. In Fast Abstract, 2001.
[ 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 ]

International Workshops with no Proceedings

A. Bondavalli and R. Filippini. Modelling and analysis of a scheduled maintenance system: a dspn approach. In DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track), goteborg Sweden, 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 ]

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. 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 L. Simoncini. Consensus in asynchronous distributed systems. In IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology, Dallas, TX, USA, June 4-8 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, 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 ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. An integrated and compositional approach to design validation of embedded dependable systems. In IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00), Washington DC, September 21-22 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

D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, and A. Wellings. GUARDS: a generic upgradable architecture for real-time dependable systems. IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems, 10(6):580-599, 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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 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. Coccoli, L. Simoncini, and A. Bondavalli. Analysis and validation of protocols for the realisation of distributed dependable applications in wireless networks. In First Int. Workshop on Networked Group Communication, NGC '99, Pisa, Italy, 1999.
[ ABSTRACT and BibTeX Entry ]

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 ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Integrated validation of dependable systems. In IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, June 27 - July 2 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Towards a discipline of system engineering: Validation of dependable systems. In IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98), pages 144-165. Williamsburg, VA, USA, November 11-13 1999.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli, M. Dal Cin, D. Latella, and A. Pataricza. High-level integrated design environment for dependability (HIDE). In WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems, pages 87-92, Monterey, CA, USA, November 18-20 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 Journals

C. Bernardeschi, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Temporal analysis of data flow control systems. IFAC Automatica, 34(2):169-182, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

I. Majzik and A. Bondavalli. Automatic dependability modelling of systems described in UML. In 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track, pages 29-30, Paderborn, Germany, November 4-7 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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

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 ]

National Conferences

A. Parigi, A. Bondavalli, and E. Martinelli. Progetto e realizzazione di un server internet come ausilio alla organizzazione della didattica. In Didamatica'97, pages 371-374, Siena, Italy, 8-10 Maggio 1997.
[ ABSTRACT and BibTeX Entry ]

1996

International Conferences

E. Nett, H. Streich, P. Bizzarri, A. Bondavalli, and F. Tarini. Adaptive software fault tolerance policies with dynamic real-time guarantees. In WORDS 96, IEEE Second Int. Workshop on Object-oriented Real-time Dependable Systems, pages 78-85, Laguna Beach, California, U.S.A., February 1-2 1996.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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 ]

A. Bondavalli. Design of fault tolerant software. In EDCC-2 Companion Workshop on Dependable Computing, pages 41-51, Gliwice, Poland, 1996. AMK-Press. ISBN 83-906582-0-8.
[ ABSTRACT and BibTeX Entry | PDF ]

B. Antal, A. Bondavalli, Gy. Csertán, I. Majzik, and L. Simoncini. Reachability and timing analysis in data flow networks: a case study. In Euromicro 96, 22nd IEEE Euromicro Conference, pages 193-200, Prague, Czech Republic, September 2-5, 1996, 1996. ISBN 0-8186-7487-3.
[ 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, 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 Journals

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Using process algebras for the semantic analysis of data flow networks. IEICE Trans. on Information and Systems, E78-D(8):959-968, 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 ]

A. Bondavalli, A. Buzzi, and F. Tarini. Uno strumento grafico per la strutturazione di applicazioni tolleranti i guasti. In Congresso annuale A.I.C.A. '95, pages 979-986, Cagliari, Italy, 1995.
[ ABSTRACT and BibTeX Entry | PDF ]

1994

Books Contributions

A. Bondavalli, C. Bernardeschi, and L. Simoncini. The design of distributed, dependable real-time systems using a functional paradigm. In W.A. Halang and A.D. Stoyenko, editors, Real Time Computing, NATO ASI Series F, pages 527-529. Springer Verlag, Saint Martin, Dutch Antilles, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

Gy. Csertán, C. Bernardeschi, A. Bondavalli, and L. Simoncini. Analysis of temporal properties of dataflow networks. In 12th IFAC workshop DCCS 94, pages 153-158, Toledo, Spain, 1994. Elsevier Science.
[ ABSTRACT and BibTeX Entry | PDF ]

A. Bondavalli and L. Simoncini. Dependable dataflow control systems. In MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, pages 5-14, Budapest, Hungary, March 30 - April 1 1994.
[ 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 ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Data-flow networks in the design of safety-critical systems. In ESREL 94, pages 876-881, Le Baule, France, 1994.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi and A. Bondavalli. Semantics analysis of dataflow control systems. In MicroP94, pages 15-24, Budapest, Hungary, 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 ]

International Conferences

A. Bondavalli and L. Simoncini. Functional paradigm for designing dependable large-scale parallel computing systems. In IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93), pages 108-114, Kawasaki, japan, March 30 - April 1 1993.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. Data flow control systems: an example of safety validation. In SAFECOMP '93, pages 9-20, Poznan, Poland, October 27-29 1993. Springer Verlag.
[ ABSTRACT and BibTeX Entry | PDF ]

C. Bernardeschi, A. Bondavalli, and L. Simoncini. From data flow networks to process algebras. In PARLE 93 - LNCS 694, volume 694 of Lecture Notes in Computer Science, pages 740-743. Springer Verlag, Munchen, Germany, June 14-18 1993.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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 ]

A. Bondavalli and L. Simoncini. Structured sofware fault-tolerance with BSM. In 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems, pages 278-286, Taipei, Taiwan, April 14-16 1992. also Esprit PDCS (Predictably Dependable Computing Systems) report 2nd Year Deliverables, 1991.
[ ABSTRACT and BibTeX Entry ]

1991

International Conferences

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 ]

A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini, and P. Zini. A performable BSM architecture. In 5th Int. Conference on Fault-Tolerant Computing Systems, pages 332-347, Nurnberg, Germany, September 1991. Springer-Verlag.
[ ABSTRACT and BibTeX Entry ]

International Workshops with no Proceedings

A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini, and P. Zini. PACS: Performability-achieving computing systems. In EWDC-3 European Workshop on Dependable Computing, Munich, Germany, April 3-5 1991.
[ ABSTRACT and BibTeX Entry ]

National Conferences

A. Bondavalli and L. Nardone. Supporto a tempo di esecuzione ed ambiente per un linguaggio dataflow esteso. In 30th Congresso annuale A.I.C.A., pages 1061-1075, Siena, Italy, 1991.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini, and P. Zini. Pacs: Performability-achieving computing systems. In 30th Congresso annuale A.I.C.A., pages 1025-1028, Siena, Italy, 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

A. Bondavalli and L. Simoncini. Failures classification with respect to detection. In 2nd. IEEE Workshop on Future Trends in Distributed Computing Systems, pages 47-53, Cairo, Egypt, September 30 - October 2 1990. also Esprit PDCS (Predictably Dependable Computing Systems) report 1st Year Deliverables, 1990.
[ ABSTRACT and BibTeX Entry ]

1989

Books Contributions

A. Bondavalli, N. De Francesco, D. Latella, and G. Vaglini. Shared abstract data types: an algebraic methodology for their specification. In 2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364, volume 364 of Lecture Notes in Computer Science, pages 53-67. Springer-Verlag, Visegrad, Hungary, June 26-30 1989.
[ ABSTRACT and BibTeX Entry ]

International Journals

A. Bondavalli and L. Simoncini. Data-flow-like model for robust computations. Journal of Computer Systems Science and Engineering, 4(3):176-184, 1989. Butterworths, July.
[ ABSTRACT and BibTeX Entry ]

International Conferences

A. Bondavalli, E. Gregori, and L. Lenzini. Proposals for improving the FASNET performances. In 13th. Information Technologies Conference SARAJEVO JAHORINA 1989'', pages 112-1-112-9, Sarajevo, Yugoslavia, March 20-24 1989.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli, N. De Francesco, D. Latella, and G. Vaglini. Using algebraic specifications for data types shared among concurrent transactions. In 13th. Information Technologies Conference SARAJEVO JAHORINA 1989'', pages 130-1-130-10, Sarajevo, Yugoslavia, March 20-24 1989.
[ ABSTRACT and BibTeX Entry ]

1988

International Conferences

A. Bondavalli and L. Simoncini. Modelling robust computations in a Data-Flow-like style. In 1st IEEE Workshop on Future Trends of Distributed Computing Systems, pages 252-261, Hong Kong, September 14-16 1988.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and E. Gregori. Concurrency control in OSI transactional environments. In IFIP TC6/TC8 Open Symposium on Network Information Processing Systems, pages 69-77, Sofia, Bulgaria, May 1988. North Holland.
[ ABSTRACT and BibTeX Entry ]

A. Bondavalli and E. Gregori. OSIRIDE and transactions. In 2nd IEEE Int. Zurich Seminar on Digital Communications, pages 261-266, Zurich, Switzerland, March 8-10 1988.
[ ABSTRACT and BibTeX Entry ]

National Conferences

T. Belli, C. Bernardeschi, A. Bondavalli, and D. Latella. Costruzione gerarchica di tipi di dati astratti condivisi. In 27th Congresso annuale A.I.C.A., pages 165-180, Cagliari, Italy, September 28-30 1988.
[ ABSTRACT and BibTeX Entry ]

1987

International Workshops with no Proceedings

A. Bondavalli and L. Simoncini. Modelling robust computations in a Data-Flow-like style. In Workshop on Fault Tolerance in Parallel and Distributed Computing (without Proceedings), San Diego, California, 1987. also Workshop on Fault Tolerance in Parallel and Distributed Computing, San Diego, California, Dec. 7-8,1987 and EWDC-1 1st European Workshop on Dependable Computing, Toulouse, Francia, March 1988. (Workshps without Proceedings).
[ ABSTRACT and BibTeX Entry ]

National Conferences

A. Bondavalli and L. Simoncini. Un modello per la descrizione di computazioni robuste data-flow-like. In 26th Congresso annuale A.I.C.A., pages 163-182, Trento, Italy, September 30 - October 2 1987.
[ ABSTRACT and BibTeX Entry ]

Edited Books

2007

A. Bondavalli, F. V. Brasileiro, and S. Rajsbaum, editors. Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, volume 4746 of Lecture Notes in Computer Science. Springer, 2007.
[ ABSTRACT and BibTeX Entry ]

2002

A. Bondavalli and P. Thèvenod-Fosse, editors. Dependable Computing - EDCC-4 LNCS 2485. Lecture Notes in Computer Science. Springer Verlag, Berlin, Heidelberg, New York, 2002.
[ ABSTRACT and BibTeX Entry | PDF ]

Reports

2011

L. Montecchi, P. Lollini, and A. Bondavalli. An intermediate dependability model for state-based dependability analysis. Technical Report rcl101115 v2.1, University of Florence, Dip. Sistemi Informatica, RCL group, January 2011.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2008

A. Bondavalli, A. Ceccarelli, and L. Falai. Reliable and self-aware clock: complete description. Technical Report rcl080508, University of Florence, Dip. Sistemi Informatica, RCL group, May 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

P. Lollini, L. Montecchi, M. Magyar, I. Majzik, and A. Bondavalli. Assessing the impact of cyclic/acyclic evc-dmi interactions in automatic train control systems. Technical Report rcl080401, University of Florence, Dip. Sistemi Informatica, RCL group, April 2008.
[ At publisher ] [ ABSTRACT and BibTeX Entry | PDF ]

2007

P. Lollini, L. Montecchi, and A. Bondavalli. On the evaluation of hidenets use-cases having phased behavior. Technical Report RCL-071201, Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica, 12 2007.
[ ABSTRACT and BibTeX Entry | PDF ]

2006

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 ]

2001

R. Filippini and A. Bondavalli. Modeling and analysis of a scheduled maintenance system: a DSPN approach. Technical Report CNUCE-B4-2001-017, CNUCE-CNR, 2001.
[ 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 ]

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 ]

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. Majzik and A. Bondavalli. On high level dependability modeling in HIDE. Technical note Project Reference HIDE/T1.2/PDCC/4/v1, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

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 ]

D. Powell, C. Rabéjac, and A. Bondavalli. Alpha-count mechanism and inter-channel diagnosis. GUARDS Project - PDCC Technical Note Report GUARDS/I1SA1/TN/5009 version E, 1998.
[ ABSTRACT and BibTeX Entry | PDF ]

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 ]

I. Majzik and A. Bondavalli. Dependability analysis in the HIDE framework. Technical note Project Reference HIDE/T1.2/PDCC/1/v1, 1998.
[ ABSTRACT and BibTeX Entry ]

D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac, and A. Wellings. GUARDS: a generic upgradable architecture for real-time dependable systems. GUARDS Project Report GUARDS/MD2A4/TN/5011 version A, 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, 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 ]

A. Bondavalli and F. Di Giandomenico. The GUARDS approach to safety-critical real-time systems. Ercim News 32, 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 ]

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

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 ]

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 ]

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 ]

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