Login



Andrea Bondavalli

Position: Full Professor Bondavalli, Andrea
Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Description:

Full Professor at University of Florence

Head of RCL Group

Addresses


 DSI

Dipartimento di Matematica e Informatica
viale Morgagni, 65
50134 - Firenze, Italy
 
Phone: +39 055 2751481

Email: alt


 Home

Home
Via B. Gigli n. 27
56021 - Cascina (PI), Italy
 
Phone :+39 3294309838


CV

 


 

Short CV

 

Andrea Bondavalli is a Full Professor of Computer Science at the University of Firenze. Previously he has been a researcher and a senior researcher of the Italian National Research Council, working at the CNUCE Institute in Pisa. His research activity is focused on Dependability and Resilience of critical systems and infrastructures. In particular he has been working on safety, security, fault tolerance, evaluation of attributes such as reliability, availability and performability. His scientific activities have originated more than 220 papers appeared in international Journals and Conferences. Andrea Bondavalli supports as an expert the European Commission in the selection and evaluation of project proposals and regularly consultes companies in the application field. Andrea Bondavalli led various national and European projects such as the Italian MIUR PRIN “DOTS-LCCI" and "TENACE" and the European projects ESPRIT BRA 3092 PDCS, 6362 PDCS-2, ESPRIT 20716 GUARDS, ESPRIT 27439 HIDE, IST-FP6-STREP-26979 HIDENETS, TST5-CT-2006-031413 SAFEDMI e FP7 – 216295 CA AMBER, FP7 SST-2008-234088 ALARP, the ARTEMIS-2012-1-333053 “CONCERTO” and thePOR CReO 2007-2013, linea di intervento 1.5.a - 1.6 “SECURE”. Now is leading the FP7-ICT-2013-10-610535 “AMADEOS” (coordinator), the FP7-PEOPLE-2012-IAPP-324334 “CECRIS” (Coordinator), the PIRSES-GA-2013-612569 “DEVASSES”. Andrea Bondavalli participates to(and has been chairing) the program committee in several International Conferences such as IEEE FTCS, IEEE SRDS, EDCC, IEEE HASE, IEEE ISORC, IEEE ISADS, IEEE DSN, SAFECOMP. He is the chair of the Steering Committees of IEEE SRDS and a member of the editorial board of the International Journal of Critical Computer-Based Systems. Andrea Bondavalli is a member of the IEEE, the IFIP W.G. 10.4 Working Group on "Dependable Computing and Fault-Tolerance".

 


 

Complete CV

PERSONAL DATA
Andrea Bondavalli was born in Reggio Emilia on novembre 26, 1960. Married with Rosaria Esposito. Three children: Matilde, Ludovica and Lorenzo. Italian citizen. URL WebServ http://rcl.dsi.unifi.it
STUDIES
• 1986: Diploma di Laurea in Computer Science - University of Pisa
• 1987: CNR Fellowship in TECNOLOGIA DELLA INFORMAZIONE Progetto RETI DI CALCOLATORI awarded at CNR-CNUCE.
• April 91 - February 92: CNR - N.A.T.O. Advanced Fellowship Program in Computer Science and Technology hosted by the Computing Laboratory - University of Newcastle upon Tyne (UK) – supervisor Prof. Brian Randell
PRESENT POSITIONS
December 2015- present: Full Professor INF/01 University of Florence

PAST POSITIONS
- February 2000- November 2015 Associate Professor INF/01 University of Florence
- 2007-2010 Associate Researcher at CNR- ISTI
- August 2005: visiting professor Budapest University of Technology and Economics visiting Prof. Andras Pataricza
- 2003-2006 external collaborator at CNR- ISTI
- February 2002: Visiting Professor, EPFL, Lausanne (CH)- Prof. Andrè Schiper.
- 2000-2002 external collaborator at CNR- CNUCE
- March 1999 – January 2000 ‘Primo Ricercatore’ at CNUCE - CNR
- November 1988 - March 1999 ‘Collaboratore Tecnico Professionale’ and then ‘Ricercatore’ at CNUCE Institute of the Italian CNR.
- April 91 - February 92: Guest member of Staff, Computing Laboratory Universiy of Newcastle upon Tyne (UK) in the group of Prof. Brian Randell.

TEACHING
In the academic year 2015-2016 Andrea Bondavalli teaches:
- ‘Architetture degli Elaboratori’ (computer Architectures) of the 1st level degree in Computer Science
- ‘Analisi Quantitativa dei Sistemi’, fundamental course for the 2nd level degree in Computer Science
- ‘Sistemi Critici e Real Time’, for the 2nd level degree in Computer Science
TEXT BOOK
Book for the course "Analisi Quantitativa di Sistemi (AQS)"
• A. Bondavalli (ed.), "L'analisi Quantitativa dei Sistemi Critici", Esculapio Bologna, 2011 http://www.editrice-esculapio.com/index.php/bondavalli-analisi-quantitativa-dei-sistemi-critici/ ISBN: 8874884311
• A. Bondavalli, S. Boukenak, H. Kopetz (Eds.) Systems of Systems - The AMADEOS BOOK,
. Springer, to be published by November 2016

RESEARCH INTERESTS
Dependable and Resilient computing; Embedded Real-time systems, Cyber Physical Systems, Systems of Systems; Critical Infrastructure protection, Safety, Cyber Security, Verification&Validation, Quantitative evaluation and assessment of QoS.

RESEARCH PROJECTS
Currently Andrea Bondavalli is scientific responsible and principal investigator of the following research and industrial projects
• PIRSES-GA-2013-612569 (FP7-PEOPLE) “DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS”
• FP7-ICT-2013-10-610535 “AMADEOS: Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems” (coordinator)
• FP7-PEOPLE-2012-IAPP-324334 “CECRIS: CErtification of CRItical Systems” (Coordinator)
• JPI Urban Europe 2nd Joint Call 2013- 4211064 IRENE: Improving the Robustness of Urban Electricity Networks

Moreover he has been scientific responsible and principal investigator of the following research and industrial projects
• ARTEMIS-2012-1-333053 “CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems”
• MIUR PRIN 2010-11 " TENACE: Protezione delle Infrastrutture Critiche Nazionali da Minacce Cibernetiche“
• POR CReO 2007-2013, linea di intervento 1.5.a - 1.6 “SECURE!: Smart platform based on crowdsourcing and crowdsensing technologies for safety and for the management of crisis and emergencies”
• ARTEMIS-2008-1-100022 CHESS Composition with Guarantees for High-integrity Embedded Software Components Assembly
• EU FP7-SST-2008-RTD-1-234088 ALARP—A railway automatic track warning system based on distributed personal mobile terminals
• MIUR PRIN 2008 "DOTS-LCCI: ‘Sistemi Middleware affidabili per le infrastrutture critiche basate su componenti off-the-shelf’
• 2009-2011 SILFI (Sistema Intelligente per la Lotta al Fuoco Integrata) Toscany Region BANDO UNICO R&S, anno 2008 – Linea di attività B (POR CREO, Attività 1.5)
• 2008-2011 EU FP7-ICT-2007.8.6-231167 CONNECT Emergent Connectors for Eternal Software Intensive Networked Systems
• 2008-2010 EU IST-2007-FP7-CA-216295 AMBER (Assessing, Measuring and Benchmarking Resislience).
• 2006-2009 EU IST-FP6-STREP-26979 HIDENETS (HIghly DEpendable ip-based NETworks and Services). http://www.hidenets.aau.dk/
• 2006-2009 EU IST-2004-27513 CRUTIAL (CRitical Utility InfrastructurAL Resilience). http://crutial.cesiricerca.it/
• 2006-2008 EU TST5-CT-2006-031413 SAFEDMI (Safe Driver Machine Interface (DMI) for ERTMS automatic train control). http://www.safedmi.org/
• 2005-2006 Research Contracts between the DSI Department of the University of Florence and SELEX Communications S.P.A
• 2005-2006 Analisi e Tuning di Protocolli con NekoStat Research Contract between the DSI Department of the University of Florence and Ansaldo Segnalamento Ferroviario
• 2002- 2005 EU IST-2001-38229 CAUTION++ - Capacity and network management platform for increased utilization of wireless systems of next generation++.
• 2002- 2004 ARGENTO - Architettura generica, sicura e real-time per applicazioni ferroviarie Research Contract between the DSI Department of the University of Florence and Ansaldo Segnalamento Ferroviario.
• 2002-2003 INTEGRA: ANALISI DELLE ARCHITETTURE VITALI Research Contract between the DSI Department of the University of Florence and Ansaldo Segnalamento Ferroviario
• 2002-2003 MURST Project: Strumenti, Ambienti e Applicazioni Innovative per la Societa' dell'Informazione , SOTTOPROGETTO 4: Architetture Software ad Alta Qualita' di Servizio per Global Computing su Cooperative Wide Area Networks
• 2001-2003 'Dependability Evaluation of Object-Oriented Systems (DEVOS) Research Bilateral Project between CNUCE and the Technical University of Budapest (Hungary) funded by the Italian Foreign Ministry.
• 2000-2001 'Disponibilita' di Sistemi per reti wireless financed by MOTOROLA ITALIA
• 1999-2000 Supporto alle analisi quantitative della sicurezza secondo le metodologie proposte in ambito GUARDS. Research Contract between CNUCE-CNR and Ansaldo Segnalamento Ferroviario
• 1999 progetto “Sistemi in tempo reale cooperativi dependeble” - DECOR, in the cooperation framework between CNR and GMD.
• 1998 ` ESPRIT LTR 27439 HIDE (High-level Integrated Design Environment for Dependability).
• 1996-1999` ESPRIT 20716 'GUARDS' (Generic Upgradable Architecture for Real-Time Dependable Systems).
• 1997 National Coordinator del of the CNR projetc del Comitato 12 'Scienze e tecnologie dell'informazione' del CNR Progettazione ed analisi di Sistemi di Elaborazione con elevati requisiti di Dependability - PASDEP.
• 1994-1996. project ‘Coordinato’ del Comitato 12 'Scienze e tecnologie dell'informazione' del CNR “Metodologie, architetture, ambienti di progetto e valutazione per sistemi di elaborazione distribuiti.”
• 1993. project ‘speciale’ of the CNR “Ambienti di sviluppo e architetture per la realizzazione di sistemi di elaborazione distribuiti”
• 1992- 1995 ESPRIT BRA 6362 'PDCS-2'(Predictably Dependable Computing Systems 2).

COOPERATION WITH INDUSTRIES AND PROFESSIONAL ACTIVITIES
Andrea Bondavalli has long cooperation relationships with industries and other public organizations (as the European Commission) and professional organizations. This cooperation develops through activities such as participation to proposal selection committees, project monitoring and revision, and participation to consultation panels for the definition of research programmes, participation to standardization committees and lastly as industrial consultant.
In addition Andrea Bondavalli has promoted the establishment of a startup company “ResilTech S.r.l.”, which performs consulting activities in design and V&V for critical systems (he is acting as consultant for the strategy for the research activities). Resiltech s.r.l., founded in the last quarter of 2007, has now about 25 employees and collaborator . ResilTech is an academic SPINOFF of the University of Florence. http://www.resiltech.com/

• 2015 Expert for the Eurpean Commission for the selection of project proposals in H2020 (ICT, Security)
• 2008-2012 Expert for the Eurpean Commission for the selection of project proposals in the 7th framework (ICT, Trust&Security; Embedded Systems)
• 2012- Expert for the Romanian National Council for Research and Development, -- evaluator for Partnership Programme - Joint Applied Research Projects - PCCA 2011.
• 2010 Expert for the evaluation of project proposals for the Division for Physical Sciences of the Netherlands Organisation for Scientific Research - peer review for research proposals submitted to the Innovational Research Incentives Scheme within the scope of the Vidi Scheme.
• 2010-current Expert for the Eurpean Commission for the evaluation and assessment of the TERESA project
• 2005-2007 Esperto della Eurpean Commission for the selection of project proposals in the 6th framework (ICT, Trust&Security; Embedded Systems)
• 2004 Consultant of the EEIG ERTMS Users Group for the evaluation and comparison of two standard proposals for the safe interface RBC-RBC and final selection (in the framework of the European standardization framework for the High Speed railway).
• 2001-2004 Expert for the Eurpean Commission for the evaluation and assessment of the DBench and SAFEPC projects
• 1994 - 2000 representative of CNUCE-CNR in the scientific council of PDCC (Pisa Dependable Computing Center).

ACADEMIC ACTIVITIES
Andrea Bondavalli has been part of the Boards of the Doctoral schools :
2016: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA - Ciclo: 32
2015: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA - Ciclo: 31
2014: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA - Ciclo: 30
2013: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA" - Ciclo: 29
2012: Università di PISA Titolo: "INFORMATICA" - Ciclo: XXVIII
2009: Università di FIRENZE: "INFORMATICA ED APPLICAZIONI" Ciclo: XXV

PhD schools
Andrea Bondavalli has been one of the directors of
-Winter School: “Hot Topics in Secure and Dependable Computing for Critical Infrastructures”, Jan. 15-19 2012, Cortina D'Ampezzo, Italy
-SecureCI2016 “Winter School: Securing Critical Infrastructures” January 17th - 21st, Cortina d'Ampezzo, Italy

Currently Andrea Bondavalli is the Advisor of the PhD students
• Tommaso Zoppi - Matematica, Informatica, Statistica - Universita di Firenze
• Enrico Schiavone - Matematica, Informatica, Statistica - Universita di Firenze

He has been advisor of
• Ivan Mura - Computer Engineering - University of Pisa
• Andrea Coccoli - Computer Engineering - University of Pisa);
• Domenico Cotroneo - Computer Engineering – University of Napoli Federico II;
• Stefano Porcarelli - Computer Engineering – University of Pisa ;
• Paolo Lollini - Computer Science – University of Firenze ;
• Lorenzo Falai - Computer Engineering - University of Firenze;
• Alessandro Daidone - Computer Science - University of Firenze;
• Francesco Brancati - Computer Science - University of Firenze;
• Andrea Ceccarelli – Computer Engineering - University of Firenze
• Leonardo Montecchi - Computer Engineering - University of Firenze
• Nicola Nostro - - Computer Engineering - University of Firenze

He has been a member of the PhD juries:
• Mourad Rabah - L'Institut National Polytechnique de Toulouse 2000;
• Claudia Betous-ALMEIDA - L'Institut National Polytechnique de Toulouse - 2002;
• Peter Urban - L'Ecole Polytechnique Federale de Lausanne - 2003;
• Stefan Schemmer - University of Magdeburg - 2004;
• Marco Paulo Amorim Vieira - Universidade de Coimbra - Portugal- 2005;
• Ilir Gashi, Centre for Software Reliability, City University London United Kingdom - 2007;
• Thibault Renier - Aalborg University - 2008;
• Anders Nickelsen - Aalborg University - 2010;
• ERLING Matthiesen Aalborg University 2012
• Nuno Laranjero presso La Universidade de Coimbra - Portugal- 2012
• Nuno Antunes - Universidade de Coimbra - Portugal- 2014

He hosted in his research group for long term visits several colleagues and post-docs
- Edgar Nett
- Hans Peter Schwefel
- Andras Pataricza
- Istvan Majzik
- Henrique Madeira
- Marco Vieira
- Cecilia Rubira
- Ariadne de Carvalho

KeYNotes:
Andrea Bondavalli held the following Keynote Speeches
• “HIDENETS: Highly DEpendable ip-based NETworks and Services” a ‘ The Inaugural International Workshop on Dependability in Service-oriented Grids’ associato a IEEE SRDS-25 Leeds Oct. 2005.
• “Model based resilience assessment of critical information infrastructures” a SAFECOMP 2011 Naples, Italy 19 / 21 September 2011
• “ALARP- A railway automatic track warning system based on distributed personal mobile terminals” a ‘Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESECLCCI) ‘ associato a Safecomp 2012, Magdeburg, sept. 2012.
• “Dependability modeling and analysis methods integrated in model-driven industrial architectural frameworks” a ‘ The International Workshop on Model-Based Design for Cyber-Physical System (MB4CP 2015)’ associato a DSN2015, Rio de Janeiro, June 2015.


SCIENTIFIC EDITORIAL BOARDS
Andrea Bondavalli is a member of the editorial board of the International Journal of Critical Computer-Based Systems-IJCCBS. Inderscience publisher; ISSN online: 1757-8787, ISSN print: 1757-8779

GUEST EDITOR
• IEEE Transactions on Computers, Special issue on 'Reliable distributed Systems'
• IEEE Transactions on Dependable and Secure Computing, Special issue on 'DSN-DCCS05'

STEERING COMMITTEE OF INTERNATIONAL CONFERENCES
• SRDS- IEEE Symposium on Reliable Distributed Systems MEMBER since 2006 and CHAIR for the term 2012-2015
• LADC- Latin-American Dependable Computing Conference MEMBER from 2007 to 2012

CONFERENCE CHAIR
General chair
• SRDS-22 - 22nd IEEE Symposium on Reliable Distributed Systems (2003)
• Safecomp-33- 33rd International Conference on Computer Safety, Reliability and Security(2014)

Vice-General chair
• DSN-04 - IEEE International Conference on Dependable Systems and Networks (2004)
• HASE-05 - 10th IEEE International High Assurance Systems Engineering Symposium (2005)

WORKSHOP CHAIR
• “International Workshop on Resilience Assessment and Dependability Benchmarking” (RADB08) associated to DSN08 The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks " Anchorage, Alaska, USA, June 2008.
• The second workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDSC ,2010), In conjunction with IEEE ICDCS 2010, Genoa Italy June 2010.

CONFERENCE COORDINATOR
DSN-09 - IEEE International Conference on Dependable Systems and Networks (2009)

PROGRAM CHAIR
• SRDS-19 - 19th IEEE Symposium on Reliable Distributed Systems (2000)
• HASE'01 - 6th IEEE International High Assurance Systems Engineering Symposium (2001)
• EDCC-4 - 4th European Dependable Computing Conference (2002)
• ISADS'03 - 6th IEEE International Symposium on Autonomous Decentralized Systems (2003)
• DSN'05 - IEEE International Conference on Dependable Systems and Networks - DCC track(2005)
• LADC 07 - 3rd Latin-American Dependable Computing Conference(2007)
• Safecomp-33- 33rd International Conference on Computer Safety, Reliability and Security(2014)

PROGRAM COMMITTEE MEMBER: (NOT COMPLETE)
• FTCS - IEEE International Symposium on Fault-Tolerant Computing Systems (1996, 1997, 1998)
• DSN - IEEE International Conference on Dependable Systems and Networks - DCC Track and PDS Track 2001, 2002, 2003, 2006, 2007, 2008, 2010, 2012, 2013, 2014, 2015)
• SRDS - IEEE Symposium on Reliable Distributed Systems (1995, 2001, 2002, 2004, 2006, 2007)
• EDCC - European Dependable Computing Conference (1996, 1999, 2005, 2006, 2008, 2012, 2015, 2016)
• LADC - Latin-American Dependable Computing Conference (2003, 2005, 2001)
• SAFECOMP - International Conference on Computer Safety, Reliability and Security (2001, 2002, 2003, 2004, 2005, 2006, 2011, 2012, 2013, 2015, 2016)
• ISORC - IEEE International Symposium on Object-oriented Real-time Distributed Computing (1998, 1999, 2000, 2001, 2008)
• HASE - IEEE International Conference on High Assurance Systems Engineering (1998, 1999, 2000, 2002, 2004, 2007, 2008, 2010, 2012, 2014)
• ISADS -IEEE International Symposium on Autonomous Decentralized Systems (1999, 2005)
• WORDS - IEEE International Workshop on Object-oriented Real-time Dependable Systems (2002, 2003, 2005, 2006, 2007)
• ISAS International Service Availability Symposium (2004, 2005, 2006, 2007)
• EWDC - European Workshop on dependable Computing (1994, 1997,1999)
• WADS - Workshop on Architecting Dependable Systems (2002, 2003, 2004, 2005, 2006, 2007)
• ACM SAC - DADS track (2010, 2012, 2013, 2016)
• DCCS'94 - 12th IFAC Workshop on Distributed Computer Control Systems (1994)
• FTDCS-97 - IEEE Intl. Workshop on Future Trends of Distributed Computing Systems (1997)
• IFIP DAIS 2015 - 15th IFIP International Conference on Distributed Applications and Interoperable Systems (2015, 2016)
• ISSRE - IEEE International Symposium on Software Reliability Engineering (2016)
MEMBERSHIPS
Andrea Bondavalli is a member of
• the IFIP Working Group 10.4 on DEPENDABLE COMPUTING AND FAULT TOLERANCE (from 2000)
• The IEEE Computer Society and the IEEE (from 1996)

SCIENTIFIC PAPERS
He has published more than 230 papers ; more of 45 of which in prestigious International journals and 150 papers in international referred conferences and workshops.
Lists ( almost complete) of his papers , besides the institutional website FLORE
https://flore.unifi.it/simple-search?query=&;rpp=10&sort_by=bi_sort_1_sort&order=ASC&filter_field_1=author&filter_type_1=equals&filter_value_1=BONDAVALLI%2C+ANDREA#.VXmn80bYzAE
can be found on
DBLP: http://dblp.uni-trier.de/pers/hd/b/Bondavalli:Andrea
Scholar: http://scholar.google.it/citations?user=rRB5ge4AAAAJ&;hl=it
The Web site of the RCL group: http://rcl.dsi.unifi.it/index.php?option=com_jresearch&;view=publicationslist&task=list&modelkey=default

CITATIONS : Andrea Bondavalli has by august 2016
- Google Scholar: more than 3050 citations and an h-index of 27.
- SCOPUS: more than 1170 citations and an h-index of 17. (165 papers)

Recent Publications

  • Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". The 12th International Conference on Critical Information Infrastructures Security (CRITIS). 2017. [More] 
  • Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous Biometric Verification for Non-Repudiation of Remote Services". ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. 2017. [More] 
  • Conference M. Gharib, P. Lollini and A. Bondavalli. "Towards an Approach for Analyzing Trust in Cyber-Physical-Social Systems". The12th System of Systems Engineering Conference (SoSE'17). 2017. pp. 1-6. [More] 
  • Conference M. Gharib, P. Lollini and A. Bondavalli. "A Conceptual Model for Analyzing Information Quality in System-of-Systems". The12th System of Systems Engineering Conference (SoSE'17). 2017. pp. 1-6. [More] 
  • Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Risk Assessment of a Biometric Continuous Authentication Protocol for Internet Services". Proceedings of the First Italian Conference on Cybersecurity (ITASEC17). 2017. pp. 53-65. [More] 
  • Journal T. Basso, L. Montecchi, R. Moraes, M. Jino and A. Bondavalli. "PrivAPP: An Integrated Approach for the Design of Privacy-Aware Applications". 2017. [More] 
  • Journal T. Zoppi et al. "Labelling Relevant Events to Support the Crisis Management Operator", Journal of Software: Evolution and Process. 2017. [More] 
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Exploring Anomaly Detection in Systems of Systems". Symposium on Applied Computing (SAC) - "Software Architecture: Theory, Technology, and Applications" track. Springer ed. 2017. [More] 
  • Conference E. Schiavone, A. Ceccarelli, A. Bondavalli and A. M. Carvalho. "Usability Assessment in a Multi-biometric Continuous Authentication System". Proceedings of the 7h Latin-American Symposium on Dependable Computing, LADC 2016. 2016. [More] 
  • Conference R. Bernini, A. Bondavalli, P. Lollini and L. Montecchi. "Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes". Proceedings of the 12th European Dependable Computing Conference (EDCC2016). 2016. pp. 197-207. [More] 
  • Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous Authentication and Non-repudiation for the Security of Critical Systems". PhD Forum of the 35th IEEE Symposium on Reliable Distributed Systems, SRDS. 2016. [More] 
  • Journal N. R. Veeraragavan, L. Montecchi, N. Nostro, R. Vitenberg, H. Meling and A. Bondavalli. "Modeling QoE in Dependable Tele-immersive Applications: A Case Study of World Opera", IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS), Vol. 27, September, 2016, pp. 2667-2681. [More] 
  • Conference J. Eleuterio, F. Gaia, A. Bondavalli, P. Lollini, G. Rodrigues and C. Rubira. "On the Dependability for Dynamic Software Product Lines - A Comparative Systematic Mapping Study". Proc. of the 42nd Euromicro Conference series on > Software Engineering and Advanced Applications (SEAA 2016). 2016. [More] 
  • Conference L. Montecchi, A. Refsdal, P. Lollini and A. Bondavalli. "A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain". Proceedings of the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16). 2016. pp. 275-286. [More] 
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Challenging Anomaly Detection in Complex Dynamic Systems". Proceedings of 2016 IEEE 35th Symposium on Reliable Distributed Systems. 2016. pp. 2. [More] 
  • Conference N. Nostro, D. Iacono, A. Ceccarelli and A. Bondavalli. "Towards Failure and Intrusion Detection in Systems of Systems: Challenges and an Approach". ISORC-SORT 2016. 2016. [More] 
  • Journal A. Bondavalli, A. Ceccarelli, P. Lollini, L. Montecchi and M. Mori. "System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions", IEEE Systems Journal, Vol. To appear. 2016. [More] 
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Context-Awareness to improve Anomaly Detection in Dynamic Service Oriented Architectures". Computer Safety, Reliability and Security (SAFECOMP 2016). A. Skavhaug, J. Guiochet and F. Bitsch eds. 2016. pp. 145-158. [More] 
  • Conference M. Mori, A. Ceccarelli, T. Zoppi and A. Bondavalli. "On the impact of emergent properties on SoS security". 7th International Conference on System of Systems Engineering (SoSE). 2016. [More] 
  • Journal A. Bondavalli, F. Brancati, A. Ceccarelli, D. Santoro and M. Vadursi. "Differential analysis of Operating System indicators for anomaly detection in dependable systems: An experimental study", Measurement, Vol. 80. 2016, pp. 229 - 240. [More] 
  • Conference N. Nostro et al.. "A Multi-Criteria Ranking of Security Countermeasures". Proceedings of the 31st Annual ACM Symposium on Applied Computing. 2016. pp. 530-533. [More] 
  • Conference M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli and B. Frömel. "A holistic viewpoint-based SysML Profile to Design Systems-of-Systems". IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016. 2016. [More] 
  • Conference T. Zoppi et al.. "Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy". IEEE 17th International Symposium on High Assurance Systems Engineering (HASE). 2016. pp. 228-235. [More] 
  • Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous User Identity Verification for Trusted Operators in Control Rooms". Algorithms and Architectures for Parallel Processing - {ICA3PP} International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. 2015. pp. 187-200. [More] 
  • Technical Report L. Montecchi, N. Nostro, N. R. Veeraragavan, R. Vitenberg, H. Meling and A. Bondavalli. "Stochastic Activity Networks model for the evaluation of the World Opera system". University of Florence, RCL Group. Technical Report RCL131001. 2015. [More] 
  • Conference M. A. Rossi, P. Lollini, A. Bondavalli, F. B. de Oliveira and M. Corrêa. "ZarzirBird Project: Modeling RPAS Dynamics for Load Stability". Proc. of the IEEE/AIAA 34th IEEE Digital Avionics Systems Conference (DASC 2015). 2015. [More] 
  • Conference T. Zoppi, A. Bondavalli, A. Ceccarelli and M. Itria. "A Multi-Layer Anomaly Detector for Dynamic Service-Based Systems". Computer Safety, Reliability, and Security. 2015. pp. 166-180. [More] 
  • Conference F. Brancati et al.. "Cost Prediction for V&V and Certification Processes". Dependable Systems and Networks Workshops (DSN-W), 2015 IEEE International Conference on. 2015. pp. 57-62. [More] 
  • Conference V. Bonfiglio, L. Montecchi, I. Irrera, F. Rossi, P. Lollini and A. Bondavalli. "Software Faults Emulation at Model-Level: Towards Automated Software FMEA". 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015). 2015. pp. 133-140. [More] 
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System". International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE'15). 2015. pp. 33-38. [More] 
  • Conference H. Kopetz, O. Höftberger, B. Frömel, F. Brancati and A. Bondavalli. "Towards an understanding of emergence in systems-of-systems". System of Systems Engineering Conference (SoSE), 2015 10th. 2015. pp. 214-219. [More] 
  • Journal A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "An OS-level Framework for Anomaly Detection in Complex Software Systems", IEEE Transactions on Dependable and Secure Computing, Vol. 12, May-June 1, 2015, pp. 366-372. [More] 
  • Journal A. Ceccarelli, L. Montecchi, F. Brancati, P. Lollini, A. Marguglio and A. Bondavalli. "Continuous and Transparent User Identity Verification for Secure Internet Services", IEEE Transactions on Dependable and Secure Computing, Vol. 12, May-June, 2015, pp. 270-283. [More] 
  • Conference A. Ceccarelli, M. Mori, P. Lollini and A. Bondavalli. "Introducing Meta-Requirements for Describing System of Systems". High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. 2015. pp. 150-157. [More] 
  • Journal L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso and A. Bondavalli. "Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform", Electronic Notes in Theoretical Computer Science, Vol. 310, January, 2015, pp. 113-133. [More] 
  • Journal A. Ceccarelli and A. Bondavalli. "On trustworthy measurements when testing dependable systems: a discussion and experiences", International Journal of Critical Computer-Based Systems, Vol. 6. 2015, pp. 154-170. [More] 
  • Conference V. Bonfiglio, L. Montecchi, F. Rossi, P. Lollini, A. Pataricza and A. Bondavalli. "Executable Models to Support Automated Software FMEA". Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering (HASE'15). 2015. pp. 189-196. [More] 
  • Conference N. Nostro, A. Bondavalli and N. Silva. "Adding Security Concerns to Safety Critical Certification". Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on. 2014. pp. 521-526. [More] 
  • Conference M. A. Rossi, P. Lollini, A. Bondavalli, I. R. de Oliveira and J. R. de Almeida Junior. "A Safety Assessment on the Use of CPDLC in UAS Communication System". Proc. of the IEEE/AIAA 33rd IEEE Digital Avionics Systems Conference (DASC 2014). 2014. pp. 6B1-1 - 6B1-11. [More] 
  • Journal N. Nostro, A. Ceccarelli, F. Brancati and A. Bondavalli. "Insider Threat Assessment: a Model-Based Methodology", SIGOPS Operating Systems Review (OSR) journal, Vol. 48, July, 2014, pp. 3-12. [More] 
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models". Proceedings of the 10th European Dependable Computing Conference (EDCC'14). 2014. pp. 82-93. [More] 
  • proceedings A. Bondavalli, A. Ceccarelli and F. Ortmeier. Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings. A. Bondavalli, A. Ceccarelli and F. Ortmeier eds. Springer. 2014. [More] 
  • Conference A. Bondavalli, A. Ceccarelli, F. Brancati, D. Santoro and M. Vadursi. "Anomaly detection in sistemi complessi mediante monitoraggio di variabili di sistema operativo". XXXI Congresso Nazionale dell'AssociazioneGruppo Misure Elettriche ed Elettroniche. 2014. [More] 
  • proceedings A. Bondavalli and F. Di Giandomenico. Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. A. Bondavalli, F. D. Gi and Omenico eds. Springer. 2014. [More] 
  • Book Chapter F. Duchi, N. Antunes, A. Ceccarelli, G. Vella, F. Rossi and A. Bondavalli. "Cost-Effective Testing for Critical Off-the-Shelf Services". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security - Workshop. Springer International Publishing. 2014. pp. 231-242. [More] 
  • Book Chapter N. Nostro, I. Matteucci, A. Ceccarelli, F. Di Giandomenico, F. Martinelli and A. Bondavalli. "On Security Countermeasures Ranking through Threat Analysis". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security - Workshop. Springer International Publishing. 2014. pp. 243-254. [More] 
  • Other M. Cinque et al.. "Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities". EDCCW Big4CIP. 2014. . [More] 
  • Conference A. Ceccarelli, T. Zoppi, A. Bondavalli, F. Duchi and G. Vella. "A Testbed for Evaluating Anomaly Detection Monitors Through Fault Injection". ISORCW-SORT 2014. 2014. pp. 358 - 365. [More] 
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "A Reusable Modular Toolchain for Automated Dependability Evaluation". Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013). 2013. pp. 298-303. [More] 
  • Conference N. Antunes, F. Brancati, A. Ceccarelli, A. Bondavalli and M. Vieira. "A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services". ISSRE-WoSoCer. 2013. [More] 
  • Journal A. Bondavalli, F. Brancati, A. Ceccarelli, L. Falai and M. Vadursi. "Resilient Estimation of Synchronisation Uncertainty through Software Clocks", IJCCBS, Vol. 4, October, 2013, pp. 301 - 322. [More] 
  • Conference V. Bonfiglio, L. Montecchi, F. Rossi and A. Bondavalli. "On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262". Proceedings of Workshop CARS (2nd Workshop on Critical Automotive applications: Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security. 2013. [More] 
  • Conference L. Montecchi, A. Ceccarelli, P. Lollini and A. Bondavalli. "Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system". 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT'13). 2013. [More] 
  • Technical Report V. Bonfiglio, L. Montecchi, F. Rossi and A. Bondavalli. "A Methodological Approach for Rigorous Assessment of Software Architectures within ISO26262". University of Florence, RCL Group. Technical Report RCL130401. 2013. [More] 
  • Conference N. R. Veeraragavan, L. Montecchi, N. Nostro, A. Bondavalli, R. Vitenberg and H. Meling. "Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis". 28th ACM Symposium On Applied Computing (SAC 2013) - Track on Dependable and Adaptive Distributed Systems (DADS). 2013. pp. 439-446. [More] 
  • Journal A. Bondavalli, A. Ceccarelli, F. Gogaj, M. Vadursi and A. Seminatore. "Experimental assessment of low-cost GPS-based localization in railway worksite-like scenarios", Measurement, Vol. 46, January, 2013, pp. 11. [More] 
  • Journal A. Bondavalli, F. Brancati, A. Flammini and S. Rinaldi. "Master Failure Detection Protocol in Internal Synchronization Environment", Instrumentation and Measurement, IEEE Transactions on, Vol. 62, January, 2013, pp. 4-12. [More] 
  • Book Chapter A. Bondavalli, F. Brancati, A. Ceccarelli and L. Falai. "Providing Safety-Critical and Real-Time Services for Mobile Devices in Uncertain Environment". In Self-Organization in Embedded Real-Time Systems. Springer New York. 2013. pp. 25-53. [More] 
  • Conference J. Figueiras, J. Grønbæk, H.-P. Schwefel and A. Bondavalli. "Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites". Dependable Computing (LADC), 2013 Sixth Latin-American Symposium on. 2013. pp. 31-39. [More] 
  • Journal A. Daidone, T. Renier, A. Bondavalli and H.-P. Schwefel. "Optimal configuration of fault-tolerance parameters for distributed replicated server access", IJCCBS, Vol. 4. 2013, pp. 144 - 172. [More] 
  • Conference N. Nostro, A. Ceccarelli, A. Bondavalli and F. Brancati. "A methodology and supporting techniques for the quantitative assessment of insider threats". Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing. 2013. pp. 3. [More] 
  • Conference A. Bondavalli, F. Brancati, A. Ceccarelli, D. Santoro and M. Vadursi. "Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems". Measurements and Networking Proceedings (M&N), 2013 IEEE International Workshop on. 2013. pp. 138-142. [More] 
  • Book Chapter A. Bondavalli, H. Madeira and P. Lollini. "Future of Resilience Assessment: The AMBER Research Roadmap". In K. Wolter, A. Avritzer, M. Vieira and A. van Moorsel (eds), Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. pp. 415-439. [More] 
  • Technical Report M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "Reliability Evaluation of UAV Communication in non-controlled Airspace". University of São Paulo and University of Florence. Technical Report RCL120901. 2012. [More] 
  • Conference L. Montecchi, P. Lollini, A. Bondavalli and E. L. Mattina. "Quantitative Security Evaluation of a Multi-Biometric Authentication System". SAFECOMP 2012 Workshop Proceedings. 2012. [More] 
  • Book Chapter A. Bondavalli, P. Lollini, I. Majzik and L. Montecchi. "Modelling and model-based assessment". In K. Wolter, A. Avritzer, M. Vieira and A. van Moorsel. (eds), Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. [More] 
  • Journal P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli and F. Brancati. "Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System", Instrumentation and Measurement, IEEE Transactions on, Vol. 61, May, 2012, pp. 1512-1521. [More] 
  • Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "ADVISE model for the security evaluation of the CASHMA multi-biometric authentication system". Technical Report RCL120301. 2012. [More] 
  • Journal L. Coppolino, L. Romano, A. Bondavalli and A. Daidone. "A hidden Markov model based intrusion detection system for wireless sensor networks", International Journal of Critical Computer-Based Systems, Vol. 3. 2012, pp. 210-228. [More] 
  • Conference A. Ceccarelli et al.. "Design and implementation of real-time wearable devices for a safety-critical track warning system". High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 147-154. [More] 
  • Conference A. Ceccarelli, A. Bondavalli, F. Brancati and E. L. Mattina. "Improving Security of Internet Services Through Continuous and Transparent User Identity Verification". Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on. 2012. pp. 201-206. [More] 
  • Conference B. Malinowsky, J. Grønbæk, H.-P. Schwefel, A. Ceccarelli, A. Bondavalli and E. Nett. "Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems". EDCC. 2012. pp. 144-155. [More] 
  • Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Graphical formalisms for modeling critical infrastructures". In F. Flammini (ed), Critical Infrastructure Security: Assessment, Prevention, Detection, Response. Ashurst Lodge, Ashurst, Southampton, UK : WIT Press. 2012. pp. 57-73. [More] 
  • Journal M. Dixit, A. Casimiro, P. Lollini, A. Bondavalli and P. Veríssimo. "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems, Vol. 7. 2012, pp. 18:1-18:25. [More] 
  • Conference M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace". Computer Safety, Reliability, and Security. F. Ortmeier and P. Daniel eds. 2012. pp. 271-281. [More] 
  • Book Chapter A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Foundations of Metrology in the Observation of Critical Systems". In Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. pp. 205-211. [More] 
  • Conference L. Montecchi, P. Lollini, B. Malinowsky, J. Grønbæk and A. Bondavalli. "Model-based Analysis of a Protocol for Reliable Communication in Railway Worksites". Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'12). 2012. [More] 
  • Conference M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "Towards a federated simulation approach for reliability evaluation of Unmanned Aircraft Vehicles within Aeronautical Communications Networking". Proc. of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW 2011). 2011. pp. 67-71. [More] 
  • Conference A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "Towards identifying OS-level anomalies to detect Application Software Failures". IEEE International Workshop on Measurements and Networking (M&N 2011). 2011. [More] 
  • Conference A. Bondavalli, F. Brancati, A. Flammini and S. Rinaldi. "A Reliable and Self-Aware Clock for Reference Time Failure Detection in Internal Synchronization Environment". IEEE International Workshop on Measurements and Networking (M&N 2011). 2011. [More] 
  • Journal 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", IEEE Transactions on Mobile Computing, Vol. 10, June, 2011, pp. 783 - 796. [More] 
  • Conference P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli and F. Brancati. "Evaluation of Timestamping Uncertainty in a Software-based IEEE1588 Implementation". 2011 IEEE Instrumentation and Measurement Technology Conference (I2MTC). 2011. [More] 
  • Conference A. Ceccarelli, M. Vieira and A. Bondavalli. "A Service Discovery Approach for Testing Dynamic SOAs". Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on. 2011. pp. 133-142. [More] 
  • Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "An Intermediate Dependability Model for state-based dependability analysis". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl101115. 2011. [More] 
  • Conference M. Ficco, A. Daidone, L. Coppolino, L. Romano and A. Bondavalli. "An event correlation approach for fault diagnosis in SCADA infrastructures". Proceedings of the 13th European Workshop on Dependable Computing. 2011. pp. 15-20. [More] 
  • Conference A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems". Computer Safety, Reliability, and Security. Flammini et al eds. 2011. pp. 128-142. [More] 
  • Book Chapter A. Bondavalli and L. Montecchi. "Metodi Combinatori". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. [More] 
  • Conference A. Bondavalli, A. Ceccarelli, F. Gogaj, A. Seminatore and M. Vadursi. "Localization errors of low-cost GPS devices in railway worksite-like scenario". M&N 2011. 2011. [More] 
  • Conference A. Ceccarelli, A. Bondavalli and M. Vieira. "A Testing Service for Lifelong Validation of Dynamic SOA.". HASE 2011. 2011. [More] 
  • Book Chapter A. Bondavalli, F. Brancati and A. Ceccarelli. "Monitoring". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 201-232. [More] 
  • Conference A. Ceccarelli, L. Vinerbi, L. Falai and A. Bondavalli. "RACME: a framework to support V&V and certification". IEEE LADC 2011. 2011. [More] 
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "Dependability Concerns in Model-Driven Engineering". 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011). 2011. [More] 
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "Towards a MDE Transformation Workflow for Dependability Analysis". 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011). 2011. [More] 
  • Conference F. Brancati and A. Bondavalli. "Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation". Reliable Distributed Systems, 2010 29th IEEE Symposium on. 2010. pp. 328 -332. [More] 
  • Conference P. Ferrari, A. Flammini, S. Rinaldi, A. Bondavalli and F. Brancati. "Improving robustness of the synchronization quality of IEEE1588 nodes". Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on. 2010. pp. 36 -41. [More] 
  • Conference J. Grønbæk, H.-P. Schwefel, A. Ceccarelli and A. Bondavalli. "Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations". Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on. 2010. pp. 229 -232. [More] 
  • Conference A. Ceccarelli, J. Grønbæk, L. Montecchi, H.-P. Schwefel and A. Bondavalli. "Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments". 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010). 2010. pp. 184 -193. [More] 
  • Book Chapter A. Bondavalli, A. Ceccarelli and P. Lollini. "Architecting and Validating Dependable Systems: Experiences and Visions". In LNCS. Berlin Heidelberg : Springer Berlin / Heidelberg. 2010. [More] 
  • Journal A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "A New Approach and a Related Tool For Dependability Measurements on Distributed Systems", IEEE Tran. on Instr. and Meas., Vol. 59. 2010, pp. 820-831. [More] 
  • Conference A. Bondavalli, F. Brancati, A. Ceccarelli and M. Vadursi. "Experimental Validation of a Synchronization Uncertainty-Aware Software Clock". SRDS 2010. 2010. pp. 245-254. [More] 
  • Conference L. Vinerbi, A. Bondavalli and P. Lollini. "Emergence: a new source of failures in complex systems". Third International Conference on Dependability (DEPEND 2010). 2010. [More] 
  • Journal A. Bondavalli, P. Lollini and L. Montecchi. "QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis", Journal of Software, Vol. 4, September, 2009, pp. 675-685. [More] 
  • Conference A. Ceccarelli, A. Bondavalli and D. Iovino. "Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection". IEEE 15th Pacific Rim International Symposium on Dependable Computing. 2009. pp. 234-241. [More] 
  • Conference A. Bondavalli, F. Brancati, A. Ceccarelli and L. Falai. "An Experimental Framework for the Analysis and Validation of Software Clocks". LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS). 2009. pp. 69-81. [More] 
  • Conference A. Bondavalli, F. Brancati and A. Ceccarelli. "Safe Estimation of Time Uncertainty of Local Clocks". Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009. 2009. pp. 47-52. [More] 
  • Journal A. Bondavalli et al. "Design and Evaluation of a Safe Driver Machine Interface", IJPE, Vol. 4. 2009, pp. 153-166. [More] 
  • Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A decomposition-based modeling framework for complex systems", IEEE Trans. on Reliability, Vol. 58. 2009, pp. 20-33. [More] 
  • Conference M. Kovacs, P. Lollini, I. Majzik and A. Bondavalli. "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications". RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008). 2008. pp. 29-38. [More] 
  • Other A. Ceccarelli, D. Iovino and A. Bondavalli. "A Fault Injection Tool for Trustworthy, Comparative Measurements and Analysis". SRDS 2008 Workshop with no proceeding. October 5, 2008. . [More] 
  • Conference 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". Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008). 2008. [More] 
  • Conference I. Majzik, A. Bondavalli, S. Klapka, T. K. Madsen and D. Iovino. "FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE". FORMS-FORMAT 2008. 2008. [More] 
  • Book Chapter P. Verissimo et al.. "The CRUTIAL Architecture for Critical Information Infrastructures". In R. de Lemos et Al. (ed), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 1-27. [More] 
  • Other A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Enhancing the NekoStat Tool with Uncertainty, Resolution and Intrusiveness Evaluation Capabilities". Workshop with no proceeding DSN-RADB2008. June, 2008. . [More] 
  • Conference A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter and A. Bondavalli. "A resilient SIL 2 Driver Machine Interface for train control systems". IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08). 2008. [More] 
  • Conference A. Bondavalli and L. Falai. "RODS: General Framework for Rigorous Observation of Distributed Systems". Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.. 2008. [More] 
  • Technical Report A. Bondavalli, A. Ceccarelli and L. Falai. "Reliable and Self-Aware Clock: complete description". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080508. 2008. [More] 
  • Technical Report 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". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080401. 2008. [More] 
  • Journal M. Kaaniche, P. Lollini, A. Bondavalli and K. Kanoun. "Modeling the Resilience of Large and Evolving Systems", International Journal of Performability Engineering, Vol. 4, April, 2008, pp. 153-168. [More] 
  • Book Chapter A. Daidone, S. Chiaradonna, A. Bondavalli and P. Verissimo. "Analysis of a Redundant Architecture for Critical Infrastructure Protection". In D. Lemos et al (eds), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 78-100. [More] 
  • Book Chapter 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). Springer Verlag. 2008. [More] 
  • Conference A. Bondavalli, A. Ceccarelli and L. Falai. "Assuring Resilient Time Synchronization". SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems. 2008. [More] 
  • Conference A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli and P. Veríssimo. "A framework for dependable QoS adaptation in probabilistic environments". SAC '08: Proceedings of the 2008 ACM symposium on Applied computing. 2008. pp. 2192-2196. [More] 
  • Conference A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Foundations of measurement theory applied to the evaluation of dependability attributes". DSN-2007 IEEE Int. Conference on Dependable Systems and Networks. 2007. [More] 
  • Conference A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems". Proceedings of The 8th International Symposium on Autonomous Decentralized Systems. 2007. [More] 
  • Book Chapter A. Bondavalli, F. V. Brasileiro and S. Rajsbaum. "Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings". In A. Bondavalli, Brasileiro, F. V., Rajsbaum and S. (eds), Lecture Notes in Computer Science. Springer. 2007. [More] 
  • Journal 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, Vol. 4. 2007, pp. 295-312. [More] 
  • Book Chapter L. Falai and A. Bondavalli. "Extending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithms". In Pelliccione and P. (eds), SOFTWARE ENGINEERING AND FAULT TOLERANCE. World Scientific Publishing Co. Pte. Ltd. 2007. [More] 
  • Technical Report P. Lollini, L. Montecchi and A. Bondavalli. "On the evaluation of hidenets use-cases having phased behavior". Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica. Technical Report RCL-071201. 2007. [More] 
  • Conference A. Bondavalli, A. Ceccarelli and L. Falai. "A self-aware clock for pervasive computing systems". The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007). 2007. [More] 
  • Conference 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". 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006). 2006. pp. 245-256. [More] 
  • Conference A. Bondavalli, S. Chiaradonna, P. Lollini and F. Squittieri. "Integration of an MPS Modeling Approach into Möbius". 3rd IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2006) - Tool Session. 2006. pp. 139-140. [More] 
  • Technical Report P. Lollini, A. Bondavalli and F. Di Giandomenico. "A general modeling approach and its application to a UMTS network with soft-handover mechanism". 2006. [More] 
  • Book Chapter L. Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza, A. Bondavalli and T. Bartha. "Dependability Evaluation of Web Service-Based Processes". In Horváth, A., Telek and M. (eds), 3rd European Performance Engineering Workshop (EPEW2006), Budapest, Hungary, June 21-22, 2006. Springer Verlag. 2006. pp. 166-180. [More] 
  • Journal 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, Vol. 3. 2006, pp. 169-171. [More] 
  • Conference P. Lollini, A. Bondavalli and F. Di Giandomenico. "QoS Analysis of a UMTS cell with different Service Classes". CSN-2005 The Fourth IASTED International Conference on Communication Systems and Networks. 2005. [More] 
  • Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A Modeling Methodology for Hierarchical Control System and its Aplication", June, 2005. [More] 
  • Technical Report P. Lollini, A. Bondavalli and F. Di Giandomenico. "QoS evaluation in a UMTS cell". 2005. [More] 
  • Conference L. Falai and A. Bondavalli. "Experimental evalutation of the QoS of Failure Detectors on Wide Area Network". Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005). 2005. [More] 
  • Conference P. Lollini, A. Bondavalli and F. Di Giandomenico. "Evaluation of the Impact of Congestion on Service Availability in GPRS infrastructures". ISAS 2005/Service Availability, Lecture Notes in Computer Science 3694, Volume Editor(s): M. Malek, N. Suri, E. Nett. 2005. [More] 
  • Book Chapter A. Bondavalli, S. Chiaradonna and F. Di Giandomenico. "Model-Based Evaluation as a Support to the Design of Dependable Systems". In Diab, H. B., Zomaya and A. Y. (eds), Dependable Computing Systems: Paradigms, Performance Issues, & Applications. John Wiley & Sons. 2005. [More] 
  • Conference L. Falai, A. Bondavalli and F. Di Giandomenico. "NekoStat extension for Neko: Quantitative Evaluation of Distributed Algorithms". Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems (QEST '05). 2005. [More] 
  • Conference L. Falai, A. Bondavalli and F. Di Giandomenico. "Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension". LADC. 2005. [More] 
  • Technical Report L. Falai, A. Bondavalli and F. Di Giandomenico. "Quantitative Evaluation using Neko tool: NekoStat Extensions". University of Firenze, Dip. Sistemi e Informatica. 2004. [More] 
  • Conference L. Simoncini, F. Di Giandomenico, A. Bondavalli and S. Chiaradonna. "Architectural Challenges for a Dependable Information Society". Fault Tolerance for Trustworthy and Dependable Information Infrastructures, Topical Days Track, WCC 18th IFIP World Computer Congress. 2004. [More] 
  • Conference P. Lollini, A. Bondavalli, F. Di Giandomenico and S. Porcarelli. "Congestion Analysis during Outage, Congestion Treatment and Outage Recovery for simple GPRS networks". The Ninth IEEE Symposium On Computers And Communications (ISCC'2004). 2004. [More] 
  • Technical Report P. Lollini, A. Bondavalli, F. Di Giandomenico and S. Porcarelli. "Model-based congestion analysis during outage and system reconfiguration in GPRS networks". 2004. [More] 
  • Conference S. Porcarelli, F. Di Giandomenico, P. Lollini and A. Bondavalli. "A Modular Approach for Model-based Dependability Evaluation of a Class of Systems". International Service Availability Symposium 2004 (ISAS 2004). 2004. [More] 
  • Conference F. Di Giandomenico, S. Porcarelli, D. Viva, A. Bondavalli and P. Lollini. "Model-based Evaluation for Dependability Assessment of CAUTION++ Instances". Venue '04 (informal proceedings). 2004. [More] 
  • Conference P. Lollini, F. Di Giandomenico, A. Bondavalli and S. Porcarelli. "Congestion analysis in a general GPRS network". Mobile Venue '04 (informal proceedings). 2004. [More] 
  • Conference S. Porcarelli, F. Di Giandomenico, A. Bondavalli and P. Lollini. "Model-based Evaluation of a Radio Resource Management System for Wireless Networks". CF'04 Computing Frontiers. 2004. pp. 51-59. [More] 
  • Conference A. Bondavalli, E. D. Giudici, S. Porcarelli, S. Sabina and F. Zanini. "A Freshness Detection Mechanism for Railway Applications". 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'04). 2004. pp. 292-301. [More] 
  • Journal A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and I. Mura. "Dependability Modeling and Evaluation of Multiple-Phased Systems using DEEM", IEEE Transactions on Reliability, Vol. 53. 2004, pp. 509-522. [More] 
  • Book Chapter S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli and P. Inverardi. "A Framework for Reconfiguration-based Fault-Tolerance in Distributed Systems". In D. Lemos, R., Gacek, C., Romanovsky and A. (eds), Architecting Dependable Systems. Springer-Verlag. 2004. [More] 
  • Journal R. Filippini and A. Bondavalli. "Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach", The Computer Journal, BCS, Vol. 47. 2004, pp. 634-650. [More] 
  • Journal 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, Vol. 1. 2004, pp. 223-237. [More] 
  • Conference A. Bondavalli, S. Chiaradonna, D. Cotroneo and L. Romano. "A Fault-Tolerant Distributed Legacy-based System and Its Evaluation". LADC2003 - First Latin-American Symposium on Dependable Computing - LNCS 2847. 2003. pp. 303-320. [More] 
  • Conference F. Di Giandomenico, S. Porcarelli, P. Lollini and A. Bondavalli. "Dependability Issues in Radio Resource Management of Wireless Systems". WMPC03 - 6th International Symposium on Wireless Personal Multimedia Communications. 2003. pp. 146-150. [More] 
  • Book Chapter I. Majzik, A. Pataricza and A. Bondavalli. "Stochastic Dependability Analysis of System Architecture Based on UML Models". In D. Lemos, R., Gacek, C., Romanovsky and A. (eds), Architecting Dependable Systems, LNCS 2677. Berlin, Heidelberg, New York : Springer-Verlag. 2003. pp. 219-244. [More] 
  • book S. J. Upadhyaya and A. Bondavalli. Special issue on reliable distributed systems, vol. 52, IEEE Computer Society, 2003. [More] 
  • Journal S. Porcarelli, F. Di Giandomenico, A. Bondavalli, M. Barbera and I. Mura. "Service Level Availability Estimation of GPRS", IEEE Transactions on Mobile Computing, Vol. 2. 2003, pp. 233-247. [More] 
  • Conference A. Coccoli and A. Bondavalli. "Analysis of Safety Related Architectures". WORDS 2003, 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems. 2003. [More] 
  • Conference L. Romano, A. Bondavalli, S. Chiaradonna and D. Cotroneo. "Implementation of Threshold-based Diagnostic Mechanisms for COTS-based Applications". 21st IEEE Symposium on Reliable Distributed Systems (SRDS'02). 2002. pp. 296-303. [More] 
  • Conference S. Porcarelli, F. Di Giandomenico and A. Bondavalli. "Analyzing Quality of Service of GPRS Network Systems from a Users Perspective". IEEE Symposium on Computers and Communications (ISCC02). 2002. pp. 142-149. [More] 
  • Conference A. Coccoli, P. Urban, A. Bondavalli and A. Schiper. "Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements". IEEE DSN - International Conference on Dependable Systems and Networks (IPDS Track). 2002. pp. 551-560. [More] 
  • Journal 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, Vol. 47. 2002, pp. 763-781. [More] 
  • Book Chapter A. Bondavalli, A. Coccoli and F. Di Giandomenico. "QoS Analysis of Group Communication Protocols in Wireless Environment". In Ezhilchelvan, P., Romanovsky and A. (eds), Concurrency in Dependable Computing. Kluwer Academic Publishers. 2002. pp. 169-188. [More] 
  • Conference A. Chohra, F. Di Giandomenico, S. Porcarelli and A. Bondavalli. "Towards Optimal Database Maintenance in Wireless Communication Systems". The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development. Callaos, N., D. Silva, N. I., Molero and J. eds. 2001. pp. 571-576. [More] 
  • Conference F. Tataranni, S. Porcarelli, F. Di Giandomenico, A. Bondavalli and L. Simoncini. "Modeling and Analysis of the Behavior of GPRS Systems". WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems. 2001. pp. 51-58. [More] 
  • Book Chapter A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, D. Powell and C. Rabéjac. "Error Processing and Fault Treatment". In Powell and D. (eds), A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Boston : ISBN 0-7923-7295-6, Kluwer Academic Publishers. 2001. pp. 71-86. [More] 
  • Journal 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, Vol. 44. 2001, pp. 544-556. [More] 
  • Technical Report R. Filippini and A. Bondavalli. "Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach". CNUCE-CNR. Technical Report CNUCE-B4-2. 2001. [More] 
  • Journal I. Mura and A. Bondavalli. "Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions", IEEE Transactions on Computers, Vol. 50. 2001, pp. 1337-1351. [More] 
  • Conference I. Mura and A. Bondavalli. "Impact of outages on GPRS service availability". Fast Abstract. 2001. [More] 
  • Conference A. Bondavalli and R. Filippini. "Modelling and analysis of a scheduled maintenance system: a DSPN approach". DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track). 2001. [More] 
  • Journal A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "Design Validation of Embedded Dependable Systems", IEEE MICRO (special issue on embedded fault tolerant systems), Vol. 21. 2001, pp. 52-62. [More] 
  • Journal 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, Vol. 16. 2001, pp. 249-261. [More] 
  • Conference A. Coccoli, A. Bondavalli and F. Di Giandomenico. "Analysis and Estimation of the Quality of Service of Group Communication Protocols". ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing. 2001. pp. 209-216. [More] 
  • Conference S. Porcarelli, F. Di Giandomenico, A. Chohra and A. Bondavalli. "Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems". SAFECOMP 2001, 20th Int. Conference on Computer Safety, Reliability and Security. Voges and U. eds. 2001. pp. 238-248. [More] 
  • Conference 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". IEEE Int. Conference on Dependable Systems and Networks (DSN-2001). 2001. pp. 235-244. [More] 
  • Journal A. Bondavalli, M. D. 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, Vol. 16. 2001, pp. 265-275. [More] 
  • Book Chapter D. Powell et al.. "Introduction and Overview". In Powell and D. (eds), A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Boston : Kluwer Academic Publishers. 2001. pp. 2-26. [More] 
  • Book Chapter J. Arlat et al.. "Dependability Evaluation". In Powell and D. (eds), A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Boston : Kluwer Academic Publishers. 2001. pp. 157-191. [More] 
  • Technical Report 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". CNUCE-CNR. Technical Report B4-2000-02. 2000. [More] 
  • Conference A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems". IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00). 2000. [More] 
  • Conference 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". DSN-2000 IEEE Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8). 2000. pp. 231-236. [More] 
  • Conference F. Di Giandomenico, S. Chiaradonna, A. Bondavalli and F. Grandoni. "Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems". IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000). 2000. pp. 1145-1151. [More] 
  • Conference A. Coccoli, A. Bondavalli and L. Simoncini. "Consensus in asynchronous distributed systems". IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology. 2000. [More] 
  • Conference M. Minichino, E. Ciancamerla, S. Chiaradonna and A. Bondavalli. "An experience of dependability assessment of a typical industrial safety critical Programmable Logic Controller". 4t Int. Symposium Programmable Electronic Systems in Safety Related Applications. 2000. [More] 
  • Conference A. Bondavalli and F. Di Giandomenico. "A Position on Design, Methods, and Tools for Object-Oriented Real-time Computing". ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing. 2000. pp. 306-308. [More] 
  • Conference F. Sandrini, F. Di Giandomenico, A. Bondavalli and E. Nett. "Scheduling solutions for supporting dependable real-time applications". ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing.. 2000. pp. 122-129. [More] 
  • Journal A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults", IEEE Transactions on Computers, Vol. 49. 2000, pp. 230-245. [More] 
  • Conference A. Coccoli, S. Schemmer, F. Di Giandomenico, M. Mock and A. Bondavalli. "Analysis of Group Communication Protocols to Assess Quality of Service Properties". HASE00 - 5th IEEE High Assurance System Engineering Symposium. 2000. pp. 247-256. [More] 
  • Journal A. Burns et al. "The Meaning and Role of Value in Scheduling Flexible Real-Time Systems", Journal of System Architecture (JSA), Special Issue on Real-Time Systems, Vol. 46. 2000, pp. 305-325. [More] 
  • Conference A. Coccoli, A. Bondavalli and F. Di Giandomenico. "Dependability and performance analysis of a protocol for efficient real-time group communication". EWDC-12 European Workshop on Dependable Computing. 2000. [More] 
  • Conference A. Bondavalli, M. D. Cin, D. Latella and A. Pataricza. "High-level Integrated Design Environment for Dependability (HIDE)". WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems. 1999. pp. 87-92. [More] 
  • Book Chapter 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). Williamsburg, VA, USA. 1999. pp. 144-165. [More] 
  • Conference A. Bondavalli, I. Mura and K. S. Trivedi. "Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems". EDCC-3 European Dependable Computing Conference (also LNCS N. 1667). 1999. pp. 7-23. [More] 
  • Technical Report I. Mura and A. Bondavalli. "Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions". CNUCE-CNR. Technical Report B4-1999-00. 1999. [More] 
  • Conference F. Di Giandomenico, F. Grandoni, A. Bondavalli and I. Mura. "Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults". 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track. 1999. [More] 
  • Conference A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "Integrated Validation of Dependable Systems". IDPT '99 4th, Int. Conference on Integrated Design and Process Technology. 1999. [More] 
  • Conference A. Bondavalli, I. Majzik and I. Mura. "Automated Dependability Analysis of UML Designs". 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99). 1999. pp. 139-144. [More] 
  • Technical Report D. Viva, A. Bondavalli and S. Chiaradonna. "Sviluppo di un Caso di Studio". PDCC-ENEA. Technical Report PDCC-TN-00. 1999. [More] 
  • Technical Report D. Viva, A. Bondavalli and S. Chiaradonna. "Sperimentazione di Diverse Metodologie e Strumenti per la Modellizzazione". PDCC-ENEA. Technical Report PDCC-TN-00. 1999. [More] 
  • Conference I. Mura, A. Bondavalli, X. Zang and K. S. Trivedi. "Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach". IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications. 1999. pp. 319-337. [More] 
  • Journal 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, Vol. 16. 1999, pp. 5-30. [More] 
  • Journal 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, Vol. 9. 1999, pp. 145-166. [More] 
  • Conference A. Bondavalli, I. Majzik and I. Mura. "Automatic Dependability Analysis for Supporting Design Decisions in UML". 4th IEEE High Assurance System Engineering Symposium (HASE99). 1999. pp. 64-71. [More] 
  • Journal I. Mura and A. Bondavalli. "Hierarchical Modelling and Evaluation of Phased-Mission Systems", IEEE Transactions on Reliability, Vol. 48. 1999, pp. 360-368. [More] 
  • Conference A. Bondavalli and I. Mura. "High-Level Petri Net Modelling of Phased Mission Systems". 10th European Workshop on Dependable Computing (EWDC-10). 1999. pp. 91-95. [More] 
  • Journal D. Powell et al. "GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems, Vol. 10. 1999, pp. 580-599. [More] 
  • Conference A. Coccoli, L. Simoncini and A. Bondavalli. "Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks". First Int. Workshop on Networked Group Communication, NGC '99. 1999. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna and I. Mura. "Integrazione di Tecniche di Fault-Forecasting". PDCC-ENEA. Technical Report PDCC-TN-00. 1998. [More] 
  • Conference I. Majzik and A. Bondavalli. "Automatic Dependability Modelling of Systems Described in UML". 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track. 1998. pp. 29-30. [More] 
  • Technical Report I. Mura, S. Chiaradonna and A. Bondavalli. "Modelli Teorici e Pratici per la Rappresentazione del Processo di Guasto". PDCC-ENEA. Technical Report PDCC-TN-00. 1998. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults". IEI-CNR. Technical Report B4-17-06-9. 1998. [More] 
  • Conference A. Bondavalli, F. Di Giandomenico, F. Grandoni, D. Powell and C. Rabéjac. "State Restoration in a COTS-based N-Modular Architecture". 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98). 1998. pp. 174-183. [More] 
  • Technical Report M. Pizza, L. Strigini, A. Bondavalli and F. Di Giandomenico. "Bayesian Diagnosis of Transient vs Permanent Faults". 1998. [More] 
  • Technical Report A. Bondavalli and F. Di Giandomenico. "The GUARDS Approach to Safety-Critical Real-Time Systems". Technical Report 32. 1998. [More] 
  • Journal C. Bernardeschi, A. Bondavalli, G. Csertán, I. Majzik and L. Simoncini. "Temporal Analysis of Data Flow Control Systems", IFAC Automatica, Vol. 34. 1998, pp. 169-182. [More] 
  • Technical Report D. Powell, C. Rabéjac and A. Bondavalli. "Alpha-count Mechanism and Inter-Channel Diagnosis". Technical Report Report GUA. 1998. [More] 
  • Technical Report I. Majzik and A. Bondavalli. "On high level dependability modeling in HIDE". Technical Report Project Re. 1998. [More] 
  • Conference F. Grandoni, S. Chiaradonna and A. Bondavalli. "A new Heuristic to Discriminate Transient from Intermittent Faults". 3rd IEEE High Assurance System Engineering Symposium (HASE'98). 1998. pp. 224-231. [More] 
  • Conference M. Pizza, L. Strigini, A. Bondavalli and F. Di Giandomenico. "Optimal Discrimination between Transient and Permanent Faults". 3rd IEEE High Assurance System Engineering Symposium. 1998. pp. 214-223. [More] 
  • Technical Report A. Bondavalli, I. Mura, X. Zang and K. S. Trivedi. "Dependability modeling and Evaluation of Phased Mission Systems: a DSPN Approach". Technical Report Report GUA. 1998. [More] 
  • Technical Report I. Majzik and A. Bondavalli. "Dependability Analysis in the HIDE Framework". Technical Report Project Re. 1998. [More] 
  • Technical Report D. Powell et al.. "GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems". Technical Report Report GUA. 1998. [More] 
  • Technical Report A. Bondavalli and I. Mura. "Brief Overview of some Tools to Support the Modelling and Evaluation of Phased Mission Systems". Technical Report Report GUA. 1998. [More] 
  • Technical Report A. Bondavalli and I. Mura. "Users Guide for Tool-Supported Modelling of Phased-Mission Systems". Technical Report Report GUA. 1998. [More] 
  • Technical Report M. Pizza, L. Strigini, A. Bondavalli and F. Di Giandomenico. "Optimal Discrimination between Transient and Permanent Faults - Mathematical Details". 1998. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Inter-channel State Restoration". GUARDS Project - PDCC. Technical Report I1-SA4/600. 1997. [More] 
  • Technical Report A. Bondavalli and I. Mura. "Hierarchical Modelling and Evaluation of Phased-Mission Systems". Technical Report Report GUA. 1997. [More] 
  • Conference 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". 6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97. 1997. pp. 296-301. [More] 
  • Conference A. Bondavalli, I. Mura and M. Nelli. "Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications". IEEE HASE'97, High Assurance System Engineering Workshop. 1997. pp. 85-91. [More] 
  • Conference A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Discriminating Fault Rate and Persistency to Improve Fault Treatment". 27th IEEE Int. Symposium on Fault-Tolerant Computing (FTCS-27). 1997. pp. 354-362. [More] 
  • Conference 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". Int. Conference on Safety and Reliability (ESREL'97). 1997. pp. 341-348. [More] 
  • Conference D. Powell, J. Arlat, L. Beus-Dukic, A. Wellings, A. Bondavalli and F. Di Giandomenico. "Ultra-Dependable and Real-Time Systems: The GUARDS Approach". 3rd CABERNET Plenary Workshop. 1997. [More] 
  • Technical Report A. Bondavalli, I. Mura and M. Nelli. "Analytical modelling and evaluation of the GUARDS instances: example for space applications". Technical Report Report GUA. 1997. [More] 
  • Technical Report S. Chiaradonna, F. Di Giandomenico and A. Bondavalli. "Analytical Modelling of GUARDS Mechanisms and Components: Example of the Error Filtering Mechanism". PDCC. Technical Report D3A4/AO/60. 1997. [More] 
  • Conference A. Bondavalli, F. Di Giandomenico and I. Mura. "Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems". Third IEEE Int. Workshop on Object-oriented Real-time Dependable Systems (WORDS 97). 1997. pp. 92-99. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Intra-Channel Error Processing Mechanisms". PDCC. Technical Report D1A2/A0/60. 1997. [More] 
  • Conference A. Bondavalli, F. Di Giandomenico and I. Mura. "A Value-Based Approach to Flexible Decision Making in Real-Time Dependable Systems". 2nd Int. Workshop on Mechatronical Computer Systems. 1997. pp. 155-163. [More] 
  • Journal 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, Vol. 57. 1997, pp. 189-202. [More] 
  • Conference A. Parigi, A. Bondavalli and E. Martinelli. "Progetto e Realizzazione di un Server Internet come Ausilio alla Organizzazione della Didattica". Didamatica'97. 1997. pp. 371-374. [More] 
  • Conference A. Bondavalli, M. Nelli, L. Simoncini and G. Mongardi. "Application of Analytical Model-Based Evaluations to The Railway Aplications: a case study". WCRR - World Congress on Railway Research. 1997. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "A Mechanism for Discriminating Transient from Intermittent/Permanent Faults". GUARDS Project - PDCC. Technical Report D1A2/A0/60. 1996. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Fault Tolerance Structures & Mechanisms for the GUARDS Architecture". CNUCE/CNR. Technical Report C96-26 (al. 1996. [More] 
  • Conference P. Bizzarri, A. Bondavalli, F. Di Giandomenico and F. Tarini. "Planning the Execution of Task Groups in Real-Time Systems". 8th IEEE Euromicro Workshop on Real-Time Systems. 1996. pp. 169-174. [More] 
  • Conference E. Nett, H. Streich, P. Bizzarri, A. Bondavalli and F. Tarini. "Adaptive Software Fault Tolerance Policies with Dynamic Real-Time Guarantees". WORDS 96, IEEE Second Int. Workshop on Object-oriented Real-time Dependable Systems. 1996. pp. 78-85. [More] 
  • Conference B. Antal, A. Bondavalli, G. Csertán, I. Majzik and L. Simoncini. "Reachability and Timing Analysis in Data Flow Networks: a Case Study". Euromicro 96, 22nd IEEE Euromicro Conference. 1996. pp. 193-200. [More] 
  • Conference A. Bondavalli. "Design of Fault Tolerant Software". EDCC-2 Companion Workshop on Dependable Computing. 1996. pp. 41-51. [More] 
  • Conference M. Nelli, A. Bondavalli and L. Simoncini. "Dependability Modelling and Analysis of Complex Control Systems: an Application to Railway Interlocking". EDCC-2 European Dependable Computing Conference. 1996. pp. 93-110. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Discriminating Fault Rate and Persistency to Improve Fault Treatment". IEI/CNR, Pisa, Italy. Technical Report B4-33. 1996. [More] 
  • Technical Report I. Mura, F. Di Giandomenico and A. Bondavalli. "Real-Time Multiprocessor Systems: Performability Evaluation". IEI-CNR, Pisa, Italy. Technical Report B4-07-02-9. 1996. [More] 
  • Technical Report M. Nelli, A. Bondavalli and L. Simoncini. "Hierarchical Modelling of HW/SW Control Systems: an Application to Dependability Analysis of Railway Interlocking". CNUCE-CNR, Pisa, Italy. Technical Report C96-09. 1996. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, M. Cipollone, F. Di Giandomenico and F. Grandoni. "Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems". CNUCE/CNR. Technical Report C95-42. 1995. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "A Contribution to Dependability Evaluation of Fault-Tolerant, Iterative-Execution Software". CNUCE/CNR. Technical Report C95-41. 1995. [More] 
  • Conference A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre. "Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation". 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95). 1995. pp. 489-503. [More] 
  • Technical Report F. Di Giandomenico, A. Bondavalli and J. Xu. "Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments". Technical Report 173. 1995. [More] 
  • Technical Report S. La Torre, S. Chiaradonna, F. Di Giandomenico and A. Bondavalli. "The Effects of Input Correlation on the Dependability of Iterative Software". IEI/CNR. Technical Report B4-24. 1995. [More] 
  • Technical Report F. Di Giandomenico, A. Bondavalli and J. Xu. "Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments". IEI CNR, Pisa, Italy. Technical Report B4-15. 1995. [More] 
  • Book Chapter A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation". In R et al (eds), Predictably Dependable Computing Systems. Springer-Verlag. 1995. pp. 459-472. [More] 
  • Conference M. Bizzarri, P. Bizzarri, A. Bondavalli, F. Di Giandomenico and F. Tarini. "Design of Flexible and Dependable Real-Time Applications". 20th IFAC-IFIP WRTP'95. Press and Pergamon eds. 1995. [More] 
  • Conference A. Bondavalli, A. Buzzi and F. Tarini. "Uno Strumento Grafico per la Strutturazione di Applicazioni Tolleranti i Guasti". Congresso annuale A.I.C.A. '95. 1995. pp. 979-986. [More] 
  • Journal C. Bernardeschi, A. Bondavalli and L. Simoncini. "Using Process Algebras for the Semantic Analysis of Data Flow Networks", IEICE Trans. on Information and Systems, Vol. E78-D. 1995, pp. 959-968. [More] 
  • Book Chapter A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment". In R et al (eds), Predictably Dependable Computing Systems. Springer-Verlag. 1995. pp. 141-154. [More] 
  • Conference A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Dependability Models for Iterative Software Considering Correlation among Successive Inputs". IEEE Int. Computer Performance and Dependability Symposium (IPDS'95). 1995. pp. 13-21. [More] 
  • Book Chapter J. Xu, A. Bondavalli and F. Di Giandomenico. "Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software". In R et al (eds), Predictably Dependable Computing Systems. Springer-Verlag. 1995. pp. 155-172. [More] 
  • Book Chapter A. Bondavalli, J. Stankovic and L. Strigini. "Adaptable Fault Tolerance for Real-Time Systems". In Fussell, D., Malek and M. (eds), Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems. Boston : Kluwer Academic Publishers. 1995. pp. 187-208. [More] 
  • Conference P. Bizzarri, F. Di Giandomenico, A. Bondavalli and F. Tarini. "Un protocollo per la schedulazione distribuita Hard Real-Time". Congresso annuale A.I.C.A. '95. 1995. pp. 202-208. [More] 
  • Conference A. Bondavalli, S. Chiaradonna and F. Di Giandomenico. "Efficient Fault Tolerance: an Approach to Deal with Transient Faults in Multiprocessor Architectures". IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94). 1994. pp. 354-359. [More] 
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Modelling Correlation among Successive Inputs in Software Dependability Analyses". CNUCE/CNR. Technical Report C94-20. 1994. [More] 
  • Technical Report S. Chiaradonna, A. Bondavalli and F. Di Giandomenico. "A Fault Treatment Approach to Support Dynamic Redundancy in Multiprocessor Architectures". Esprit BRA 6362 PDCS2. 1994. [More] 
  • Technical Report S. Chiaradonna, A. Bondavalli and L. Strigini. "On Performability Modeling and Evaluation of Software Fault Tolerance Structures". ESPRIT BRA 6362 PDCS2. 1994. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Dependable Dataflow Control Systems". MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications. 1994. pp. 5-14. [More] 
  • Technical Report S. Chiaradonna, A. Bondavalli and L. Strigini. "Comparative Performability Evaluation of RB, NVP and SCOP". CNUCE/CNR. Technical Report C94-02. 1994. [More] 
  • Conference C. Bernardeschi and A. Bondavalli. "Semantics analysis of dataflow control systems". MicroP94. 1994. pp. 15-24. [More] 
  • Conference C. Bernardeschi, A. Bondavalli and L. Simoncini. "Data-flow networks in the design of safety-critical systems". ESREL 94. 1994. pp. 876-881. [More] 
  • Book Chapter A. Bondavalli, C. Bernardeschi and L. Simoncini. "The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm". In Halang, W. A., Stoyenko and A. D. (eds), Real Time Computing. Saint Martin, Dutch Antilles : Springer Verlag. 1994. pp. 527-529. [More] 
  • Conference S. Chiaradonna, A. Bondavalli and L. Strigini. "On Performability Modeling and Evaluation of Software Fault Tolerance Structures". 1st European Dependable Computing Conference (EDCC-1). 1994. pp. 97-114. [More] 
  • Conference G. Csertán, C. Bernardeschi, A. Bondavalli and L. Simoncini. "Analysis of temporal properties of dataflow networks". 12th IFAC workshop DCCS 94. 1994. pp. 153-158. [More] 
  • Conference C. Bernardeschi, A. Bondavalli and L. Simoncini. "Data Flow Control Systems: an Example of Safety Validation". SAFECOMP '93. 1993. pp. 9-20. [More] 
  • Conference S. Chiaradonna and A. Bondavalli. "Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore". Congresso annuale A.I.C.A. '93. 1993. pp. 1289-1303. [More] 
  • Book Chapter C. Bernardeschi, A. Bondavalli and L. Simoncini. "From Data Flow Networks to Process Algebras". In PARLE 93 - LNCS 694. Munchen, Germany : Springer Verlag. 1993. pp. 740-743. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems". IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93). 1993. pp. 108-114. [More] 
  • Journal 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, Vol. 8. 1993, pp. 234-244. [More] 
  • Conference A. Bondavalli, L. Strigini and L. Simoncini. "Data-Flow like Languages for Real-Time Systems: Issues of Computational Models and Notation". 11th IEEE Symposium on Reliable Distributed Systems (SRDS-11). 1992. pp. 214-221. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Structured Sofware Fault-Tolerance with BSM". 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems. 1992. pp. 278-286. [More] 
  • Journal A. Bondavalli, L. Strigini and M. Sereno. "Destination Stripping Dual Ring: a new protocol for MANs", Computer Networks and ISDN Systems, Vol. 24. 1992, pp. 15-32. [More] 
  • Conference A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini and P. Zini. "A Performable BSM Architecture". 5th Int. Conference on Fault-Tolerant Computing Systems. 1991. pp. 332-347. [More] 
  • Conference A. Bondavalli and L. Strigini. "DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs". IEEE INFOCOM'91. 1991. pp. 1022-1030. [More] 
  • Conference A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini and P. Zini. "PACS: Performability-Achieving Computing Systems". EWDC-3 European Workshop on Dependable Computing. 1991. [More] 
  • Conference A. Bondavalli and L. Nardone. "Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso". 30th Congresso annuale A.I.C.A.. 1991. pp. 1061-1075. [More] 
  • Conference A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini and P. Zini. "PACS: Performability-Achieving Computing Systems". 30th Congresso annuale A.I.C.A.. 1991. pp. 1025-1028. [More] 
  • Conference L. Strigini, A. Bondavalli and L. Simoncini. "Data-Flow like Languages for Designing Dependable Real-Time Control Systems". 10th IFAC Workshop on Distributed Computer Control Systems. 1991. pp. 131-136. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Failures Classification with Respect to Detection". 2nd. IEEE Workshop on Future Trends in Distributed Computing Systems. 1990. pp. 47-53. [More] 
  • Journal 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, Vol. 18, February, 1990, pp. 97-113. [More] 
  • Book Chapter A. Bondavalli, N. D. 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. Visegrad, Hungary : Springer-Verlag. 1989. pp. 53-67. [More] 
  • Conference A. Bondavalli, N. D. Francesco, D. Latella and G. Vaglini. "Using Algebraic Specifications for Data Types Shared among Concurrent Transactions". 13th. Information Technologies Conference SARAJEVO JAHORINA 1989''. 1989. pp. 130-1-130-10. [More] 
  • Conference A. Bondavalli, E. Gregori and L. Lenzini. "Proposals for improving the FASNET Performances". 13th. Information Technologies Conference SARAJEVO JAHORINA 1989''. 1989. pp. 112-1-112-9. [More] 
  • Journal A. Bondavalli and L. Simoncini. "Data-flow-like model for robust computations", Journal of Computer Systems Science and Engineering, Vol. 4. 1989, pp. 176-184. [More] 
  • Conference T. Belli, C. Bernardeschi, A. Bondavalli and D. Latella. "Costruzione gerarchica di tipi di dati astratti condivisi". 27th Congresso annuale A.I.C.A.. 1988. pp. 165-180. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Modelling robust computations in a Data-Flow-Like style". 1st IEEE Workshop on Future Trends of Distributed Computing Systems. 1988. pp. 252-261. [More] 
  • Conference A. Bondavalli and E. Gregori. "Concurrency Control in OSI Transactional Environments". IFIP TC6/TC8 Open Symposium on Network Information Processing Systems. 1988. pp. 69-77. [More] 
  • Conference A. Bondavalli and E. Gregori. "OSIRIDE and Transactions". 2nd IEEE Int. Zurich Seminar on Digital Communications. 1988. pp. 261-266. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Un modello per la descrizione di computazioni robuste Data-Flow-Like". 26th Congresso annuale A.I.C.A.. 1987. pp. 163-182. [More] 
  • Conference A. Bondavalli and L. Simoncini. "Modelling robust computations in a Data-Flow-Like style". Workshop on Fault Tolerance in Parallel and Distributed Computing (without Proceedings). 1987. [More] 
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web