Andrea Bondavalli

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

Full Professor at University of Florence

Head of RCL Group

Addresses


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

Email: alt


 Home

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


CV

 


 

Short CV

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

 


 

Complete CV

PERSONAL DATA

Andrea Bondavalli was born in Reggio Emilia on November 26, 1960.
Married with three children. Italian citizen.
URL WebServ http://rcl.dsi.unifi.it
Laurea degree in Computer Science - University of Pisa
Further Education, Experiences abroad
- 1987: CNR Fellowship in TECNOLOGIA DELLA INFORMAZIONE Progetto RETI DI
CALCOLATORI awarded at CNR-CNUCE.
- 1991-92 – 1 year at the University of Newcastle upon Tyne (UK) – CNR - N.A.T.O. Advanced
Fellowship -Brian Randell
- 2002: 3 months Visiting Professor, EPFL, Lausanne (CH)- Prof. Andrè Schiper
- 2005: 1 month visiting professor Budapest University of Technology and Economics visiting
Prof. Andras Pataricza.
- Secondments for a total of 3 months at the universities of Estatual de Campinas and Federal de
Alagoas (Brazil) in the framework of the PIRSES-GA-2013-612569 (FP7-PEOPLE)
“DEVASSES”
- Secondments for a total of 2 months at Prolan (Hungary) in the framework of the FP7-PEOPLE-
2012-IAPP-324334 “CECRIS: CErtification of CRItical Systems”
- Secondments for a total of 1 months at the Institudo Nacional de Pesquisas Epaciais INPE
(Brazil) in the framework of the H2020-MSCA-RISE-2018, 823788 (FP7-PEOPLE)
“ADVANCE”
PRESENT POSITION
Full Professor INF/01 University of Florence from December 2015.
PAST POSITIONS
- February 2000- November 2015 Associate Professor INF/01 University of Florence
- 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.
TEACHING
In the academic year 2020-2021 Andrea Bondavalli teaches:
- ‘Architetture degli Elaboratori’ of the 1st level degree in Computer Science
- ‘Quantitative analysis of Systems’, and ‘Distributed real time Cyber Physical Systems (of
Systems)’ both fundamental courses for curriculum ‘Resilient and Secure Cyber Physical
Systems’ of the 2nd level degree in Computer Science
TEXT BOOKS
Book for "Quantitative analysis of Systems’ (QAS)"
• A. Bondavalli (ed.), "L'analisi Quantitativa dei Sistemi Critici", Esculapio Bologna, 2011
https://www.amazon.it/Lanalisi-quantitativa-dei-sistemi-critici/dp/8874884311
ISBN: 8874884311
Book for ‘Distributed real time Cyber Physical Systems (of Systems)
• A. Bondavalli, S. Boukenak, H. Kopetz (Eds.) ‘Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy’. Springer Verlag 2016, ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online).
RESEARCH INTERESTS
Safety Critical Systems, Embedded Real-time systems, Cyber Physical Systems, Systems of Systems, Fault tolerant mechanisms and Architectures, Verification, Validation, Certification, Quantitative evaluation and assessment of QoS.
RESEARCH PROJECTS
Andrea Bondavalli has a vast experience having been principal investigator of a long stream of research and industrial projects. Descriptions can be found at http://rcl.dimai.unifi.it/projects/list.
COOPERATION WITH INDUSTRIES AND PROFESSIONAL ACTIVITIES
Andrea has long cooperation relationships with industries and other public organizations and professional organizations.
• Expert for the European Commission for the selection of project proposals in the 6th, 7th frameworks and in H2020 (in MSC, ICT, Trust&Security; Embedded Systems)
• Expert for the European Commission for the evaluation and assessment of projects
• Expert for the evaluation of project proposals for many European national Organisations.
• Consultant of the EEIG ERTMS Users Group for the safe interface RBC-RBC standard.
Andrea has co-founded a startup company “ResilTech S.r.l.”, which operates in design and V&V for critical systems. Resiltech s.r.l., founded in the last quarter of 2007, has now more than 40 employees and collaborators and has been until 2016 an academic SPINOFF of the University of Florence. http://www.resiltech.com/
ACADEMIC ACTIVITIES
Andrea has served as the chair of the “Consiglio dei Corsi di Studio in Informatica” of the University of Florence for the term 2017-2020. He is the promoter of the Curriculum ‘Resilient and Secure Cyber Physical Systems’ of the 2nd level degree in Computer Science. Moreover he has been part of the Boards of the Doctoral schools:
- 2013-2018: Università di FIRENZE "MATEMATICA, INFORMATICA, STATISTICA" - Cycles: 29--33
- 2012: Università di PISA Titolo: "INFORMATICA" - Cycle: XXVIII
- 2009: Università di FIRENZE: "INFORMATICA ED APPLICAZIONI" Cycle: XXV PhD schools
- Andrea has been one of the directors of
- Winter School: “Hot Topics in Secure and Dependable Computing for Critical Infrastructures”, Jan. 15-19 2012, Cortina D'Ampezzo, Italy
- SecureCI2016 “Winter School: Securing Critical Infrastructures” January 17th - 21st, Cortina d'Ampezzo, Italy
He has also been a member of the PhD juries of about 15 candidates in Europe.
Currently he is the Advisor of the PhD students
• Mirko Staderini - Matematica, Informatica, Statistica - Universita di Firenze;
• Hafiza Maria Maqsood - Matematica, Informatica, Statistica - Universita di Firenze;
• Atif Muhammad - Matematica, Informatica, Statistica - Universita di Firenze;
• Francesco Terrosi - Matematica, Informatica, Statistica - Universita di Firenze.
and has been advisor of
• Ivan Mura - Computer Engineering - University of Pisa;
• Andrea Coccoli - Computer Engineering - University of Pisa);
• Domenico Cotroneo - Computer Engineering – University of Napoli Federico II;
• Stefano Porcarelli - Computer Engineering – University of Pisa;
• Paolo Lollini - Computer Science – University of Firenze;
• Lorenzo Falai - Computer Engineering - University of Firenze;
• Alessandro Daidone - Computer Science - University of Firenze;
• Francesco Brancati - Computer Science - University of Firenze;
• Andrea Ceccarelli – Computer Engineering - University of Firenze;
• Leonardo Montecchi - Computer Engineering - University of Firenze;
• Nicola Nostro - Computer Engineering - University of Firenze;
• Tommaso Zoppi - Matematica, Informatica, Statistica - Universita di Firenze.
• Enrico Schiavone - Matematica, Informatica, Statistica - Universita di Firenze ;
KeyNotes:
Andrea held the following Keynote Speeches:
• “HIDENETS: Highly DEpendable ip-based NETworks and Services” at ‘The Inaugural International Workshop on Dependability in Service-oriented Grids’ associated to IEEE SRDS-25 Leeds October 2005.
• “Model based resilience assessment of critical information infrastructures” at SAFECOMP 2011 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 to Safecomp 2012, Magdeburg, sept. 2012.
• “Dependability modeling and analysis methods integrated in model-driven industrial architectural frameworks” at ‘The International Workshop on Model-Based Design for Cyber-Physical System (MB4CP 2015)’ associated to DSN2015, Rio de Janeiro, June 2015.
• “Emergence in Cyber-Physical Systems-of-Systems” at ‘SRDS 2016’ 35th IEEE Symposium on Reliable Distributed Systems, Budapest, Hungary, September 2016.
• “Anomaly Detection for Complex Dynamic System”, at FARES 2017 - The 12th International Workshop on Frontiers in Availability, Reliability and Security, associated to ARES 2017 – Reggio Calabria, Italy August 2017
SCIENTIFIC EDITORIAL BOARDS
He is a member of the editorial board of the International Journal of Critical Computer-Based Systems-IJCCBS. Inderscience publisher; ISSN online: 1757-8787, ISSN print: 1757-8779
GUEST EDITOR
• IEEE Transactions on Computers, Special issue on 'Reliable distributed Systems'
• IEEE Transactions on Dependable and Secure Computing, Special issue on 'DSN-DCCS05'
STEERING COMMITTEE OF INTERNATIONAL CONFERENCES
• SRDS- IEEE Symposium on Reliable Distributed Systems MEMBER since 2006 and CHAIR for the terms 2012-2015 and 2016-2019
• LADC- Latin-American Dependable Computing Conference, MEMBER from 2007 to 2012 and from 2017 - present
• DSN- IEEE International Conference on Dependable Systems and Networks – Member from 2018 to 2020
CONFERENCE CHAIR
General chair
• SRDS-22 - (2003)
• Safecomp-33- (2014)
Vice-General chair
• DSN-04 - IEEE DSN (2004)
• HASE-05 - 10th IEEE International High Assurance Systems Engineering Symposium (2005)
CONFERENCE COORDINATOR
• DSN-09 - IEEE DSN (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 (2005)
• LADC 07 - 3rd Latin-American Dependable Computing Conference(2007)
• Safecomp-33-(2014)

PROGRAM COMMITTEE MEMBER:Andrea has served as PC member for all the main conferences in the area for more than 20 years

 

 

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

CITATIONS: Andrea Bondavalli has, by August 2021
- Google Scholar: more than   4394 citations and an h-index of 32.
- SCOPUS: more than 2100 citations and an h-index of 22. (239 papers)

Recent Publications

  • Conference A. Muhammad, T. Zoppi, M. Gharib and A. Bondavalli. "Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition". SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. ACM ed. 2021. pp. 174-177. [More] 
  • Conference M. Staderini and A. Bondavalli. "Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts". Proceedings of the 28th Mini-Symposium of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. 2021. pp. 36-39. [More] 
  • Conference M. Staderini and A. Bondavalli. "Investigation on Vulnerabilities Location in Solidity Smart Contracts". Blockchain2021: blockchain and application. P. J., P. A., L. P. and P. A. eds. 2021. pp. 199-211. [More] 
  • Conference M. Gharib, T. Zoppi and A. Bondavalli. "Understanding the properness of incorporating machine learning algorithms in safety-critical systems". SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. ACM ed. 2021. pp. 232-234. [More] 
  • Journal T. Zoppi, T. Capecchi, A. Ceccarelli and A. Bondavalli. "Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape", ACM Transactions on Data Science. 2021. [More] 
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web