_SKIPNAVIGATION
ITA |
ENG
Cerca nel sito
CercaChi
Servizi online
Dipartimenti
Scuole
Ateneo
Storia e profilo
Statuto e normativa
Organi
Strutture
Piano Strategico di Ateneo
Piano integrato
Piano di uguaglianza di genere
Personale
Organizzazione amministrativa
Bandi di gara e procedure immobiliari
Bilanci
Assicurazione della Qualità
Amministrazione trasparente
Sistema archivistico di ateneo
Privacy policy
Protezione dati
Elezioni dei Rappresentanti degli Studenti nei Consigli direttivi dei Centri
Componente esterno del Consiglio di Amministrazione
Didattica
Corsi di laurea
Corsi di laurea internazionali
Master
Corsi di perfezionamento
Corsi di aggiornamento professionale
Corsi singoli
Ricerca insegnamenti
Segreterie didattiche Scuole
Scuole di specializzazione
Dottorati di ricerca
Istituto Universitario di Studi Superiori dell'Ateneo di Firenze
Digital Learning
Piattaforme e-learning
Formazione insegnanti e educatori
Valutazione della didattica
Ricerca
Opportunità di finanziamento
Piano Nazionale Ripresa Resilienza - PNRR
Progetti finanziati
Prodotti della ricerca
Scienza aperta in Ateneo
Infrastrutture di ricerca
Qualità e valutazione
Commissione etica
Human Resources Strategy for Researchers
Anagrafe della ricerca
Osservatorio della Ricerca
Assegni di ricerca
Parliamo di ricerca
Lavora con noi
Terza missione
Trasferimento tecnologico
Career service - aziende
Public engagement
Internazionalizzazione
Destinazione Unifi
Studenti internazionali
Studenti con protezione internazionale
Corsi di laurea internazionali
Erasmus e Mobilità internazionale
Centro Linguistico di Ateneo
Docenti e ricercatori internazionali
Accordi con università estere
Promozione delle attività internazionali
Cooperazione allo sviluppo
Cattedre UNESCO
Referenti per l'Internazionalizzazione e la Cooperazione internazionale
Centro di eccellenza Jean Monnet
UnifiOrienta
Orientamento in ingresso | Studiare a Firenze
Orientamento in itinere
Orientamento al lavoro - placement
Iscrizioni
Immatricolazioni e iscrizioni
Tasse e contributi universitari
Calendario scadenze
Segreterie studenti
Modulistica
FAQ | Come fare per
Manifesto degli studi
Studenti internazionali
Studenti con disabilità o DSA
Esami di stato
Iniziative per esigenze specifiche
Rappresentanza e tutela
Carta Studente della Toscana
Servizi agli studenti
Stage e tirocini
Borse e incentivi
Servizi | Sportelli
Studenti con disabilità o DSA
Mense e alloggi
Biblioteche
Studiare la sera e il sabato
Sedi e trasporti
Corsi di lingua
Assicurazioni
Convenzioni
Salute
Vivere l'università
Teatro e musica
Associazioni studentesche
Iniziative studentesche
Servizio Civile
Sport
Biblioteche
UNIFI comunica
Piano di Comunicazione
Immagine coordinata
Ufficio Stampa
Rassegna stampa
Social Network
UNIFI App
Video live
Agenda
UnifiMagazine
Laboratorio multimediale
Comunicazione interna
URP
Pubblicazioni di Ateneo area download
Insieme in sicurezza
Personale
Recapiti
Pagina Cercachi
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
Andrea BONDAVALLI
Orario di ricevimento (aggiornato al 07/07/2017)
su appuntamento dopo richiesta via e-mail.
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 |
Tesi di Dottorato
Gharib, Mohamad; Zoppi, Tommaso; Bondavalli, Andrea (2022). On the Properness of Incorporating Binary Classification Machine Learning Algorithms into Safety-Critical Systems. IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, pp. 1-1, ISSN:2168-6750
DOI
Accesso ONLINE all'editore
Mohamad Gharib , Andrea Ceccarelli , Paolo Lollini , Andrea Bondavalli (2022). A cyber-physical-social approach for engineering functional safety requirements for automotive systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, pp. 0-0, ISSN:0164-1212
DOI
Accesso ONLINE all'editore
Atif M.; Zoppi T.; Gharib M.; Bondavalli A. (2022). Towards Enhancing Traffic Sign Recognition through Sliding Windows. SENSORS, vol. 22, pp. 2683-2708, ISSN:1424-8220
DOI
Accesso ONLINE all'editore
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
Zoppi T.; Gharib M.; Atif M.; Bondavalli A. (2021). Meta-learning to improve unsupervised intrusion detection in cyber-physical systems. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, vol. 5, pp. 1-27, ISSN:2378-962X
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.
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
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
Tommaso Zoppi, Andrea Bondavalli, Andrea Ceccarelli (2021). Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?. In: 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE, pp. 0-0.
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
da Silva L.D.; Lollini P.; Mongelli D.; Bondavalli A.; Mando G. (2021). A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 27, pp. 1-38, ISSN:0104-6500
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). 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
Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2021). Stochastic Activity Networks Templates: Supporting Variability in Performability Models. IEEE TRANSACTIONS ON RELIABILITY, vol. ?, pp. 1-17, ISSN:0018-9529
DOI
Accesso ONLINE all'editore
Staderini Mirko, Pataricza András, Bondavalli Andrea (2021). Static Analysis Tools Applied to Smart Contracts. In: X Latin-American Symposium on Dependable Computing (LADC), SBC, pp. 3-4.
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
Zoppi Tommaso, Ceccarelli Andrea, Bondavalli Andrea (2021). Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors. In: 2021 10th Latin-American Symposium on Dependable Computing (LADC), IEEE, pp. 1-9.
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
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.
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
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
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
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
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). 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
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
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
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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; 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
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
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
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
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
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
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
Bondavalli, Andrea, Brancati, Francesco (2017). Certifications of Critical Systems - The CECRIS Experience. River Publishers, pp. 1-278, 9788793519565.
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
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
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
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
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). 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
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
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
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
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
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
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
francesco brancati, claudio fantacci, andrea bondavalli, andrea ceccarelli (2015). Metodo e apparato per una segnalazione resiliente del tempo. Numero: 102015000072477 Resiltech SRL
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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. 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
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. 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
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; 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
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. 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
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
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
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
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. Bondavalli (2011). L'analisi quantitativa dei sistemi critici. di A. Bondavalli, Bologna: Esculapio, pp. 1-300, 9788874884315.
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
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
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; 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
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
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
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
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
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
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
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. 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;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. 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. 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. 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
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
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
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; 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.
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
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. 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
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
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.
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. 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;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
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; F. V. Brasileiro; S. Rajsbaum (2007). Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Springer Verlag, 9783540752936.
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 (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
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.
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; 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
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). 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
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.
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.
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.
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
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
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. ---.
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.
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
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; 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
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
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
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. ---.
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
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. 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.
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
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
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; 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
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; 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.
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
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. 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.
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; 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; 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
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. 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
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
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; 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
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
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
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.
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
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
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. 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
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. ---.
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;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. 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. 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. 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. ---.
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
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; 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
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. 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
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;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;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. 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). 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
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. 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. ---.
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; 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
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
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
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
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.
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
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
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;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. ---.
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
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
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
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. ---.
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;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
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. 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
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
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
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
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
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;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.
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;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). 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.
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.
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). 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.
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;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.
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.
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;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.
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;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.
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.
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;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
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
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. 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 (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). 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. 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
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.
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. 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
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
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;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
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
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