Personale

Recapiti

Orario di ricevimento

Italiano

Curriculum

Pubblicazioni

Insegnamenti

English

Curriculum

Andrea BONDAVALLI

Ruolo attuale:: Professore Ordinario
SSD:: INF/01 - Informatica
Afferenza organizzativa:: Dipartimento di Matematica e Informatica 'Ulisse Dini'

Recapiti

	0552751481
	andrea.bondavalli(AT)unifi.it

Ulteriori Recapiti

+39 3294309838

Avvisi

Lezioni di architetture degli elaboratori

Si invitano gli studenti del primo anno ad iscriversi alla pagina web del corso di Architetture degli elaboratori al link https://e-l.unifi.it/course/view.php?id=23827 non e' per ora richiesta password. sul sito ci saranno i link per seguire le

Resiliency Real Time and Certification

Lectures are starting on September 24. The students are invited to sign up on the Moodle website of the course (currently no password required). Among other information links to the streaming of the lectures will be available). The teachers

Andrea BONDAVALLI

Curriculum DATI PERSONALI
Andrea Bondavalli è Nato a Reggio Emilia il 26 novembre 1960. Sposato con Rosaria Esposito. Tre figli: Matilde, Ludovica e Lorenzo. Cittadinanza Italiana. URL WebServ http://rcl.dsi.unifi.it

STUDIO E PERFEZIONAMENTI
• 1986: Diploma di Laurea in Scienze dell'Informazione - Universita' di Pisa
• Gennaio - Dicembre 1987: Borsa di studio del CNR nell'ambito dell'area TECNOLOGIA DELLAINFORMAZIONE Progetto RETI DI CALCOLATORI presso il CNR-CNUCE.
• Aprile 91 - Febbraio 92: Borsa di studio CNR - N.A.T.O. Advanced Fellowship Program nel campo delle Scienze e Tecnologia dell'Informazione ospite del Computing Laboratory - Universita' di Newcastle upon Tyne (UK) - supervisione del Prof. Brian Randell

POSIZIONE ATTUALE
2000- oggi Professore Associato INF/01 Università di Firenze

POSIZIONI PRECEDENTI
- 2007-2010 Ricercatore Associato all’Istituto ISTI
- Agosto 2005: visiting professor Budapest University of Technology and Economics nel gruppo del Prof. Andras Pataricza
- 2003-2006 collaboratore esterno Istituto ISTI CNR
- Febbraio 2002: Visiting Professor, EPFL, Lausanne (CH)- invitato dal Prof. Andrè Schiper.
- 2000-2002 collaboratore esterno Istituto CNUCE
- Marzo 1999 - Gennaio 2000 Primo Ricercatore presso l'Istituto CNUCE del CNR
- Novembre 1988 - Marzo 1999 Collaboratore Tecnico Professionale, poi Ricercatore presso l'Istituto CNUCE del CNR.
- Aprile 91 - Febbraio 92: Guest member of Staff, Computing Laboratory della Università di Newcastle upon Tyne (UK) nel gruppo di ricerca del Prof. Brian Randell.

INSEGNAMENTO
In questo anno accademico insegna:
- Architetture degli Elaboratori del corso di laurea triennale in Informatica
- Analisi Quantitativa dei Sistemi, fondamentale del corso di laurea magistrale in Informatica

LIBRO DI TESTO
Libro di testo per il corso di "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

INTERESSI DI RICERCA
Dependable and Resilient computing, embedded, real-time systems, Critical Infrastructure protection, safety, security
Verification&Validation, Quantitative evaluation and assessment of QoS

PROGETTI DI RICERCA

Attualmente Andrea Bondavalli è Responsabile scientifico e principal investigator dei seguenti progetti di ricerca ed industriali

• 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
• Progetto MIUR PRIN 2008 "DOTS-LCCI: Sistemi Middleware affidabili per le infrastrutture critiche basate su componenti off-the-shelf

E’ stato inoltre Responsabile scientifico e/o principal investigator dei seguenti progetti di ricerca ed industriali

• 2009-2011 SILFI (Sistema Intelligente per la Lotta al Fuoco Integrata) Regione Toscana 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 Convenzioni ricerca fra il Dipartimento di Sistemi e Informatica dell'Universita' di Firenze e SELEX Communications S.P.A
• 2005-2006 Analisi e Tuning di Protocolli con NekoStat Finanziato da 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 finanziato da Ansaldo Segnalamento Ferroviario.
• 2002-2003 INTEGRA: ANALISI DELLE ARCHITETTURE VITALI finanziato da Ansaldo Segnalamento Ferroviario
• 2002-2003 Progetto MURST 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) Progetto Bilaterale di ricerca fra il CNUCE e la Technical University of Budapest (Ungheria) finanziato dal Ministero degli Esteri.
• 2000-2001 'Disponibilita' di Sistemi per reti wireless finanziato da MOTOROLA ITALIA
• 1999-2000 Supporto alle analisi quantitative della sicurezza secondo le metodologie proposte in ambito GUARDS. Finanziato da Ansaldo Segnalamento Ferroviario
• 1999 progetto “Sistemi in tempo reale cooperativi dependeble” - DECOR, nel framework di cooperazione fra il CNR ed il 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 Coordinatore nazionale del Progetto Coordinato 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. progetto Coordinato del Comitato 12 'Scienze e tecnologie dell'informazione' del CNR “Metodologie, architetture, ambienti di progetto e valutazione per sistemi di elaborazione distribuiti.”
• 1993. progetto speciale del 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).

COOPERAZIONE CON INDUSTRIE E ATTIVITA’ PROFESSIONALE
Andrea Bondavalli ha una lunga storia di collaborazione con industrie e altre organizzazioni pubbliche (come la commissione europea) e professionali. Questa collaborazione si sviluppa attraverso attivita' quali, selezione di proposte e monitoraggio di progetti attivi in qualita' di esperto, partecipazione a consultation panels per la definizione di programmi di ricerca, partecipazione in qualita' di esperto in attivita' di standardizzazione e da ultimo come consulente industriale.
Inoltre Andrea Bondavalli ha promosso la costituzione di una startup la ResilTech S.r.l. (di cui e’ consulente per le strategie e attivita’ di ricerca) in fase di riconoscimento come SPINOFF accademica dell’Università di Firenze. La Resiltech s.r.l. nata alla fine del 2007 svolge attivita’ di verifica e validazione oltre che di supporto alla progettazione di sistemi critici e conta oggi 16 unità fra dipendenti e collaboratori. http://www.resiltech.com/

• 2008-2012 Esperto della Commissione Europea per la selezione di proposte di progetto nel settimo Framework (ICT, Trust&Security; Embedded Systems)
• 2012- Esperto per la valutazione di progetti per il Romanian National Council for Research and Development, -- evaluator for Partnership Programme - Joint Applied Research Projects - PCCA 2011.
• 2010 Esperto per la valutazione di progetti per la 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 Esperto della Commissione Europea per il monitoraggio e la valutazione del progetto
• TERESA
• 2005-2007 Esperto della Commissione Europea per la selezione di proposte di progetto nel sesto Framework (ICT, Trust&Security; Embedded Systems)
• 2004 consulente per il EEIG ERTMS Users Group per la valutazione e il confronto di due proposte di standard per la interfaccia sicura RBC-RBC e successiva selezione (nell'ambito della standardizzazione europea dei sistemi per l'alta velocita ferroviaria).
• 2001-2004 Esperto della Commissione Europea per il monitoraggio e la valutazione dei progetti DBench and SAFEPC
• 1994 - 2000 representante del CNUCE nel consiglio scientifico del PDCC (Pisa Dependable Computing Center).

ATTIVITÀ ACCADEMICHE

Attualmente e’ Advisor degli studenti di dottorato
• Leonardo Montecchi
• Nicola Nostro

E’ stato advisor di
• Ivan Mura { Ingegneria Informatica - Universita di Pisa (undicesimo ciclo)
• Andrea Coccoli { Ingegneria Informatica - Universita di Pisa (quattordicesimo ciclo);
• Domenico Cotroneo { Ingegneria Informatica - Universita di Napoli Federico II (quattordicesimo
• ciclo);
• Stefano Porcarelli - Ingegneria Informatica - Universita di Pisa (quindicesimo ciclo);
• Paolo Lollini - Informatica - Universita di Firenze (diciottesimo ciclo);
• Lorenzo Falai - Informatica - Universita di Firenze (ventesimo ciclo).
• Alessandro Daidone - Informatica - Universita di Firenze (ventiduesimo ciclo)
• Francesco Brancati - Informatica - Universita di Firenze (ventiquattresimo ciclo)
• Andrea Ceccarelli – Ingegneria Informatica - Universita di Firenze (ventiquattresimo ciclo)

E’stato membro di Giurie di dottorato di
• Mourad Rabah presso L'Institut National Polytechnique de Toulouse (Francia) 2000;
• Claudia Betous-ALMEIDA presso L'Institut National Polytechnique de Toulouse (Francia) - 2002;
• Peter Urban presso L'Ecole Polytechnique Federale de Lausanne (Svizzera) - 2003;
• Stefan Schemmer presso L'Universita' di Magdeburgo (Germania) - 2004;
• Marco Paulo Amorim Vieira presso La Universidade de Coimbra - Portugal- 2005;
• Ilir Gashi, Centre for Software Reliability, City University London United Kingdom - 2007;
• Thibault Renier presso L'Universita' di AAlborg (Danimarca) - 2008;
• Anders Nickelsen presso L'Universita' di AAlborg (Danimarca) - 2010;
• ERLING Matthiesen L'Universita' di AAlborg (Danimarca) 2012
• Nuno Laranjero presso La Universidade de Coimbra - Portugal- 2012

Ha ospitato nel suo gruppo di ricerca per soggiorni di lunga durata vari colleghi e postdocs, fra cui
- Edgar Nett
- Hans Peter Schwefel
- Andras Pataricza
- Istvan Majzik
- Gyorgy Csertan

Relazioni su Invito:
- Accademia selle scienze - Sofia - Bulgaria
- IRIS EnergoInvest - Sarajevo - Yugoslavia
- University of Southampton (UK)
- GMD - St. Agustin (D)
- Silesian Technical University- Gliwice (PL)
- Technical University of Budapest (HU)
- University of Illinois at Urbana (USA)
- University of West Virginia (USA)
- University of Magdeburg (D)
- EPFL Ginevra, (CH)
- FTW Vienna (AU)
- Alborg University' (DK)
- University di Vienna (AU)

KeYNotes
Andrea Bondavalli e’ stato invitato ed ha tenuto i seguenti Keynote Speeches

• “HIDENETS: **Highly DEpendable ip-based NETworks and Services” at The Inaugural International Workshop on Dependability in Service-oriented Grids associated with IEEE SRDS-25 Leeds Oct. 2005.
• Model based resilience assessment of critical information infrastructures at SAFECOMP 2011 The 30th International Conference on Computer Safety, Reliability and Security, Naples, Italy 19 / 21 September 2011
• “ALARP- A railway automatic track warning system based on distributed personal mobile terminals” at Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESECLCCI) associated with SAFECOMP 2012, Magdeburg, Sept 2012.

Andrea Bondavalli e' stato inoltre promotore, insieme ai Prof. Mario Dal Cin, Klaus Echtle ed Erik Maehle, del Dagstuhl Seminar 00131 sul tema 'Validation of Dependable Behaviour of Safety- and Mission-Critical Computing Systems tenutosi dal 26 al 31 Marzo 2000

SCUOLE DI DOTTORATO
Andrea Bondavalli e’ stato co-organizzatore della scuola di dottorato " Winter School: Hot Topics in Secure and Dependable Computing for Critical Infrastructures, Jan. 15-19 2012, Cortina D'Ampezzo, Italy

COMITATI DI REDAZIONE SCIENTIFICI
Andrea Bondavalli e' membro del comitato di redazione scientifico di International Journal of Critical Computer-Based Systems.

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

STEERING COMMITTEE DI CONFERENZE INTERNAZIONALI
• SRDS- IEEE Symposium on Reliable Distributed Systems MEMBRO dal 2006 e CHAIR per il triennio 2012-2015
• LADC- Latin-American Dependable Computing Conference dal 2007 al 2012

PRESIDENZE DI CONFERENZE
General chair
• SRDS-22 - 22nd IEEE Symposium on Reliable Distributed Systems (2003)
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)

PRESIDENZE DI WORKSHOP
• “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)

MEMBRO DEL PROGRAM COMMITTEE DI (NON COMPLETO):
• 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)
• SRDS - IEEE Symposium on Reliable Distributed Systems (1995, 2001, 2002, 2004, 2006, 2007)
• EDCC - European Dependable Computing Conference (1996, 1999, 2005, 2006, 2008, 2012)
• LADC - Latin-American Dependable Computing Conference (2003, 2005, 2011)
• SAFECOMP - International Conference on Computer Safety, Reliability and Security (2001, 2002, 2003, 2004, 2005, 2006, 2011, 2012, 2013)
• 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)
• 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)
• DCCS'94 - 12th IFAC Workshop on Distributed Computer Control Systems (1994)
• FTDCS-97 - IEEE Intl. Workshop on Future Trends of Distributed Computing Systems (1997)

CITAZIONI
Secondo Google Scholar, Andrea Bondavalli raccoglie circa 2050 citazioni (settembre 2012) con un h-index di 25.

ARTICOLI SCIENTIFICI
Andrea Bondavalli ha pubblicato più di 35 articoli su prestigiose riviste internazionali e 135 articoli su conferenze e workshops internazionali.

IMPORTANT LINKS:
DBLP: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bondavalli:Andrea.html
Scholar: http://scholar.google.it/citations?user=rRB5ge4AAAAJ&hl=it

Andrea BONDAVALLI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Gharib M.; Zoppi T.; Bondavalli A. (2021). Understanding the properness of incorporating machine learning algorithms in safety-critical systems. In: 36th Annual ACM Symposium on Applied Computing, SAC 2021, online, 2021, Association for Computing Machinery, pp. 232-234, ISBN:9781450381048 DOI Accesso ONLINE all'editore

Bertieri D.; Ceccarelli A.; Zoppi T.; Mungiello I.; Barbareschi M.; Bondavalli A. (2021). Development and validation of a safe communication protocol compliant to railway standards. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 27, pp. 0-0, ISSN:0104-6500 DOI

Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2021). IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems. JOURNAL ON DATA SEMANTICS, pp. 0-0, ISSN:1861-2032 DOI Accesso ONLINE all'editore

tommaso zoppi, andrea ceccarelli, tommaso capecchi, andrea bondavalli (2021). Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape. ACM/IMS TRANSACTIONS ON DATA SCIENCE, vol. 2, pp. 1-26, ISSN:2691-1922 DOI Accesso ONLINE all'editore

Staderini, Mirko; Bondavalli, Andrea (2021). Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts. In: 28th Minisymposium of the Department of Measurement and Information Systems of the Budapest University of Technology and Economic, Department of Measurement and Information Systems, Budapest University of Technology and Economics., pp. 36-39.

Atif M.; Zoppi T.; Gharib M.; Bondavalli A. (2021). Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition. In: 36th Annual ACM Symposium on Applied Computing, SAC 2021, online, 2021, Association for Computing Machinery, pp. 174-177, ISBN:9781450381048 DOI Accesso ONLINE all'editore

Zoppi Tommaso ; Ceccarelli Andrea; Bondavalli Andrea (2021). Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application. IEEE ACCESS, vol. 9, pp. 90603-90615, ISSN:2169-3536 DOI

Staderini, Mirko; Bondavalli, Andrea (2021). Investigation on Vulnerabilities Location in Solidity Smart Contracts. In: Blockchain 2021, Prieto J., Partida A., Leitão P., Pinto A. (eds), vol. 320, pp. 199-211, ISBN:978-3-030-86161-2 DOI

leonardo montecchi, paolo lollini, andrea bondavalli (2020). A template-based methodology for the specification and automated composition of performability models. IEEE TRANSACTIONS ON RELIABILITY, vol. 69, pp. 293-309, ISSN:0018-9529 DOI Accesso ONLINE all'editore

Zoppi T.; Ceccarelli A.; Salani L.; Bondavalli A. (2020). On the educated selection of unsupervised algorithms via attacks and anomaly classes. JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 52, pp. 0-0, ISSN:2214-2134 DOI

Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2020). Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, IEEE, pp. 000217-000222, ISBN:978-1-7281-8050-2 DOI Accesso ONLINE all'editore

Zoppi T.; Ceccarelli A.; Bondavalli A. (2020). Into the unknown: Unsupervised machine learning algorithms for anomaly-based intrusion detection. In: DEPENDABLE SYSTEMS AND NETWORKS, esp, 2020, Institute of Electrical and Electronics Engineers Inc., pp. 81-81, ISBN:978-1-7281-7260-6 DOI

Staderini, Mirko; Palli, Caterina; Bondavalli, Andrea (2020). Classification of Ethereum Vulnerabilities and their Propagations. In: The Second International Conference on Blockchain Computing and Applications (BCCA 2020), IEEE, pp. 44-51, ISBN:978-1-7281-8370-1 DOI Accesso ONLINE all'editore

Maqsood H.M.; Bondavalli A. (2020). Agility of security practices and agile process models: An evaluation of cost for incorporating security in agile process models. In: 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, 2020, SciTePress, pp. 331-338, ISBN:978-989758421-3

Staderini, Mirko; Palli, Caterina (2020). An Analysis on Ethereum Vulnerabilities and Further Steps. In: 27th Minisymposium of the Department of Measurement and Information Systems of the Budapest University of Technology and Economic, Department of Measurement and Information Systems, Budapest University of Technology and Economics., pp. 21-24.

Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli (2019). Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Hangzhou, China, Jan 3 – 5, 2019, IEEE Computer Society, pp. 74-81, ISBN:978-1-5386-8540-2 DOI

Morganti G.; Schiavone E.; Bondavalli A. (2019). Risk Assessment of Blockchain Technology. In: 8th Latin-American Symposium on Dependable Computing, LADC 2018, bra, 2018, Institute of Electrical and Electronics Engineers Inc., pp. 87-96, ISBN:978-1-5386-8489-4 DOI

Staderini, Mirko; Schiavone, Enrico; Bondavalli, Andrea (2019). A requirements-driven methodology for the proper selection and configuration of blockchains. In: SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, Mathematics and Statistics Institute of Federal University of Bahia (UFBA), bra, 2018, IEEE Computer Society, vol. 2019-, pp. 201-206, ISBN:9781538683019 DOI Accesso ONLINE all'editore

tommaso zoppi, andrea ceccarelli, andrea bondavalli (2019). An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection. In: Workshop on Cyber Security & Resilience in the Internet of Things (CSRIoT 2019), Milan, Italy, 8-11/7/2019, IEEE Computer Society, pp. 99-104. DOI Accesso ONLINE all'editore

Zoppi T.; Ceccarelli A.; Bondavalli A. (2019). MADneSs: a Multi-layer Anomaly Detection Framework for Complex Dynamic Systems. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 18, pp. 796-809, ISSN:1545-5971 DOI Accesso ONLINE all'editore

Filipe Falcao, Tommaso Zoppi, Caio Barbosa, Anderson Santos, Baldoino Fonseca, Andrea Ceccarelli, Andrea Bondavalli (2019). Quantitative Comparison of Unsupervised Anomaly Detection Algorithms for Intrusion Detection. In: ACM SYMPOSIUM ON APPLIED COMPUTING, Limassol, Cyprus, 8-12/4/2019, ACM, New York, NY, USA, pp. 318-327, ISBN:978-1-4503-5933-7 DOI

mohamad gharib, paolo lollini, andrea bondavalli (2019). Toward a Model-based Approach for Analyzing Information Quality Requirements for Smart Grid. In: International Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds, Naples, 17-20 September 2019, IEEE Conference Publishing Services, pp. 183-185. Accesso ONLINE all'editore

Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi (2019). The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. In: SAFECOMPW-SASSUR 2019, Springer, pp. 185-197, ISBN:978-3-030-26249-5

Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli (2019). Evaluation of Anomaly Detection algorithms made easy with RELOAD. In: INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, IEEE Computer Society, pp. 0-0.

Schiavone E.; Ceccarelli A.; Carvalho A.; Bondavalli A. (2019). Design, implementation, and assessment of a usable multi-biometric continuous authentication system. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 9, pp. 215-247, ISSN:1757-8779 DOI

Bertieri D.; Zoppi T.; Mungiello I.; Ceccarelli A.; Barbareschi M.; Bondavalli A. (2019). Practical Experience Report: Implementation, verification and validation of a safe and secure communication protocol for the railway domain. In: 9th Latin-American Symposium on Dependable Computing, LADC 2019, Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:978-1-7281-6622-3 DOI

Gharib M.; Bondavalli A. (2019). On the evaluation measures for machine learning algorithms for safety-critical systems. In: 15th European Dependable Computing Conference, EDCC 2019, ita, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 141-144, ISBN:978-1-7281-3929-6 DOI

Da Silva L.D.; Mongelli D.; Lollini P.; Bondavalli A.; Mando G. (2019). Performability analysis of a tramway system with virtual tags and local positioning. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 1-10, ISBN:978-1-7281-6622-3 DOI Accesso ONLINE all'editore

Nostro N.; Shahid K.; Bondavalli A.; Schwefel H.-P. (2019). Resilient access to heterogeneous measurement data for grid observability. In: 15th European Dependable Computing Conference, EDCC 2019, ita, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 180-182, ISBN:978-1-7281-3929-6 DOI

ANDREA CECCARELLI, TOMMASO ZOPPI, ALEXANDR VASENEV, MARCO MORI, DAN IONITA, LORENA MONTOYA, ANDREA BONDAVALLI (2019). Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, vol. 3, pp. 1-24, ISSN:2378-962X DOI Accesso ONLINE all'editore

Bondavalli, Andrea; Ceccarelli, Andrea; Lollini, Paolo; Montecchi, Leonardo; Mori, Marco (2018). System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions. IEEE SYSTEMS JOURNAL, vol. 12(1), pp. 250-261, ISSN:1932-8184 DOI Accesso ONLINE all'editore

Zoppi, Tommaso; Ceccarelli, Andrea; Lo Piccolo, Francesco; Lollini, Paolo; Giunta, Gabriele; Morreale, Vito; Bondavalli, Andrea (2018). Labelling Relevant Events to Support the Crisis Management Operator. JOURNAL OF SOFTWARE, vol. 30, pp. 0-0, ISSN:2047-7481 DOI Accesso ONLINE all'editore

tommaso zoppi, andrea ceccarelli, andrea bondavalli (2018). On Algorithms Selection for Unsupervised Anomaly Detection. In: PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, Taipei, Taiwan, 4-7/12/2018, IEEE Computer Society, vol. 2018-December, pp. 279-288, ISBN:978-153865700-3 DOI

Mauro D'Arco , Alfredo Renga , Andrea Ceccarelli , Francesco Brancati , Andrea Bondavalli (2018). Enhancing workers safety in worksites through augmented GNSS sensors. MEASUREMENT, vol. 117, pp. 144-152, ISSN:0263-2241 DOI Accesso ONLINE all'editore

Gharib, Mohamad*; Lollini, Paolo; Botta, Marco; Amparore, Elvio; Donatelli, Susanna; Bondavalli, Andrea (2018). On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018, Parc Alvisse Hotel, lux, 2018, Institute of Electrical and Electronics Engineers Inc., pp. 271-274, ISBN:9781538655955 DOI Accesso ONLINE all'editore

Mori, Marco; Ceccarelli, Andrea; Lollini, Paolo; Frömel, Bernhard; Brancati, Francesco; Bondavalli, Andrea (2018). Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. JOURNAL OF SOFTWARE, vol. 30, pp. 0-0, ISSN:2047-7481 DOI Accesso ONLINE all'editore

Itria, Massimiliano L.; Kocsis-Magyar, Melinda; Ceccarelli, Andrea; Lollini, Paolo; Giunta, Gabriele; Bondavalli, Andrea (2017). Identification of critical situations via Event Processing and Event Trust Analysis. KNOWLEDGE AND INFORMATION SYSTEMS, pp. 147-178, ISSN:0219-1377 DOI Accesso ONLINE all'editore

Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Exploring Anomaly Detection in Systems of Systems. In: ACM SYMPOSIUM ON APPLIED COMPUTING, Marrakech, Marocco, 4-7/4/2017, ACM, vol. ..., pp. 1139-1146, ISBN:978-1-4503-4486-9 DOI Accesso ONLINE all'editore

Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Risk assessment of a biometric continuous authentication protocol for internet services. In: Italian Conference on Cybersecurity (ITASEC17), Venezia, 17 - 20 Gennaio, 2017, Alessandro Armando,Roberto Baldoni,Riccardo Focardi, vol. 1816, pp. 53-65. Accesso ONLINE all'editore

Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2017). A conceptual model for analyzing information quality in System-of-Systems. In: 12th System of Systems Engineering Conference, SoSE 2017, usa, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:9781509059454 DOI

Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: CRITICAL INFORMATION INFRASTRUCTURES SECURITY, Lucca, Italy, Ottobre 8 -13, Gregorio D'Agostino, pp. 194-206, ISBN:978-3-319-99842-8 DOI

Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2017). Towards an approach for analyzing trust in Cyber-Physical-Social Systems. In: 12th System of Systems Engineering Conference, SoSE 2017, usa, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:9781509059454 DOI

Bondavalli, Andrea, Brancati, Francesco (2017). Certifications of Critical Systems - The CECRIS Experience. River Publishers, pp. 1-278, 9788793519565. Accesso ONLINE all'editore

Basso, Tania; Montecchi, Leonardo; Moraes, Regina; Jino, Mario; Bondavalli, Andrea (2017). PrivAPP: An integrated approach for the design of privacy-aware applications. SOFTWARE-PRACTICE & EXPERIENCE, pp. 0-0, ISSN:0038-0644 DOI

Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli, Marco Vieira (2017). A Monitoring and Testing Framework for Critical Off-the-Shelf Applications and Services. In: Nuno Antunes, Francesco Brancati, Andrea Ceccarelli, Andrea Bondavalli and Marco Vieira. Certifications of Critical Systems - The CECRIS Experience, pp. 201-226 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

Valentina Bonfiglio, Francesco Brancati, Francesco Rossi, Andrea Bondavalli, Leonardo Montecchi, Andras Pataricza, Imre Kocsis, Vince Molnar (2017). Composable Framework Support for Software-FMEA through Model Execution. In: Valentina Bonfiglio, Francesco Brancati, Francesco Rossi, Andrea Bondavalli, Leonardo Montecchi, Andras Pataricza, Imre Kocsis and Vince Molnar. Certifications of Critical Systems - The CECRIS Experience, pp. 183-200 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

Andras Pataricza, Imre Kocsis, Francesco Brancati, Lorenzo Vinerbi, Andrea Bondavalli (2017). Lightweight Formal Analysis of Requirements. In: Andras Pataricza, Imre Kocsis, Francesco Brancati, Lorenzo Vinerbi and Andrea Bondavalli. Certifications of Critical Systems - The CECRIS Experience, pp. 143-166 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

Andras Pataricza, Laszlo Gonczy, Francesco Brancati, Francisco Moreira, Nuno Silva, Rosaria Esposito, Andrea Bondavalli, Alexandre Esper (2017). Cost Estimation for Independent Systems Verification and Validation. In: Andras Pataricza, Laszlo Gonczy, Francesco Brancati, Francisco Moreira, Nuno Silva, Rosaria Esposito, Andrea Bondavalli and Alexandre Esper. Certifications of Critical Systems - The CECRIS Experience, pp. 117-142 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

Arun Babu Puthuparambil, Francesco Brancati, Andrea Bondavalli, Andrea Ceccarelli (2017). SYSML-UML Like Modeling Environment Based on Google Blockly Customization. In: Andrea Bondavalli, Francesco Brancati. Certifications of Critical Systems - The CECRIS Experience, pp. 65-80 River Publishers, ISBN:9788793519565. Accesso ONLINE all'editore

Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Continuous Biometric Verification for Non-Repudiation of Remote Services. In: International Conference on Availability, Reliability and Security, Francesco Buccafurri, pp. 1-10, ISBN:978-1-4503-5257-4 Accesso ONLINE all'editore

Zoppi, Tommaso; Ceccarelli, Andrea; Lollini, Paolo; Bondavalli, Andrea; Lo Piccolo, Francesco; Giunta, Gabriele; Morreale, Vito (2016). Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Orlando, Florida, 7-9/1/2016, IEEE, vol. 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), pp. 228-235, ISBN:978-1-4673-9913-5 DOI Accesso ONLINE all'editore

Enrico Schiavone; Andrea Ceccarelli; Andrea Bondavalli; Ariadne M. B. R. Carvalho (2016). Usability Assessment in a Multi-biometric Continuous Authentication System. In: 7th Latin-American Symposium on Dependable Computing, LADC 2016, IEEE, pp. 43-50, ISBN:978-1-5090-5120-5 DOI

Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Context-Awareness to improve Anomaly Detection in Dynamic Service Oriented Architectures. In: INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY, Trondheim, Norway, 20-23 September 2016, Springer, vol. 9922, pp. 145-158, ISBN:978-3-319-45476-4 DOI

Montecchi, Leonardo; Refsdal, Atle; Lollini, Paolo; Bondavalli, Andrea (2016). A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. In: DEPENDABLE SYSTEMS AND NETWORKS, Toulouse, France, June 28 - July 1, 2016, IEEE, pp. 275-286, ISBN:978-1-4673-8891-7 DOI Accesso ONLINE all'editore

Nostro, Nicola; Matteucci, Ilaria; Ceccarelli, Andrea; Santini, Francesco; Di Giandomenico, Felicita; Martinelli, Fabio; Bondavalli, Andrea (2016). A multi-criteria ranking of security countermeasures. In: ACM SYMPOSIUM ON APPLIED COMPUTING, ita, 2016, Association for Computing Machinery, vol. 04-08-, pp. 530-533, ISBN:978-1-4503-3739-7 DOI Accesso ONLINE all'editore

Mori, Marco; Ceccarelli, Andrea; Zoppi, Tommaso; Bondavalli, Andrea (2016). On the impact of emergent properties on SoS security. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, Kongsberg, Norway, 12-16/6/2016, IEEE, pp. 0-0, ISBN:978-1-4673-8727-9

Nicola Nostro; Davide Iacono; Andrea Ceccarelli; Andrea Bondavalli (2016). Towards Failure and Intrusion Detection in Systems of Systems: Challenges and an Approach. In: ISORCW-SORT (Workshop on Self-Organizing Real-Time Systems) 2016, York, UK, IEEE, pp. 0-0.

Mori, Marco; Ceccarelli, Andrea; Lollini, Paolo; Bondavalli, Andrea; Frömel, Bernhard (2016). A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, usa, 2016, IEEE Computer Society, pp. 276-283, ISBN:978-1-4673-9913-5 DOI

Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Challenging Anomaly Detection in Complex Dynamic Systems. In: 2016 IEEE 35th Symposium on Reliable Distributed Systems, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI

Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Continuous Authentication and Non-repudiation for the Security of Critical Systems. In: SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI Accesso ONLINE all'editore

Ceccarelli, Andrea; Bondavalli, Andrea; Froemel, Bernhard; Hoeftberger, Oliver; Kopetz, Hermann (2016). Basic concepts on Systems of Systems. In: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz. Cyber-Physical Systems of Systems. Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 0-0 Springer International Publishing, ISBN:978-3-319-47589-9. DOI

Bernini, Riccardo; Bondavalli, Andrea; Lollini, Paolo; Montecchi, Leonardo (2016). Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. In: 12th European Dependable Computing Conference (EDCC 2016), Gothenburg, Sweden, September 5-9, 2016, IEEE, pp. 197-207, ISBN:978-1-5090-1582-5 DOI Accesso ONLINE all'editore

Eleuterio, Jane Dirce Alves Sandim; Gaia, Felipe Nunes; Bondavalli, Andrea; Lollini, Paolo; Rodrigues, Genaina Nunes; Rubira, Cecilia Mary Fischer (2016). On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. In: 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Limassol, Cyprus, 31 Aug.-2 Sept. 2016, IEEE, pp. 323-330, ISBN:978-1-5090-2820-7 DOI Accesso ONLINE all'editore

Andrea Bondavalli, Sara Bouchenak, Herman Kopetz (2016). CYBER-PHYSICAL SYSTEMS OF SYSTEMS Foundations, a conceptual model and some derivations: the AMADEOS legacy. di Andrea Bondavalli, Sara Bouchenak, Herman Kopetz, Springer Verlag, pp. 1-255, 978331947589-9. Accesso ONLINE all'editore

Kopetz, Hermann; Bondavalli, Andrea; Brancati, Francesco; Frömel, Bernhard*; Höftberger, Oliver; Iacob, Sorin (2016). Emergence in cyber-physical systems-of-systems (CPSoSs). In: Andrea Bondavalli, Sara Bouchenak, Herman Koptetz. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 73-96 Springer Verlag, ISBN:978-3-319-47589-9. DOI Accesso ONLINE all'editore

Patricia, Andras; Gonczy, Laszlo; Brancati, Francesco; Moreira, Francisco; Silva, Nuno; Esposito, Rosaria; Salani, Agnes; Bondavalli, Andrea (2016). Towards an analysis framework for cost & quality estimation of V&V projects. In: DAta Systems in Aerospace Conference, DASIA 2016, Tallinn; Estonia, 10 May 2016 through 12 May 2016, Ouwehand L., vol. SP-736, pp. 0-0, ISBN:978-929221301-5 Accesso ONLINE all'editore

Veeraragavan, Narasimha Raghavan; Montecchi, Leonardo; Nostro, Nicola; Vitenberg, Roman; Meling, Hein; Bondavalli, Andrea (2016). Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 27, pp. 2667-2681, ISSN:1045-9219 DOI Accesso ONLINE all'editore

Bondavalli, Andrea; Ceccarelli, Andrea; Brancati, Francesco; Santoro, Diego; Vadursi, Michele (2016). Differential analysis of Operating System indicators for anomaly detection in dependable systems: An experimental study. MEASUREMENT, vol. 80, pp. 229-240, ISSN:0263-2241 DOI Accesso ONLINE all'editore

Andrea Ceccarelli; Leonardo Montecchi; Francesco Brancati; Paolo Lollini; A. Marguglio; Andrea Bondavalli. (2015). Continuous and Transparent User Identity Verification for Secure Internet Services. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 12, pp. 270-283, ISSN:1545-5971 DOI Accesso ONLINE all'editore

Tommaso Zoppi; Andrea Bondavalli; Andrea Ceccarelli; Massimiliano Itria (2015). A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. In: INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY, Delft, 22-09-2015, Springer, vol. 9337, pp. 166-180, ISBN:978-3-319-24254-5 DOI

Ceccarelli, Andrea; Mori, Marco; Lollini, Paolo; Bondavalli, Andrea (2015). Introducing Meta-Requirements for Describing System of Systems. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, usa, January 8 - 10, 2015, IEEE Computer Society, vol. 2015-, pp. 150-157, ISBN:978-1-4799-8111-3 DOI Accesso ONLINE all'editore

Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea (2015). Continuous User Identity Verification for Trusted Operators in Control Rooms. In: ICA3PP International Conference on Algorithms and Architectures for Parallel Computing, Zhangjiajie, China, November 18-20, 2015, Guojun Wang, vol. 9532, pp. 187-200, ISBN:978-3-319-27161-3 DOI Accesso ONLINE all'editore

Basso, Tania; Montecchi, Leonardo; Moraes, Regina; Jino, Mario; Bondavalli, Andrea (2015). Towards a UML Profile for Privacy-Aware Applications. In: The 15th IEEE International Conference on Computer and Information Technology (CIT-2015), Liverpool, UK, 26-28 October 2015, IEEE, pp. 371-378, ISBN:978-1-5090-0153-8 DOI Accesso ONLINE all'editore

Bonfiglio, Valentina; Montecchi, Leonardo; Irrera, Ivano; Rossi, Francesco; Lollini, Paolo; Bondavalli, Andrea (2015). Software Faults Emulation at Model-Level: Towards Automated Software FMEA. In: 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015), IEEE, pp. 133-140, ISBN:978-1-4673-8044-7 DOI

Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli; (2015). Executable Models to Support Automated Software FMEA. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Daytona Beach Shores, FL, USA, 8-10 January 2015, IEEE, pp. 189-196, ISBN:9781479981106 DOI Accesso ONLINE all'editore

Ceccarelli, Andrea; Bondavalli, Andrea (2015). On trustworthy measurements when testing dependable systems: a discussion and experiences. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 6, pp. 154-170, ISSN:1757-8779 DOI

Kopetz, H.; Höftberger, O.; Frömel, B.; Brancati, F.; Bondavalli, A. (2015). Towards an understanding of emergence in systems-of-systems. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, usa, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 214-219, ISBN:9781479976119 DOI

Brancati, Francesco; Pataricza, András; Silva, Nuno; Hegedüs, Ábel; Gönczy, László; Bondavalli, Andrea; Esposito, Rosaria (2015). Cost Prediction for V&V and Certification Processes. In: 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015, bra, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 57-62, ISBN:9781467380447 DOI

Leonardo Montecchi ; Nicola Nostro ; Andrea Ceccarelli ; Giuseppe Vella ; Antonio Caruso ; Andrea Bondavalli (2015). Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 5, pp. 113-133, ISSN:1571-0661 DOI Accesso ONLINE all'editore

Rossi, Magali Andreia; De Oliveira, Fabricio B.; Lollini, Paolo; Bondavalli, Andrea; Corrêa, Mario (2015). Zarzirbird project: Modeling RPAS dynamics for load stability. In: 34th Digital Avionics Systems Conference, DASC 2015, Corinthia Hotel, cze, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 1-23, ISBN:9781479989409 DOI Accesso ONLINE all'editore

francesco brancati, claudio fantacci, andrea bondavalli, andrea ceccarelli (2015). Metodo e apparato per una segnalazione resiliente del tempo. Numero: 102015000072477 Resiltech SRL

Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2015). Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. In: International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015), IEEE, pp. 33-38, ISBN:978-1-4673-8044-7 DOI

A. Bovenzi; F. Brancati; S. Russo; A. Bondavalli (2014). An OS-level Framework for Anomaly Detection in Complex Software Systems. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 12, pp. 366-372, ISSN:1545-5971 DOI

Nicola Nostro; Andrea Ceccarelli; Francesco Brancati; Andrea Bondavalli (2014). Insider Threat Assessment: a Model-Based Methodology. OPERATING SYSTEMS REVIEW, vol. 48, pp. 3-12, ISSN:0163-5980 DOI Accesso ONLINE all'editore

Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (2014). A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. In: Tenth EuropeanDependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13-16 May 2014, IEEE, pp. 82-93. DOI Accesso ONLINE all'editore

Rossi, Magali Andreia; Lollini, Paolo; Bondavalli, Andrea; Romani de Oliveira, Italo; Rady de Almeida, Jorge (2014). A safety assessment on the use of CPDLC in UAS communication system. In: Digital Avionics Systems Conference, Colorado Springs, CO, 5-9 Oct. 2014, IEEE/AIAA, pp. 6B1-1-6B1-11, ISBN:978-1-4799-5001-0 DOI Accesso ONLINE all'editore

Bondavalli, Andrea; Ceccarelli, Andrea; Ortmeier, Frank (2014). Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. di Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier, Springer International Publishing, pp. 1-456, 978-3-319-10556-7.

Andrea Ceccarelli;Tommaso Zoppi;Andrea Bondavalli;Fabio Duchi;Giuseppe Vella (2014). A Testbed for Evaluating Anomaly Detection Monitors through Fault Injection. In: 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Reno, NV, USA, 10-12 June 2014, IEEE, pp. 358-365, ISBN:978-1-4799-4430-9 DOI

Fabio Duchi; Nuno Antunes; Andrea Ceccarelli; Giuseppe Vella; Francesco Rossi; Andrea Bondavalli (2014). Cost-Effective Testing for Critical Off-the-Shelf Services. In: 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, Florence (Italy), September 8th 2014, Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier, vol. 8696, pp. 231-242, ISBN:978-3-319-10557-4 DOI Accesso ONLINE all'editore

A. Bondavalli; A. Ceccarelli; F. Brancati; D. Santoro; M. Vadursi (2014). Anomaly detection in sistemi complessi mediante monitoraggio di variabili di sistema operativo. In: XXXI Congresso Nazionale Associazione "Gruppo Misure Elettriche ed Elettroniche, Ancona, 11-13 Settembre 2014, Gruppo Misure Elettriche ed Elettroniche, pp. 0-0, ISBN:978-88-97683-67-4

Nicola Nostro; Andrea Bondavalli; Nuno Silva (2014). Adding Security Concerns to Safety Critical Certification. In: 4th edition of the IEEE International Workshop on Software Certification (WoSoCer2014), Naples (Italy), November 3-6, 2014, IEEE, pp. 521-526. DOI

Nicola Nostro; Ilaria Matteucci; Andrea Ceccarelli; Felicita Di Giandomenico; Fabio Martinelli; Andrea Bondavalli (2014). On Security Countermeasures Ranking through Threat Analysis. In: 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, Florence (Italy), September 8-9, 2014, Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier, vol. 8696, pp. 243-254, ISBN:978-3-319-10557-4 DOI Accesso ONLINE all'editore

Bondavalli, Andrea; Di Giandomenico, Felicita (2014). Computer Safety, Reliability, and Security. di Andrea Bondavalli, Felicita Di Giandomenico, Springer, 978-3-319-10505-5. Accesso ONLINE all'editore

Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Andrea Bondavalli (2013). On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262. In: 2nd Workshop on Critical Automotive applications : Robustness & Safety, Toulouse, France, 24-27 September 2013, HAL, pp. 1-6.

Joao Figueiras;Jesper Gronbaek;Hans-Peter Schwefel;Andrea Bondavalli (2013). Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites. In: 2013 Sixth Latin-American Symposium on Dependable Computing, Rio de Janeiro (Brazil), April 1-5, 2013, IEEE Press, pp. 31-39, ISBN:9780769549620 DOI

Andrea Bondavalli;Francesco Brancati;Andrea Ceccarelli;Lorenzo Falai;Michele Vadursi (2013). Resilient estimation of synchronisation uncertainty through software clocks. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 4, pp. 301-322, ISSN:1757-8779 DOI Accesso ONLINE all'editore

Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (2013). A Reusable Modular Toolchain for Automated Dependability Evaluation. In: 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), Turin, Italy, 10-12 December 2013, ACM, pp. 298-303, ISBN:9781936968480 DOI Accesso ONLINE all'editore

Narasimha Raghavan; Leonardo Montecchi; Nicola Nostro; Andrea Bondavalli; Roman Vitenberg; Hein Meling (2013). Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis. In: 28th ACM Symposium On Applied Computing (SAC 2013) - Track on Dependable and Adaptive Distributed Systems (DADS), Coimbra, Portugal, 18-22 March 2013, Association for Computing Machinery, Inc. (ACM), pp. 439-446, ISBN:9781450316569 DOI

Alessandro Daidone; Thibault Renier; Andrea Bondavalli; Hans Peter Schwefel (2013). Optimal configuration of fault-tolerance parameters for distributed replicated server access. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 4, pp. 144-172, ISSN:1757-8779 DOI Accesso ONLINE all'editore

A. Bondavalli; F. Brancati; A. Flammini; S. Rinaldi"; (2013). Master Failure Detection Protocol in Internal Synchronization Environment. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, vol. 62, pp. .4-.12, ISSN:0018-9456

L. Montecchi;A. Ceccarelli;P. Lollini;A. Bondavalli (2013). Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system. In: Fourth IEEE Workshop on Self-Organizing Real-Time Systems, Paderborn, Germany, 2013-June 20th, IEEE, pp. 1-10, ISBN:978-1-4799-2111-9 DOI

Nuno Antunes;Francesco Brancati;Andrea Ceccarelli;Andrea Bondavalli;Marco Vieira (2013). A monitoring and testing framework for critical off-the-shelf applications and services. In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Pasadena, CA, 4-7 Nov. 2013, IEEE, pp. 371-374, ISBN:978-1-4799-2552-0 DOI

Nicola Nostro; Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati (2013). A methodology and supporting techniques for the quantitative assessment of insider threats. In: 2nd International Workshop on Dependability Issues in Cloud Computing - DISCCO '13, Braga (Portugal), 30 September 2013, Miguel Correia and Neeraj Mittal, pp. 1-6, ISBN:978-1-4503-2248-5 DOI Accesso ONLINE all'editore

Andrea Bondavalli; Francesco Brancati; Andrea Ceccarelli; Diego Santoro; Michele Vadursi (2013). Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems. In: 2013 IEEE International Workshop on Date of Conference Measurements and Networking, Naples (Italy), 7-8 Oct. 2013, Leopoldo Angrisani, pp. 138-142, ISBN:978-1-4673-2873-9 DOI Accesso ONLINE all'editore

Andrea Bondavalli;Francesco Brancati;Andrea Ceccarelli;Lorenzo Falai (2013). Providing Safety-Critical and Real-Time Services for Mobile Devices in Uncertain Environment. In: Higuera-Toledano, M. Teresa and Brinkschulte, Uwe and Rettberg, Achim. Self-Organization in Embedded Real-Time Systems, pp. 25-53 M. Teresa Higuera-Toledano and Uwe Brinkschulte and Achim Rettberg, ISBN:978-1-4614-1968-6. DOI Accesso ONLINE all'editore

Andrea Bondavalli; Andrea Ceccarelli; Florjan Gogaj; Andrea Seminatore; Michele Vadursi (2013). Experimental assessment of low-cost GPS-based localization in railway worksite-like scenarios. MEASUREMENT, vol. 46, pp. 456-466, ISSN:0263-2241 DOI

A. Bondavalli; H. Madeira; P. Lollini (2012). Future of resilience assessment: the AMBER research roadmap. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 1-25, Berlin: Springer Berlin / Heidelberg, ISBN:9783642290329. DOI Accesso ONLINE all'editore

M. Dixit; A. Casimiro; P. Lollini; A. Bondavalli; P. Veríssimo (2012). Adaptare: supporting automatic and dependable adaptation in dynamic environments. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, vol. 7, pp. 18:1-18:25, ISSN:1556-4665 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; A. Bondavalli; E. La Mattina (2012). Quantitative Security Evaluation of a Multi-Biometric Authentication System. In: DESEC4LCCI 2012, Magdeburg, Germany, 25-28 September 2012, Springer-Verlag, vol. 7613, pp. 209-221, ISBN:9783642336744 DOI Accesso ONLINE all'editore

P. Ferrari; A. Flammini; S. Rinaldi; A. Bondavalli; F. Brancati (2012). Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, vol. 61, pp. 1512-1521, ISSN:0018-9456 DOI Accesso ONLINE all'editore

A. Bondavalli; A. Ceccarelli; L. Falai; M. Vadursi (2012). Foundations of Metrology in the Observation of Critical Systems. In: Wolter, Katinka, Avritzer, Alberto, Vieira, Marco, van Moorsel, Aad. Resilience Assessment and Evaluation of Computing Systems, pp. 205-211 Springer Berlin Heidelberg, ISBN:9783642290312. DOI Accesso ONLINE all'editore

L. Coppolino; L. Romano; A. Bondavalli; A. Daidone (2012). A hidden Markov model based intrusion detection system for wireless sensor networks. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 3, pp. 210-228, ISSN:1757-8779 Accesso ONLINE all'editore

Andrea Ceccarelli; Andrea Bondavalli; Francesco Brancati; Ernesto La Mattina (2012). Improving Security of Internet Services through Continuous and Transparent User Identity Verification. In: 31st International Symposium on Reliable Distributed Systems, Irvine, CA, USA, 2012-Oct, IEEE, pp. 201-206, ISBN:978-1-4673-2397-0 DOI Accesso ONLINE all'editore

A. Bondavalli; P. Lollini; L. Montecchi (2012). Graphical formalisms for modeling critical infrastructures. In: F. Flammini. Critical infrastructure security: assessment, prevention, detection, response, pp. 57-73, Ashurst Lodge, Ashurst, Southampton: WIT Press, ISBN:9781845645625. DOI

B. Malinowsky; J. Gronbaek; H. Schwefel; A. Ceccarelli; A. Bondavalli; E. Nett (2012). Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems. In: Ninth European Dependable Computing Conference (EDCC'12), Sibiu, Romania, 2012-May, IEEE, pp. 144-155, ISBN:978-1-4673-0938-7 DOI Accesso ONLINE all'editore

Andrea Ceccarelli; Andrea Bondavalli; Joao Figueiras; Boris Malinowsky; Jurij Wakula; Francesco Brancati; Carlo Dambra;Antonio Seminatore (2012). Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System. In: 14th International Symposium on High-Assurance Systems Engineering, Omaha, NE, USA, 2012-Oct, IEEE, pp. 147-154, ISBN:978-1-4673-4742-6 DOI

Magali Andreia Rossi;Jorge Rady de Almeida Junior;Andrea Bondavalli;Paolo Lollini (2012). A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace. In: AFECOMP 2012 Workshops: DESEC4LCCI, Magdeburg, Germany, September 25, 2012, Frank Ortmeier and Peter Daniel, vol. 7613, pp. 271-281, ISBN:9783642336744 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; B. Malinowsky; J. Grønbæk; A. Bondavalli (2012). Model-based analysis of a protocol for reliable communication in railway worksites. In: The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2012), Paphos, Cyprus, 21-25 October 2012, ACM, pp. 23-32, ISBN:9781450316286 DOI Accesso ONLINE all'editore

A. Bondavalli; P. Lollini; I. Majzik; L. Montecchi (2012). Modelling and model-based assessment. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 153-165, berlin: Springer Berlin / Heidelberg, ISBN:9783642290312. DOI Accesso ONLINE all'editore

A. Bondavalli; O. Hamouda; M. Kaâniche; P. Lollini; I. Majzik; H.-P. Schwefel (2011). The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE TRANSACTIONS ON MOBILE COMPUTING, vol. 10, pp. 783-796, ISSN:1536-1233 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; A. Bondavalli (2011). Towards a MDE Transformation Workflow for Dependability Analysis. In: 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, NV, USA, 27-29 April 2011, IEEE, pp. 157-166, ISBN:9781612848532 DOI Accesso ONLINE all'editore

A. Bondavalli; L. Montecchi (2011). Metodi combinatori. In: A. Bondavalli. L'Analisi Quantitativa dei Sistemi Critici, pp. 59-91, Bologna: Esculapio, ISBN:9788874884315.

A. Bondavalli;F. Brancati;A. Ceccarelli (2011). Monitoring di Sistemi. In: Bondavalli, A.. L'analisi Quantitativa Dei Sistemi Critici, pp. 201-232, Bologna: Esculapio, ISBN:9788874884315.

A. Bondavalli; A. Ceccarelli; F. Gogaj; A. Seminatore; M. Vadursi (2011). Localization errors of low-cost GPS devices in railway worksite-like scenarios. In: IEEE International Workshop on Measurements & Networking (M&N 2011), IEEE, pp. 6-11, ISBN:978-1-4577-0457-4 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; A. Bondavalli (2011). Dependability concerns in model-driven engineering. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), Newport Beach, CA, USA, 28-31 March 2011, IEEE, pp. 254-263, ISBN:9781457703034 DOI Accesso ONLINE all'editore

M. A. Rossi; J. Rady de Almeida Junior; A. Bondavalli; P. Lollini (2011). Towards a federated simulation approach for reliability evaluation of unmanned aircraft vehicles within aeronautical communications networking. In: 30th IEEE Symposium on Reliable Distributed Systems Workshops, Madrid, October 4 -7, 2011, IEEE Computer Society Press, vol. Proc. of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW 2011), pp. 67-71, ISBN:9781457716249 DOI Accesso ONLINE all'editore

A. Ceccarelli; M. Vieira; A. Bondavalli (2011). A testing service for lifelong validation of dynamic SOA. In: HASE 2011 - 13th IEEE International High Assurance Systems Engineering Symposium, IEEE, pp. 1-8, ISBN:978-1-4673-0107-7 DOI Accesso ONLINE all'editore

A. Ceccarelli;L. Vinerbi;L. Falai;A. Bondavalli (2011). RACME: a framework to support V\&V and certification. In: LADC 2011, 2011, IEEE, pp. 116-125, ISBN:978-0-7695-4320-8 DOI Accesso ONLINE all'editore

A. Ceccarelli;M. Vieira;A. Bondavalli (2011). A Service Discovery Approach for Testing Dynamic SOAs. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011-March, IEEE, pp. 133-142, ISBN:978-1-4577-0303-4 DOI Accesso ONLINE all'editore

A. Bovenzi;F. Brancati;S. Russo;A. Bondavalli (2011). A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. In: The 30th International Conference on Computer Safety, Reliability and Security, 2011, Springer, vol. 6894, pp. 128-142. DOI Accesso ONLINE all'editore

P. Ferrari;A. Flammini;S. Rinaldi;A. Bondavalli;F. Brancati (2011). Evaluation of Timestamping Uncertainty in a Software-based IEEE1588 Implementation. In: IEEE International Instrumentation and Measurement Technology Conference, 2011-May, IEEE, pp. 1-6, ISBN:9781424479337 DOI

A. Bovenzi;F. Brancati;S. Russo;A. Bondavalli (2011). Towards identifying OS-level anomalies to detect Application Software Failures. In: The IEEE International Workshop on Measurements and Networking (M&N 2011), 2011-October, IEEE, pp. 128-142, ISBN:9781457704550 DOI

M. Ficco; A. Daidone; L. Coppolino; L. Romano; A. Bondavalli (2011). An event correlation approach for fault diagnosis in SCADA infrastructures. In: EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing, Pisa, Italy, 11-12 May 2011, ACM, pp. 15-20, ISBN:9781450302845 DOI

A. Bondavalli;F. Brancati;A. Flammini;S. Rinaldi (2011). A Reliable and Self-Aware Clock for Reference Time Failure Detection in Internal Synchronization Environment. In: The IEEE International Workshop on Measurements and Networking 2011 (M&N2011), 2011-October, IEE, pp. 94-99, ISBN:9781457704550 DOI

A. Bondavalli (2011). L'analisi quantitativa dei sistemi critici. di A. Bondavalli, Bologna: Esculapio, pp. 1-300, 9788874884315.

A. Bondavalli; P. Lollini; M. Vadursi (2010). AMBER roadmap: ongoing research directions. In: Second Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computer Systems (RDCS 2010), Genoa, Italy, IEEE Computer Society Press, pp. 0-0, ISBN:9781424474714 DOI

A. Bondavalli;F. Brancati;A. Ceccarelli;M. Vadursi (2010). Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. In: 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010, IEEE, pp. 245-254, ISBN:978-0-7695-4250-8 DOI

L. Vinerbi; A. Bondavalli; P. Lollini (2010). Emergence: A new Source of Failures in Complex Systems. In: Third International Conference on Dependability (DEPEND 2010), Venice/Mestre, Italy, July 18 - 25, 2010, IEEE Computer Society Press, vol. Proc. of the Third International Conference on Dependability (DEPEND 2010), pp. 133-138, ISBN:9781424475308 DOI

A. Bondavalli;A. Ceccarelli;P. Lollini (2010). Architecting and Validating Dependable Systems: Experiences and Visions. In: A. Casimiro, R. de Lemos, C. Gacek (co-editors). Architecting Dependable Systems VII, pp. 297-321, Berlin / Heidelberg: Springer, ISBN:978-3-642-17244-1., vol. 6420: DOI Accesso ONLINE all'editore

J. Gronbaek;H. Schwefel;A. Ceccarelli;A. Bondavalli (2010). Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. In: 9th IEEE International Symposium on Network Computing and Applications (NCA), 2010-July, IEEE, pp. 229-232, ISBN:978-1-4244-7627-5 DOI Accesso ONLINE all'editore

F. Brancati;A. Bondavalli (2010). Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. In: 29th IEEE International Symposium on Reliable Distributed Systems (SRDS 2010), 2010-nov, IEEE, pp. 328-332, ISBN:9780769542508 DOI

P. Ferrari;A. Flammini;S. Rinaldi;A. Bondavalli;F. Brancati (2010). Improving robustness of the synchronization quality of IEEE1588 nodes. In: 2010 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, 2010-oct, IEEE, pp. 36-41, ISBN:9781424459780 DOI

A. Ceccarelli;J. Gronbaek;L. Montecchi;H. Schwefel;A. Bondavalli (2010). Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments. In: 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010-May, IEEE, pp. 184-193, ISBN:978-1-4244-7219-2 DOI Accesso ONLINE all'editore

A. Bondavalli; A. Ceccarelli; L. Falai; M. Vadursi (2010). A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, vol. 59, pp. 820-831, ISSN:0018-9456 DOI

ANDREA BONDAVALLI; ANDREA CECCARELLI; JESPER GRØNBÆK; DANILO IOVINO; LUCIE KÁRNÁ; ŠTEPAN KLAPKA; TATIANA K. MADSEN; MELINDA MAGYAR; ISTVÁN MAJZIK; ANNA SALZO (2009). Design and Evaluation of a Safe Driver Machine Interface. INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, pp. 153-166, ISSN:0973-1318

P. Lollini; A. Bondavalli; F. di Giandomenico; (2009). A Decomposition-Based Modeling Framework for Complex Systems. IEEE TRANSACTIONS ON RELIABILITY, vol. 58, pp. 20-33, ISSN:0018-9529 DOI Accesso ONLINE all'editore

A. Ceccarelli;A. Bondavalli;D. Iovino (2009). Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. In: 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009, IEEE Computer Society, pp. 234-241, ISBN:978-0-7695-3849-5 DOI Accesso ONLINE all'editore

A. Bondavalli;F. Brancati;A. Ceccarelli;L. Falai (2009). An Experimental Framework for the Analysis and Validation of Software Clocks. In: Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), 2009, Springer, pp. 69-81, ISBN:978-3-642-10264-6 DOI

A. Bondavalli;F. Brancati;A. Ceccarelli (2009). Safe Estimation of Time Uncertainty of Local Clocks. In: 2009 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, 2009, IEEE, pp. 47-52, ISBN:978-1-4244-4391-8 DOI

A. Bondavalli; P. Lollini; L. Montecchi (2009). QoS Perceived by Users of Ubiquitous UMTS:Compositional Models and Thorough Analysis. JOURNAL OF SOFTWARE, vol. 4, pp. 675-685, ISSN:1796-217X DOI Accesso ONLINE all'editore

P. Verissimo; N. Neves; M. Correia; A. Abou El Kalam; Y. Deswarte; A. Bondavalli; and A. Daidone (2008). The crutial architecture for critical information infrastructures. In: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira. Architecting Dependable Systems V, volume 5135 of LNCS, pp. 1-27, Heidelberg: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, ISBN:9783540855705.

M. Kaâniche; P. Lollini; A. Bondavalli; K. Kanoun (2008). Modeling the Resilience of Large and Evolving Systems. INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 4, pp. 153-168, ISSN:0973-1318

A. Daidone; S. Chiaradonna; A. Bondavalli; and P. Verissimo (2008). Analysis of a redundant architecture for critical infrastructure protection. In: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira. Architecting Dependable Systems V, volume 5135 of LNCS, pp. 78-100, Heidelberg: R. De Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and M. Vieira, ISBN:9783540855705.

A. Bondavalli; P. Lollini; L. Montecchi (2008). Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. In: 6th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS '08), Springer, pp. 186-197, ISBN:9783540877844 DOI

P. Lollini; L. Montecchi; M. Magyar; I. Majzik; A. Bondavalli (2008). Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems.. In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, October 9-10, 2008, Springer, pp. 225-232, ISBN:9789632361383

M. Kovacs; P. Lollini; I. Majzik; A. Bondavalli (2008). An integrated framework for the dependability evaluation of distributed mobile applications. In: RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), Newcastle upon Tyne, UK, November 17-19, 2008, ACM, pp. 29-38, ISBN:9781605582757 DOI

A. Casimiro; P. Lollini; M. Dixit ; A. Bondavalli; P. Verissimo (2008). A framework for dependable QoS adaptation in probabilistic environments. In: 2008 ACM Symposium on Applied Computing, Fortaleza, Ceara, Brazil, March 16 - 20, 2008, ACM, pp. 2192-2196, ISBN:9781595937537 DOI

A. Bondavalli; A. Ceccarelli; L. Falai (2008). Assuring resilient time synchronization. In: SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, IEEE, pp. 3-12, ISBN:978-0-7695-3410-7 DOI

A. Bondavalli; L. Falai (2008). RODS: General Framework for Rigorous Observation of Distributed Systems. In: Workshop on Resilience Assessment and Dependability Benchmarking (RADB08). DSN 2008-The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE, pp. 1-6.

I. Majzik; A. Bondavalli; S. Klapka; T.K. Madsen; D. Iovino (2008). Formal methods in the evaluation of a safe driver-machine interface. In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, 09-10 October 2008, Springer, pp. 313-320, ISBN:9789632361383

A. Ceccarelli;I. Majzik;D. Iovino;F. Caneschi;G. Pinter;A. Bondavalli (2008). A resilient SIL 2 Driver Machine Interface for train control systems. In: IEEE DEPCOS-RELCOMEX, 2008-June, IEEE, pp. 365-374, ISBN:978-0-7695-3179-3 DOI Accesso ONLINE all'editore

L. Falai; A. Bondavalli (2007). Extending the applicability of the neko framework for the validation and verification of distributed algorithms. In: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky. SOFTWARE ENGINEERING AND FAULT TOLERANCE, pp. 256-280, London: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky, ISBN:9812705031.

A. Bondavalli; F. V. Brasileiro; S. Rajsbaum (2007). Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Springer Verlag, 9783540752936.

M. Serafini; A. Bondavalli; N. Suri (2007). Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 4, pp. 295-312, ISSN:1545-5971 DOI Accesso ONLINE all'editore

A. Bondavalli; A. Ceccarelli; L. Falai; M. Vadursi (2007). Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007,, Edinburgh, 25-28 June 2007, IEEE, pp. 522-533, ISBN:0-7695-2855-4 DOI Accesso ONLINE all'editore

A. Bondavalli;A. Ceccarelli;L. Falai;M. Vadursi (2007). Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. In: Eighth International Symposium on Autonomous Decentralized Systems, 2007-March, IEEE, pp. 377-386, ISBN:0-7695-2804-X DOI Accesso ONLINE all'editore

A. Bondavalli;A. Ceccarelli;L. Falai (2007). A self-aware clock for pervasive computing systems. In: 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing, 2007-Febraury 7-9, IEEE, pp. 403-411, ISBN:0-7695-2784-1 DOI Accesso ONLINE all'editore

A. Bondavalli; S. Chiaradonna; P. Lollini; F. Squittieri (2006). Integration of an MPS Modeling Approach into Möbius. In: International Conference on Quantitative Evaluation of Systems (QEST 2006), Los Alamitos, CA, USA, September 11-14, 2006, IEEE Computer Society Press, vol. 0, pp. 139-140, ISBN:9780769526652 DOI Accesso ONLINE all'editore

M. Serafini;P. Lollini;A. Bondavalli (2006). Modeling On-line tests in Safety-Critical Systems. In: Int. Conf. on Safety and Reliability for Managing Risk (ESREL 2006), Estoril (Portogallo), 2006, Taylor & Francis Group, vol. 1, pp. 231-238, ISBN:9780415416207

LASZLO GNCZY; SILVANO CHIARADONNA; FELICITA DI GIANDOMENICO; ANDRAS PATARICZA; A. BONDAVALLI; TAMAS BARTHA (2006). Dependability Evaluation of Web Service-Based Processes. In: András Horváth, Miklós Telek. Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Lecture Notes in Computer Science 4054., pp. 166-180, Berlino: Springer Verlag, ISBN:9783540353621. DOI

ALESSANDRO DAIDONE; FELICITA DI GIANDOMENICO; A. BONDAVALLI; SILVANO CHIARADONNA (2006). Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. In: 25th IEEE Symposium on Reliable Distributed Systems (SRDS '06), Leeds, U.K., IEEE, pp. 245-256, ISBN:0769526772 DOI

JEAN ARLAT; A. BONDAVALLI; BOUDEWIJN R. HAVERKORT; PAULO VERSSIMO (2006). 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 TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 3, pp. 169-171, ISSN:1545-5971 DOI

A. Bondavalli; S. Chiaradonna; F. Di Giandomenico (2005). Model-Based Evaluation as a Support to the Design of Dependable Systems. In: Hassan B. Diab, Albert Y. Zomaya. Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp. '-', -: Wiley, ISBN:9780471674221.

P. Lollini; A. Bondavalli; F. Di Giandomenico (2005). QoS analysis of a UMTS cell with different service classes. In: 4th IASTED International Conference on Communication Systems and Networks (CSN'05), Benidorm, Spain, September 12-14, 2005, C.E. Palau Salvador, pp. 55-60, ISBN:088986540X Accesso ONLINE all'editore

PAOLO LOLLINI; A. BONDAVALLI; FELICITA DI GIANDOMENICO (2005). Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. In: MIROSLAW MALEK; EDGAR NETT; NEERAJ SURI. Service Availability, Second International Service Availability Symposium, ISAS 2005, Lecture Notes in Computer Science 3694, pp. 180-195, Berlino: Springer Verlag, ISBN:9783540291039.

LORENZO FALAI; A. BONDAVALLI; FELICITA DI GIANDOMENICO . (2005). QUANTITATIVE EVALUATION OF DISTRIBUTED ALGORITHMS USING THE NEKO FRAMEWORK: THE NEKOSTAT EXTENSION. In: CARLOS ALBERTO MAZIERO; JOO GABRIEL SILVA; ALINE MARIA SANTOS ANDRADE; FLVIO MORAIS DE ASSIS SILVA. Dependable Computing, Second Latin-American Symposium, LADC 2005, Lecture Notes in Computer Science 3747, pp. 35-51, Berlino: Springer Verlag, ISBN:9783540295723.

L. Falai;A. Bondavalli;F. D. Giandomenico (2005). NekoStat extension to Neko: quantitative evaluation of distributed algorithms. In: 2nd International Conference on Quantitative Evaluation of Systems (QEST '05). 2005, Torino, Italy, 19-22 September 2005, pp. 241-242, ISBN:0769524273 DOI Accesso ONLINE all'editore

A. BONDAVALLI; L. FALAI (2005). EXPERIMENTAL EVALUATION OF THE QOS OF FAILURE DETECTORS ON WIDE AREA NETWORK. In: IEEE DSN05 - INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (IPDS TRACK), YOKOHAMA, JAPAN, 28 June-1 July 2005, IEEE, pp. 624-633, ISBN:0769522823 DOI Accesso ONLINE all'editore

P. Lollini; A. Bondavalli; F. Di Giandomenico (2005). A modeling methodology for hierarchical control system and its aplication. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 10, pp. 57-69, ISSN:0104-6500 DOI Accesso ONLINE all'editore

A. BONDAVALLI; ENRICO DE GIUDICI; STEFANO PORCARELLI; SALVATORE SABINA; FABRIZIO ZANINI (2004). A Freshness Detection Mechanism for Railway Applications.. In: 10th IEEE Pacific Rim International Symposium on Dependable, IEEE, pp. 292-301, ISBN:9780769520766 DOI

S. PORCARELLI; F. DI GIANDOMENICO; P. LOLLINI; A. BONDAVALLI (2004). A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. In: MIROSLAW MALEK; MANFRED REITENSPIESS; JOERG KAISER EDS.. Service Availability, First International Service Availability Symposium, ISAS 2004, Lecture Notes in Computer Science 3335, pp. 160-174, Berlino: Miroslaw Malek, Manfred Reitenspiess and Joerg Kaiser, ISBN:9783540244202. DOI

P. LOLLINI; A. BONDAVALLI; F. DI GIANDOMENICO; S. PORCARELLI (2004). CONGESTION ANALYSIS DURING OUTAGE, CONGESTION TREATMENT AND OUTAGE RECOVERY FOR SIMPLE GPRS NETWORKS. In: ISCC'2004 THE NINTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, ALEXANDRIA, June 28 - July 1, 2004, IEEE Computer Society Press, vol. 2, pp. 772-778, ISBN:078038623X DOI

P. Lollini;F. D. Giandomenico;A. Bondavalli;S. Porcarelli (2004). Congestion analysis in a general GPRS network. In: Mobile Venue'04 (Informal Proceedings), Athens, Greece, 2004-May 27-28, Athens, Greece:, pp. ---.

F. D. Giandomenico;S. Porcarelli;D. Viva;A. Bondavalli;P. Lollini (2004). Model-based Evaluation for Dependability Assessment of CAUTION++ Instances. In: Mobile Venue'04 (Informal Proceedings), Athens, Greece, 2004-May 27-28, Athens, Greece:, pp. ---.

L. Simoncini;F. D. Giandomenico;A. Bondavalli;S. Chiaradonna (2004). Architectural Challenges for a Dependable Information Society. In: WCC 18th IFIP World Computer Congress, Toulouse, France, 2004-August, 22-27, Toulouse, France:, pp. 1-22, ISBN:9781402081569

A. BONDAVALLI; CHIARADONNA S.; DI GIANDOMENICO F.; MURA I. (2004). Dependability Modeling and Evaluation of Multiple Phased Systems using DEEM. IEEE TRANSACTIONS ON RELIABILITY, vol. 53, pp. 509-522, ISSN:0018-9529 DOI

A. BONDAVALLI; R. FILIPPINI (2004). Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. COMPUTER JOURNAL, vol. 47, pp. 634-650, ISSN:0010-4620

S. Porcarelli; F. Di Giandomenico; A. Bondavalli; P. Lollini (2004). Model-based Evaluation of a Radio Resource Management System for Wireless Networks. In: 1st conference on Computing frontiers (CF '04), Ischia, Italy, April 14–16, 2004, ACM, pp. 51-59, ISBN:9781581137415 DOI Accesso ONLINE all'editore

A. BONDAVALLI; M. CASTALDI; P. INVERARDI; F. DI GIANDOMENICO; S. PORCARELLI (2004). A FRAMEWORK FOR RECONFIGURATION-BASED FAULT-TOLERANCE IN DISTRIBUTED SYSTEMS. In: R. DE LEMOS, C. GACEK, AND A. ROMANOVSKY. ARCHITECTING DEPENDABLE SYSTEMS II, LNCS 3069, LECTURE NOTES IN COMPUTER SCIENCE, pp. 167-190, BERLIN, HEIDELBERG, NEW YORK: R. DE LEMOS, C. GACEK, AND A. ROMANOVSKY, EDS., ISBN:9783540231684.

ANDREA BONDAVALLI; SILVANO CHIARADONNA; DOMENICO COTRONEO; LUIGI ROMANO (2004). Effective fault treatment for improving the dependability of cots and legacy based applications. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 1, pp. 223-237, ISSN:1545-5971 DOI

PORCARELLI S.; DI GIANDOMENICO F.; A. BONDAVALLI; BARBERA M.; MURA I. (2003). Service Level Availability Estimation of GPRS. IEEE TRANSACTIONS ON MOBILE COMPUTING, vol. 2, pp. 233-247, ISSN:1536-1233 DOI Accesso ONLINE all'editore

SHAMBHU J. UPADHYAYA; A. BONDAVALLI (2003). Guest Editorial: Special Issue on Reliable Distributed Systems. IEEE TRANSACTIONS ON COMPUTERS, vol. 52, pp. 97-98, ISSN:0018-9340, IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667: DOI Accesso ONLINE all'editore

A. BONDAVALLI; I. MAJZIK; A. PATARICZA (2003). Stochastic Dependability Analysis of System Architecture Based on UML Models. In: DE LEMOS R.; GACEK C.; ROMANOVSKY A.. Architecting Dependable Systems, (Lecture Notes on Computer Science - LNCS 2677), pp. 219-244, BERLIN, HEIDELBERG, NEW YORK: R. DE LEMOS, C. GACEK, AND A. ROMANOVSKY, ISBN:9783540407270., vol. 2677: DOI Accesso ONLINE all'editore

A. Bondavalli; S. Chiaradonna; D. Cotroneo; L. Romano (2003). A Fault-Tolerant Distributed Legacy-based System and Its Evaluation. In: Rogerio de Lemos, Taysy Silva Weber, Joao batista camargo Jr.. LADC2003- 1st Latin-American Dependable Computing Conference - Lecture Notes in Computer Science N. 2487, pp. 303-320, Berlino: Springer Verlag, ISBN:3540202242.

F. D. Giandomenico; S. Porcarelli; P. Lollini; A. Bondavalli (2003). Dependability Issues in Radio Resource Management of Wireless Systems. In: 6th International Symposium on Wireless Personal Multimedia Communications (WPMC '03), Yokosuka, Japan, 2003, vol. 2, pp. 146-150.

A. Coccoli; A. Bondavalli (2003). Analysis of safety related architectures. In: Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), Capri, Italy, 1-3 October 2003, IEEE, pp. 111-117, ISBN:0769520545 DOI Accesso ONLINE all'editore

A. Bondavalli; F. Di Giandomenico; F. Grandoni; P. Lollini; S. Porcarelli (2003). Dependability Provisions for a Network Management Platform. In: International Conference on Dependable Systems and Networks (DSN 2003), (Fast Abstract), vol. Supplemental Volume, pp. B82-B83.

A. BONDAVALLI; A. COCCOLI; F. DI GIANDOMENICO (2002). QOS ANALYSIS OF GROUP COMMUNICATION PROTOCOLS IN WIRELESS ENVIRONMENT. In: EZHILCHELVAN P.; ROMANOVSKY A.. Concurrency in Dependable Computing, pp. 169-188, DOORDRECHT: KLUWER ACADEMIC PUBLISHERS.

L. ROMANO; S. CHIARADONNA; A. BONDAVALLI; D. COTRONEO (2002). IMPLEMENTATION OF THRESHOLD-BASED DIAGNOSTIC MECHANISMS FOR COTS-BASED APPLICATIONS. In: IEEE SRDS 2002, 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED DYSTEMS, OSAKA, IEEE, pp. 296-303, ISBN:0769516599 DOI

A. BONDAVALLI; A. COCCOLI; P. URBAN; A. SCHIPER (2002). PERFORMANCE ANALYSIS OF A CONSENSUS ALGORITHM COMBINING STOCHASTIC ACTIVITY NETWORKS AND MEASUREMENTS. In: IEEE DSN - INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, WASHIGTON DC, IEEE, pp. 551-560, ISBN:0769511015 DOI Accesso ONLINE all'editore

A. Bondavalli; S. Chiaradonna; F. D. Giandomenico; J. Xu (2002). An Adaptive Approach to Achieving Hardware and Software Fault Tolerance in a Distributed Computing Environment. JOURNAL OF SYSTEMS ARCHITECTURE, vol. 47, pp. 763-781, ISSN:1383-7621 DOI

A. BONDAVALLI; DAL CIN M.; D. LATELLA; I. MAJZIK; A. PATARICZA; G. SAVOIA (2001). Dependability Analysis in the Early Phases of UML Based System Design. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, pp. 265-275, ISSN:0267-6192

A. Coccoli;A. Bondavalli;F. D. Giandomenico (2001). Analysis and Estimation of the Quality of Service of Group Communication Protocols. In: ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing, Magdeburg, Germany, 02 May 2001-04 May 2001, Magdeburg, Germany:, pp. 209-216, ISBN:0769510892 DOI Accesso ONLINE all'editore

A. Chohra;F. D. Giandomenico;S. Porcarelli;A. Bondavalli (2001). Towards Optimal Database Maintenance in Wireless Communication Systems. In: 5th World Multi-Conference on Systemics, Cybernetics and Informatics, ISAS-SCI 2001, Volume I: Information Systems Development, 2001-July 22-25, Orlando, Florida, USA:, IIIS, vol. 1, pp. 571-576, ISBN:9800775412 Accesso ONLINE all'editore

F. Tataranni;S. Porcarelli;F. D. Giandomenico;A. Bondavalli;L. Simoncini (2001). Modeling and Analysis of the Behavior of GPRS Systems. In: WORDS 2001 6th Int. Workshop on Object-oriented Real-time Dependable Systems, Rome, Italy, 2001-January 2001, Rome, Italy:, pp. 51-58, ISBN:076951068X DOI Accesso ONLINE all'editore

A. BONDAVALLI; L. SIMONCINI; M. NELLI; G. MONGARDI (2001). Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, pp. 249-261, ISSN:0267-6192

A. BONDAVALLI; I. MURA (2001). Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions. IEEE TRANSACTIONS ON COMPUTERS, vol. 50, pp. 1337-1351, ISSN:0018-9340 DOI Accesso ONLINE all'editore

J. ARLAT; A. BONDAVALLI; F. DI GIANDOMENICO; M. T. JARBOUI; E. JENN; K. KANOUN; I. MURA; D. POWELL (2001). Dependability Evaluation. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 157-191, BOSTON: Kluwer, ISBN:0792372956. Accesso ONLINE all'editore

D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABÉJAC; V. THEVENOT; A. WELLINGS (2001). Introduction and Overview. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 2-26, BOSTON: kluwer, ISBN:0792372956. Accesso ONLINE all'editore

A. Bondavalli;R. Filippini (2001). Modelling and analysis of a scheduled maintenance system: a DSPN approach. In: DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track), Goteborg, Sweden, 2001, IEEE, vol. 47, pp. 1-2. DOI Accesso ONLINE all'editore

A. BONDAVALLI; F. DI GIANDOMENICO; F. TATARANNI; S. PORCARELLI (2001). ANALYSIS OF THE EFFECTS OF OUTAGES ON THE QUALITY OF SERVICE OF GPRS NETWORK SYSTEMS. In: DSN2001 INT. CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, GOTEBORG, Sweden, 1-4 July 2001, IEEE, pp. 235-244, ISBN:0769511015 DOI Accesso ONLINE all'editore

S. PORCARELLI; F. DI GIANDOMENICO; A. CHOHRA; A. BONDAVALLI (2001). TUNING OF DATABASE AUDITS TO IMPROVE SCHEDULED MAINTENANCE IN COMMUNICATION SYSTEMS. In: SAFECOMP 2001, 20TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY, Budapest, Hungary, 25-28 September 2001, Springer, vol. 2187, pp. 238-248, ISBN:3540426078 DOI Accesso ONLINE all'editore

A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI (2001). Design Validation of Embedded Dependable Systems. IEEE MICRO, vol. 21 / 5, pp. 52-62, ISSN:0272-1732

A. BONDAVALLI; S. CHIARADONNA; F. DI GIANDOMENICO; F. GRANDONI; D. POWELL; C. RABÉJAC (2001). Error Processing and Fault Treatment. In: D. POWELL ED.. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 71-86, BOSTON: kluwer, ISBN:0792372956. Accesso ONLINE all'editore

F. Grandoni; S. CHIARADONNA; F. DI GIANDOMENICO; A. Bondavalli (2001). EVALUATION OF FAULT-TOLERANT MULTIPROCESSOR SYSTEMS FOR HIGH ASSURANCE APPLICATIONS. THE COMPUTER JOURNAL, vol. 44, pp. 544-556, ISSN:0748-9331

D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABEJAC; V. THEVENOT; A. WELLINGS (2001). Introduction and Overview (Chapter 1).. In: D. POWELL. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, pp. 1-26, BOSTON: Kluwer Academic Publishers, ISBN:9780792372950.

A. Coccoli;A. Bondavalli;L. Simoncini (2000). Consensus in asynchronous distributed systems. In: IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology, Dallas, TX, USA, 2000-June 4-8, Dallas, TX, USA:, pp. ---.

F. Sandrini;F. D. Giandomenico;A. Bondavalli;E. Nett (2000). Scheduling solutions for supporting dependable real-time applications. In: ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing, Newport Beach, CA, USA, 2000-March 15-17, Newport Beach, CA, USA:, pp. 122-129, ISBN:0769506070 DOI

M. Minichino;E. Ciancamerla;S. Chiaradonna;A. Bondavalli (2000). An experience of dependability assessment of a typical industrial safety critical Programmable Logic Controller. In: 4t Int. Symposium Programmable Electronic Systems in Safety Related Applications, Koln, Cologne, Germany, 2000-May 3-4, K\"oln, Cologne, Germany:, pp. ---.

A. Coccoli;A. Bondavalli;F. D. Giandomenico (2000). Dependability and performance analysis of a protocol for efficient real-time group communication. In: EWDC-12 European Workshop on Dependable Computing, Budapest, Hungary, 2000, Budapest, Hungary:, pp. ---.

A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (2000). An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems. In: IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00), Washington, DC, USA, 2000-September 21-22, Washington DC:, pp. ---.

A. Bondavalli;F. D. Giandomenico (2000). A Position on Design, Methods, and Tools for Object-Oriented Real-time Computing. In: ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing, Newport Beach, CA, USA, 2000-March 15-17, Newport Beach, CA, USA:, pp. 306-308, ISBN:0769506070 DOI

A. BONDAVALLI; CHIARADONNA, S.; DI GIANDOMENICO, F.; GRANDONI, F. (2000). Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults. IEEE TRANSACTIONS ON COMPUTERS, vol. 49, pp. 230-245, ISSN:0018-9340 DOI

A. Coccoli;S. Schemmer;F. D. Giandomenico;M. Mock;A. Bondavalli (2000). Analysis of Group Communication Protocols to Assess Quality of Service Properties. In: HASE00 - 5th IEEE High Assurance System Engineering Symposium, Albuquerque, NM, USA, 2000, Albuquerque, NM, USA:, pp. 247-256, ISBN:0769509274 DOI

A. BONDAVALLI; S. CHIARADONNA; I. MURA; R. FILIPPINI; F. SANDRINI; S. POLI (2000). DEEM: A TOOL FOR THE DEPENDABILITY MODELING AND EVALUATION OF MULTIPLE PHASED SYSTEMS. In: DSN2000 INT. CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (FTCS-30 AND DCCA-8), NEW YORK, IEEE, pp. 231-236, ISBN:0769507077 DOI

F. D. Giandomenico;S. Chiaradonna;A. Bondavalli;F. Grandoni (2000). Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. In: IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Monte Carlo Resort, Las Vegas, Nevada, USA, 2000-June 26-29, Monte Carlo Resort, Las Vegas, Nevada, USA:, pp. 1145-1151.

BURNS, A.; PRASAD, D.; A. BONDAVALLI; DI GIANDOMENICO, F.; RAMAMRITHAM, K.; STANKOVIC, J.; STRIGINI, L. (2000). The Meaning and Role of Value in Scheduling Flexible Real-Time Systems. JOURNAL OF SYSTEMS ARCHITECTURE, vol. 46, pp. 305-325, ISSN:1383-7621 DOI

A. Bondavalli;I. Majzik;I. Mura (1999). Automated Dependability Analysis of UML Designs. In: 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99), Saint Malo, France, 1999-May 2-5, Saint Malo, France:, pp. 139-144, ISBN:0769502075 DOI Accesso ONLINE all'editore

A. Coccoli;L. Simoncini;A. Bondavalli (1999). Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks. In: First Int. Workshop on Networked Group Communication, NGC '99, Pisa, Italy, 1999, Pisa, Italy:, pp. ---.

F. D. Giandomenico;F. Grandoni;A. Bondavalli;I. Mura (1999). Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults. In: 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track, Madison, Wisconsin USA, 1999-June 15-18, Madison, Wisconsin USA:, pp. ---.

A. Bondavalli;I. Majzik;I. Mura (1999). Automatic Dependability Analysis for Supporting Design Decisions in UML. In: 4th IEEE High Assurance System Engineering Symposium (HASE99), Washington D.C., USA, 1999, Washington D.C., USA:, pp. 64-71, ISBN:0769504183 DOI

A. BONDAVALLI; F. DI GIANDOMENICO; I. MURA (1999). An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems. REAL-TIME SYSTEMS, vol. 16, pp. 5-30, ISSN:0922-6443 DOI Accesso ONLINE all'editore

A. BONDAVALLI; S. CHIARADONNA; F. DI GIANDOMENICO; L. STRIGINI (1999). A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. SOFTWARE TESTING VERIFICATION & RELIABILITY, vol. 9, pp. 145-166, ISSN:0960-0833 DOI Accesso ONLINE all'editore

D. POWELL; J. ARLAT; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; A. FANTECHI; E. JENN; C. RABEJAC; A. WELLINGS (1999). GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 10, pp. 580-599, ISSN:1045-9219

A. Bondavalli;I. Mura (1999). High-Level Petri Net Modelling of Phased Mission Systems. In: 10th European Workshop on Dependable Computing (EWDC-10), Vienna, Austria, 1999, Vienna, Austria:, pp. 91-95.

A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (1999). Integrated Validation of Dependable Systems. In: IDPT '99 4th, Int. Conference on Integrated Design and Process Technology, Kusadasi, Turkey, 1999-June 27 - July 2, Kusadasi, Turkey:, pp. ---.

A. Bondavalli;M. D. Cin;D. Latella;A. Pataricza (1999). High-level Integrated Design Environment for Dependability (HIDE). In: WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems, Monterey, CA, USA, 1999-November 18-20, Monterey, CA, USA:, pp. 87-92, ISBN:076950616X Accesso ONLINE all'editore

I. Mura;A. Bondavalli;X. Zang;K. S. Trivedi (1999). Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach. In: IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications, San Jose, CA, USA, 06 Jan 1999-08 Jan 1999, San Jose, CA, USA:, pp. 319-337, ISBN:0769502849 DOI

A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini (1999). 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-November 11-13, Williamsburg, VA, USA:, pp. 144-165, ISBN:0769503373 DOI Accesso ONLINE all'editore

A. BONDAVALLI; MURA I.; TRIVEDI K. S. (1999). Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. In: J. Hlavicka; E. Maehle; A. Pataricza. Dependable Computing - EDCC-3 (also Lecture Notes in Computer Science N. 1667), pp. 7-23, Berlin: springer verlag, ISBN:9783540664833.

A. BONDAVALLI; I. MURA (1999). HIERARCHICAL MODELLING AND EVALUATION OF PHASED-MISSION SYSTEMS, IEEE TRANSACTIONS ON RELIABILITY. IEEE TRANSACTIONS ON RELIABILITY, vol. 48, pp. 360-368, ISSN:0018-9529 DOI Accesso ONLINE all'editore

M. Pizza;L. Strigini;A. Bondavalli;F. D. Giandomenico (1998). Optimal Discrimination between Transient and Permanent Faults. In: 3rd IEEE High Assurance System Engineering Symposium, Bethesda, MD, USA, 1998, Bethesda, MD, USA:, pp. 214-223, ISBN:0818692219 DOI

A. Bondavalli;F. D. Giandomenico;F. Grandoni;D. Powell;C. Rabejac (1998). State Restoration in a COTS-based N-Modular Architecture. In: 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98), Kyoto, Japan, 1998-April 20 - 22, Kyoto, Japan:, pp. 174-183, ISBN:0818684305 DOI

C. BERNARDESCHI; A. BONDAVALLI; G. CSERTAN; I MAIZIK; L. SIMONCINI (1998). Temporal Analysis of Data Flow Control Systems. AUTOMATICA, vol. 34, pp. 169-182, ISSN:0005-1098, Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010: DOI

I. Majzik;A. Bondavalli (1998). Automatic Dependability Modelling of Systems Described in UML. In: 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track, Paderborn, Germany, 1998-November 4-7, Paderborn, Germany:, pp. 29-30.

F. Grandoni;S. Chiaradonna;A. Bondavalli (1998). A new Heuristic to Discriminate Transient from Intermittent Faults. In: 3rd IEEE High Assurance System Engineering Symposium (HASE'98), Bethesda, MD, USA, 1998, Bethesda, MD, USA:, pp. 224-231, ISBN:0818692219 DOI

A. Bondavalli;F. D. Giandomenico;I. Mura (1997). Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems. In: Third IEEE Int. Workshop on Object-oriented Real-time Dependable Systems (WORDS 97), Newport Beach, California, USA, 1997-February 6-7, Newport Beach, California, USA:, pp. 92-99, ISBN:0818680466 Accesso ONLINE all'editore

F. D. Giandomenico;A. Bondavalli;J. Xu;S. Chiaradonna (1997). Hardware and Software Fault Tolerance: Definition and Evaluation of Adaptive Architectures in a Distributed Computing Environment. In: Int. Conference on Safety and Reliability (ESREL'97), Lisbon, Portugal, 1997-June 17-20, Lisbon, Portugal:, Pergamon Press, Cambridge, pp. 341-348, ISBN:0080428355

A. BONDAVALLI; S. CHIARADONNA; F. DI GIANDOMENICO; S. LA TORRE (1997). Modelling the Effects of Input Correlation in Iterative Software. RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 57, pp. 189-202, ISSN:0951-8320, Elsevier Applied Science:An Imprint of Elsevier Science Ltd, The Boulevard, Langford Lane, Kidlington Oxford OX5 1GB United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: nlinfo-f@elsevier.nl OR usinfo-f@elsevier.com OR forinfo-kyf04035@niftyserve.or.jp, INTERNET: http://www.elsevier.nl/, Fax: 011 44 1865 843010: DOI Accesso ONLINE all'editore

A. Parigi;A. Bondavalli;E. Martinelli (1997). Progetto e Realizzazione di un Server Internet come Ausilio alla Organizzazione della Didattica. In: Didamatica'97, Siena, Italy, 1997-8-10 Maggio, Siena, Italy:, pp. 371-374.

A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;F. Grandoni (1997). Discriminating Fault Rate and Persistency to Improve Fault Treatment. In: 27th IEEE Int. Symposium on Fault-Tolerant Computing (FTCS-27), Seattle, Washington, USA, 1997-June 24-27, Seattle, Washington, USA:, pp. 354-362, ISBN:0818678313 DOI Accesso ONLINE all'editore

A. Bondavalli;G. Mongardi;M. Nelli;L. Simoncini (1997). Analytical Model-Based Evaluations of Railway Aplications: a case study on sensitivity analysis. In: WCRR - World Congress on Railway Research, Firenze, Italia, 1997-16-19 Novembre, Firenze, Italia:, pp. ---.

D. Powell;J. Arlat;L. Beus-Dukic;A. Wellings;A. Bondavalli;F. D. Giandomenico (1997). Ultra-Dependable and Real-Time Systems: The GUARDS Approach. In: 3rd CABERNET Plenary Workshop, IRISA, Campus de Beaulieu, Rennes, France, 1997-April 16-18, IRISA, Campus de Beaulieu, Rennes, France:, pp. ---.

P. Bizzarri;A. Bondavalli;F. D. Giandomenico (1997). A Scheduling Algorithm for Aperiodic Groups of Tasks in distributed Real-Time Systems and its Holistic Analysis. In: 6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97, Tunis, Tunisia, 1997-October 29-31, Tunis, Tunisia:, pp. 296-301, ISBN:0818681535 DOI Accesso ONLINE all'editore

A. Bondavalli;I. Mura;M. Nelli (1997). Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. In: IEEE HASE'97, High Assurance System Engineering Workshop, Washington, DC, USA, 1997-August 11-12, Washington, DC, USA:, pp. 85-91, ISBN:0818679719 DOI Accesso ONLINE all'editore

A. Bondavalli;F. D. Giandomenico;I. Mura (1997). A Value-Based Approach to Flexible Decision Making in Real-Time Dependable Systems. In: 2nd Int. Workshop on Mechatronical Computer Systems, Pisa, Italy, 1997, Pisa, Italy:, pp. 155-163. Accesso ONLINE all'editore

E. Nett;H. Streich;P. Bizzarri;A. Bondavalli;F. Tarini (1996). Adaptive Software Fault Tolerance Policies with Dynamic Real-Time Guarantees. In: WORDS 96, IEEE Second Int. Workshop on Object-oriented Real-time Dependable Systems, Laguna Beach, California, U.S.A., 1996-February 1-2, Laguna Beach, California, U.S.A.:, pp. 78-85, ISBN:0818675705 DOI

B. Antal;A. Bondavalli;G. Csertan;I. Majzik;L. Simoncini (1996). Reachability and Timing Analysis in Data Flow Networks: a Case Study. In: Euromicro 96, 22nd IEEE Euromicro Conference, Prague, Czech Republic, September 2-5, 1996, Prague, Czech Republic, September 2-5, 1996:, pp. 193-200, ISBN:9780818674877 DOI

P. Bizzarri;A. Bondavalli;F. D. Giandomenico;F. Tarini (1996). Planning the Execution of Task Groups in Real-Time Systems. In: 8th IEEE Euromicro Workshop on Real-Time Systems, L'Aquila, Italy, 1996-June 12-14, L'Aquila, Italy:, pp. 169-174, ISBN:0818674962 DOI

A. Bondavalli (1996). Design of Fault Tolerant Software. In: EDCC-2 Companion Workshop on Dependable Computing, Gliwice, Poland, 1996, Gliwice, Poland:, AMK-Press, pp. 41-51, ISBN:9788390658209

M. Nelli;A. Bondavalli;L. Simoncini (1996). Dependability Modelling and Analysis of Complex Control Systems: an Application to Railway Interlocking. In: EDCC-2 European Dependable Computing Conference, Taormina, Italy, 1996, Taormina, Italy:, pp. 93-110, ISBN:9783540617723

M. Bizzarri;P. Bizzarri;A. Bondavalli;F. D. Giandomenico;F. Tarini (1995). Design of Flexible and Dependable Real-Time Applications. In: 20th IFAC-IFIP WRTP'95, Ft. Lauderdale, Florida, USA, 1995, Ft. Lauderdale, Florida, USA:, pp. 141-147.

A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;S. L. Torre (1995). Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation. In: 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95), Belgirate, Italy, 1995-October 11-13, Belgirate, Italy:, Springer-Verlag, pp. 489-503.

C. Bernardeschi;A. Bondavalli;L. Simoncini (1995). Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, vol. E78-D, pp. 959-968, ISSN:0916-8532

A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;L. Strigini (1995). Dependability Models for Iterative Software Considering Correlation among Successive Inputs. In: IEEE Int. Computer Performance and Dependability Symposium (IPDS'95), Erlangen, Germany, 24 Apr 1995-26 Apr 1995, Erlangen, Germany:, pp. 13-21, ISBN:0818670592 DOI

A. Bondavalli;A. Buzzi;F. Tarini (1995). Uno Strumento Grafico per la Strutturazione di Applicazioni Tolleranti i Guasti. In: Congresso annuale A.I.C.A. '95, Cagliari, Italy, 1995, Cagliari, Italy:, pp. 979-986.

P. Bizzarri;F. D. Giandomenico;A. Bondavalli;F. Tarini (1995). Un protocollo per la schedulazione distribuita Hard Real-Time. In: Congresso annuale A.I.C.A. '95, Cagliari, Italy, 1995, Cagliari, Italy:, pp. 202-208.

A. Bondavalli;J. A. Stankovic;L. Strigini (1995). Adaptable Fault Tolerance for Real-Time Systems. In: Fussell, D., Malek, M.. Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, pp. 187-208, Boston: Kluwer Academic Publishers, ISBN:9780792395638. Accesso ONLINE all'editore

A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;L. Strigini (1995). Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B.. Predictably Dependable Computing Systems, pp. 459-472, Berlin: Springer-Verlag, ISBN:3540593349.

J. Xu;A. Bondavalli;F. D. Giandomenico (1995). Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B.. Predictably Dependable Computing Systems, pp. 155-172, -: Springer-Verlag, ISBN:3540593349.

A. Bondavalli;S. Chiaradonna;F. D. Giandomenico;L. Strigini (1995). Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B.. Predictably Dependable Computing Systems, pp. 141-154, New York: Springer-Verlag, ISBN:3540593349.

S. Chiaradonna;A. Bondavalli;L. Strigini (1994). On Performability Modeling and Evaluation of Software Fault Tolerance Structures. In: 1st European Dependable Computing Conference (EDCC), 1994, Berlin, Germany:, Springer-Verlag, pp. 97-114, ISBN:9783540584261

A. Bondavalli;C. Bernardeschi;L. Simoncini (1994). The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. In: Halang, W.A., Stoyenko, A.D.. Real Time Computing, pp. 527-529, Saint Martin, Dutch Antilles: Springer Verlag, ISBN:3540575588.

A. Bondavalli;S. Chiaradonna;F. D. Giandomenico (1994). Efficient Fault Tolerance: an Approach to Deal with Transient Faults in Multiprocessor Architectures. In: IEEE Int. Conference on Parallel and Distributed Systems (ICPADS'94), Hsinchu, Taiwan, ROC, 1994-December, Hsinchu, Taiwan, ROC:, pp. 354-359, ISBN:0818665556 DOI

A. Bondavalli;L. Simoncini (1994). Dependable Dataflow Control Systems. In: MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, 1994-March 30 - April 1, Budapest, Hungary:, pp. 5-14.

G. Csertan;C. Bernardeschi;A. Bondavalli;L. Simoncini (1994). Analysis of temporal properties of dataflow networks. In: 12th IFAC workshop DCCS 94, Toledo, Spain, 1994, Toledo, Spain:, Elsevier Science, pp. 153-158.

C. Bernardeschi;A. Bondavalli (1994). Semantics analysis of dataflow control systems. In: MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications, Budapest, Hungary, 1994, Budapest, Hungary:, pp. 15-24.

C. Bernardeschi;A. Bondavalli;L. Simoncini (1994). Data-flow networks in the design of safety-critical systems. In: ESREL 94, Le Baule, France, 1994, Le Baule, France:, pp. 876-881.

A. Bondavalli;L. Simoncini (1993). Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems. In: IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93), Kawasaki, japan, 1993-March 30 - April 1, Kawasaki, japan:, pp. 108-114, ISBN:0818631252 DOI

S. Chiaradonna;A. Bondavalli (1993). Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore. In: Congresso annuale A.I.C.A. '93, Lecce, Italy, 1993-September 22-24, Lecce, Italy:, pp. 1289-1303.

A. Bondavalli;F. D. Giandomenico;J. Xu (1993). A Cost-Effective and Flexible Scheme for Software fault Tolerance. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 8, pp. 234-244, ISSN:0267-6192

C. Bernardeschi;A. Bondavalli;L. Simoncini (1993). Data Flow Control Systems: an Example of Safety Validation. In: SAFECOMP '93, Poznan, Poland, 1993-October 27-29, Poznan, Poland:, Springer Verlag, pp. 9-20, ISBN:0387198385

C. Bernardeschi;A. Bondavalli;L. Simoncini (1993). From Data Flow Networks to Process Algebras. In: PARLE '93 Parallel Architectures and Languages Europe, 1993-June 14-18, Springer, vol. 694, pp. 740-743, ISBN:3540568913 Accesso ONLINE all'editore

A. Bondavalli;L. Simoncini (1992). Structured Software Fault-Tolerance with BSM. In: 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems, Taipei, Taiwan, 1992-April 14-16, Taipei, Taiwan:, pp. 278-286, ISBN:0818627557 DOI

A. Bondavalli;L. Strigini;M. Sereno (1992). Destination Stripping Dual Ring: a new protocol for MANs. COMPUTER NETWORKS AND ISDN SYSTEMS, vol. 24, pp. 15-32, ISSN:0169-7552 DOI

A. Bondavalli;L. Strigini;L. Simoncini (1992). Data-Flow like Languages for Real-Time Systems: Issues of Computational Models and Notation. In: 11th Symposium on Reliable Distributed Systems, 1992-October 5-7, pp. 214-221, ISBN:0818628901 DOI

A. Bondavalli;L. Nardone (1991). Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso. In: 30th Congresso annuale A.I.C.A., Siena, Italy, 1991, Siena, Italy:, pp. 1061-1075.

A. Bondavalli;L. Strigini (1991). DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. In: IEEE INFOCOM'91, Bal Harbour, FL, 1991-April 7-11, Miami, Florida:, vol. 3, pp. 1022-1030, ISBN:0879426942 DOI Accesso ONLINE all'editore

A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini (1991). A Performable BSM Architecture. In: 5th Int. Conference on Fault-Tolerant Computing Systems, Nurnberg, Germany, 1991-September, Nurnberg, Germany:, Springer-Verlag, pp. 332-347, ISBN:354054545X Accesso ONLINE all'editore

L. Strigini;A. Bondavalli;L. Simoncini (1991). Data-Flow like Languages for Designing Dependable Real-Time Control Systems. In: 10th IFAC Workshop on Distributed Computer Control Systems, Vienna, Austria, 1991, Vienna, Austria:, Pergamon Press, pp. 131-136.

A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini (1991). PACS: Performability-Achieving Computing Systems. In: 30th Congresso annuale A.I.C.A., Siena, Italy, 1991, Siena, Italy:, AICA, pp. 1025-1028.

A. Bondavalli;M. Conti;E. Gregori;L. Lenzini;L. Strigini (1990). MAC Protocols for High-Speed, MANs: Performance Comparisons for a Family of Fasnet-based Protocols. COMPUTER NETWORKS AND ISDN SYSTEMS, vol. 18, pp. 97-113, ISSN:0169-7552 DOI

A. Bondavalli;L. Simoncini (1990). Failures Classification with Respect to Detection. In: Second IEEE Workshop on Future Trends of Distributed Computing Systems, 30 Sep 1990-02 Oct 1990, Cairo, Egypt:, pp. 47-53, ISBN:0818620889 DOI

A. Bondavalli;L. Simoncini (1989). Data-flow-like model for robust computations. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 4, pp. 176-184, ISSN:0267-6192

A. Bondavalli;N. D. Francesco;D. Latella;G. Vaglini (1989). 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, 1989-June 26-30, Visegrad, Hungary:, Springer-Verlag, vol. 364, pp. 53-67, ISBN:9783540512516 DOI Accesso ONLINE all'editore

T. Belli;C. Bernardeschi;A. Bondavalli;D. Latella (1988). Costruzione gerarchica di tipi di dati astratti condivisi. In: 27th Congresso annuale A.I.C.A., Cagliari, Italy, 1988-September 28-30, Cagliari, Italy:, pp. 165-180.

A. Bondavalli;L. Simoncini (1988). Modelling robust computations in a Data-Flow-Like style. In: 1st IEEE Workshop on Future Trends of Distributed Computing Systems, Hong Kong, 1988-September 14-16, Hong Kong:, pp. 252-261, ISBN:0818608978 DOI

A. Bondavalli;E. Gregori (1988). OSIRIDE and Transactions. In: 2nd IEEE Int. Zurich Seminar on Digital Communications, Zurich, Switzerland, 1988-March 8-10, Zurich, Switzerland:, pp. 261-266, ISBN:3908265010 DOI

A. Bondavalli;E. Gregori (1988). Concurrency Control in OSI Transactional Environments. In: IFIP TC6/TC8 Open Symposium on Network Information Processing Systems, North Holland, Sofia, Bulgaria, 1988-May, Sofia, Bulgaria:, North Holland, pp. 69-77, ISBN:9780444873309

A. Bondavalli;L. Simoncini (1987). Un modello per la descrizione di computazioni robuste Data-Flow-Like. In: 26th Congresso annuale A.I.C.A., Trento, Italy, 1987-September 30 - Octob, Trento, Italy:, A.I.C.A., pp. 163-182.

Andrea BONDAVALLI

Curriculum 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
2000- today Associate Professor INF/01 University of Florence

PAST POSITIONS
- 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 this academic year 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

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

RESEARCH INTERESTS
Dependable and Resilient computing, embedded, real-time systems, Critical Infrastructure protection, safety, 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

• 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’

Moreover he has been scientific responsible and principal investigator of the following research and industrial projects

• 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) financedby 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 set up 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 16 employees and collaborator and is in the process to be recognized as an academic SPINOFF of the University of Florence. http://www.resiltech.com/

• 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

Currently Andrea Bondavalli is the Advisor of the PhD students
• Leonardo Montecchi
• Nicola Nostro

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;

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 - Universidade de Coimbra - Portugal- 2012

He hosted in his research group for long term visits severall colleagues and post-docs
- Edgar Nett
- Hans Peter Schwefel
- Andras Pataricza
- Istvan Majzik
- Gyorgy Csertan

Invited talks:
- Science Academy - Sofia - Bulgaria
- IRIS EnergoInvest - Sarajevo - Yugoslavia
- University of Southampton (UK)
- GMD - St. Agustin (D)
- Silesian Technical University- Gliwice (PL)
- Technical University of Budapest (HU)
- University of Illinois at Urbana (USA)
- University of West Virginia (USA)
- University of Magdeburg (D)
- EPFL Ginevra, (CH)
- FTW Vienna (AU)
- Alborg University' (DK)
- University di Vienna (AU)

KeYNotes
Andrea Bondavalli gave the following Keynote Speeches

• “HIDENETS: **Highly DEpendable ip-based NETworks and Services” at The Inaugural International Workshop on Dependability in Service-oriented Grids associated with IEEE SRDS-25 Leeds Oct. 2005.
• Model based resilience assessment of critical information infrastructures at SAFECOMP 2011 The 30th International Conference on Computer Safety, Reliability and Security, Naples, Italy 19 / 21 September 2011
• “ALARP- A railway automatic track warning system based on distributed personal mobile terminals” at Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESECLCCI) associated with SAFECOMP 2012, Magdeburg, Sept 2012.

He has promoted together with Prof. Mario Dal Cin, Klaus Echtle ed Erik Maehle, the Dagstuhl Seminar 00131 'Validation of Dependable Behaviour of Safety- and Mission-Critical Computing Systems - 26 -31 March 2000

DOCTORAL SCHOOLS
Co-organizer of the" Winter School: Hot Topics in Secure and Dependable Computing for Critical Infrastructures, Jan. 15-19 2012, Cortina D'Ampezzo, Italy

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'

MEMSTEERING 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)
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)

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)
• SRDS - IEEE Symposium on Reliable Distributed Systems (1995, 2001, 2002, 2004, 2006, 2007)
• EDCC - European Dependable Computing Conference (1996, 1999, 2005, 2006, 2008, 2012)
• 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)
• 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)
• 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)
• DCCS'94 - 12th IFAC Workshop on Distributed Computer Control Systems (1994)
• FTDCS-97 - IEEE Intl. Workshop on Future Trends of Distributed Computing Systems (1997)

CITATIONS
According to Google Scholar, Andrea Bondavalli has about 2050 citations (September 2012) with h-index 25.

SCIENTIFIC PAPERS
He has published more than 35 articles in prestigious International journals and 135 papers in international conferences and workshops.

IMPORTANT LINKS:
DBLP: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bondavalli:Andrea.html
Scholar: http://scholar.google.it/citations?user=rRB5ge4AAAAJ&hl=it

Andrea BONDAVALLI

Lezioni di architetture degli elaboratori

Resiliency Real Time and Certification

Andrea BONDAVALLI

Andrea BONDAVALLI

Andrea BONDAVALLI

Andrea BONDAVALLI

Insegnamenti relativi all'Anno Accademico 2021-2022 2020-2021 2019-2020 2018-2019 2017-2018 2016-2017 2015-2016 2014-2015 2013-2014 2012-2013 2010-2011 2009-2010 2008-2009 2007-2008

Andrea BONDAVALLI

Insegnamenti relativi all'Anno Accademico