CURRICULUM VITAE

 

Andrea Ceccarelli is an Associate Professor in Computer Science at the Department of Mathematics and Informatics of the University of Florence (Italy), where he also received the Master degree (cum laude) in 2008, and the PhD in Informatics and Automation Engineering in 2012.

Andrea Ceccarelli has more than 10 years of experience in the design and assessment of dependable and secure systems and System-of-Systems, with a preference for experimental approaches. In the recent period, he started investigating security and safety of AI systems, with a focus on the analysis of their behavior when subject to anomalous inputs, and the consequent definition of countermeasures.

ACADEMIC SERVICES

Andrea Ceccarelli was TPC co-Chair of the Conferences SRDS 2017 (International Symposium on Reliable Distributed Systems), and LADC 2018 (Latin-America Symposium on Dependable Computing). Further, he co-organized five different workshops:

- Three editions of the Workshop RADIANCE (International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms) held jointly with the conference DSN 2015, DSN 2016, DSN 2017
- IRENE Workshop on “Resilient and secure urban power systems”, held jointly with the IEEE Second International Smart Cities Conference (ISC2), 2016.
- IRENE Workshop on “Tools for Smart Grid Design and Assessment” held jointly with the conference SmartGift 2017.

Also, he held the roles of Poster Chair at EDCC 2019, Publication Chair at SRDS 2016 and SAFECOMP 2014, co-chair of LADC 2021 Industry Track, and he is a Steering Committee member of LADC.

He was amongst the organizers the summer schools ARTISAN 2021 (virtual) and 2022 (Valence, France) on "ARTISAN - Role and effects of ARTificial Intelligence in SecureApplicatioNs" togheter with O. Aktouf (Grenoble INP, France) and O. Jung (AIT, Austria).

He is regularly involved in the Program Committee of Conferences and Workshops: overall, he has been member of above 80 TPCs of conferences and workshops, including venues as IEEE/IFIP DSN, IEEE SRDS, IEEE ISSRE, AAAI, IEEE NCA.

Amongst main speaking activities, he was invited speaker at:
- Fault Tolerance Workshop, held at SBRC (Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos), 2020. Talk Title: On failures of RGB cameras and their effects in autonomous driving applications
- "LCIS Scientific Day" at LCIS- Grenoble INP (Valence, France, 2019). Talk title: On conceptualizing, modeling and engineering evolutionary time-aware Cyber-Physical Systems of Systems
- IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance, Workshop on "Security Assessment: Metrics and Methods" 2014, Sorrento, Italy. Talk title: Design and Security Assessment of a Protocol for Continuous User Identity Verification.

and panelist at:

- IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) 2012, panel title: "The Fundamentals of Establishing Successful Public and Private Sector Partnerships with Academia"
- 36th International Symposium on Reliable Distributed Systems” (SRDS) 2017, panel title: “Reliability and Security in the era of Big Data and IoT”

ROLE AND PARTICIPATION IN RESEARCH PROJECTS

Andrea Ceccarelli participated to multiple research projects, with different roles and responsibilities, as reported below.

- Principal Investigator of the POR CREO FESR 2020 SPaCe Smart Passenger Center (cost for the unit: 280.000 Euros).
- Responsible for the unit "Dept. of Math. and Informatics" for the project MineHep: data mining in High Energy Physics (2018-2019). Project sponsored by the University of Florence for young researchers.

Technical coordinator of the unit in:
- Regional Project POR-CREO 2007-2013 Bando unico R&S Anno 2012 SECURE! - Smart platform based on crowdsourcing and crowdsensing technologies for safety and for the management of crisis and emergencies (2013-2015)
- JPI Urban Europe 4211064 IRENE - Improving the Robustness of Urban Electricity Networks, 2014-2017

Work Package Leader in:
- H2020-MSCA-RISE ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems, 2019-ongoing
- FP7-PEOPLE-2013-IRSES DEVASSES - DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS, 2014-2017
- FP7-ICT-2013-10 AMADEOS Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of Systems, 2013-2016

Other involvements in projects: European projects FP7-PEOPLE-2012-IAPP CECRIS, IST-FP6-26979 HIDENETS, FP6-IST-031413 SAFEDMI, FP7-IST-234088 ALARP, IST-FP7-216295 AMBER, National projects PRIN TENACE, PRIN DOTS-LCCI, Regional project POR CREO SILFI, FESR 2014-2020 SISTER, PAR FAS 2007-2013 TOSCA-FI.

TECHNOLOGY TRANSFER AND PROJECTS WITH INDUSTRIES

Starting 2009, Andrea Ceccarelli is a partner of the company Resiltech SRL, which has been Academic Spinoff of the University of Florence. Resiltech operates in the area of design, Verification, Validation and assessment of critical systems, with main focus in the automotive, railway and industrial automation domain. It counts approximately 35 full time employees and four premises in
Italy.

He regularly serves as expert for the evaluation of H2020 project proposals for the European Commission (2014, 2016, 2017, 2018, 2019, 2020, 2021), and for the evaluation of project proposals for the Eureka network (2019, 2020, 2021).

He is co-Inventor of the Italian Patent: Brevetto italiano 102015000072477, Methods and apparatus for resilient time signalling (N.PCT/IB2016/056768).

 VISITING POSITIONS

Andrea Ceccarelli has been visiting researcher at:
2019 (three weeks), 2015 (two months): Universidade Estadual de Campinas (San Paolo, Brasil)
2017 (three weeks), 2016 (1 month), 2014 (two months): Universidade Federal de Alagoas (Alagoas, Brasil)
2013 (four months): Critical Software S.A., Coimbra, Portugal
2010-2011 (three months, Visiting Student during PhD): University of Coimbra, Coimbra, Portugal

MAIN NATIONAL AND INTERNATIONAL ACKNOWLEDGMENTS

2020- Best Research Paper Nominees at ISSRE 2020
2019- Best Experience Report paper at LADC 2019
2017 - National Scientific Habilitation (ASN) as Associate professor (II rank) in Computer Science (01/B1)
2017 - MIUR FFABR - Fondo per il finanziamento delle attività base di ricerca (Legge di Bilancio 2017)
2021- Member of the IFIP WG10.4 on Dependable Computing and Fault Tolerance

Complete CV

Download CV in English (last update March 2022)

Download CV in Italian (last update September 2022)

• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Towards a General Model for Intrusion Detection: An Exploratory Study". Machine Learning for CyberSecurity (MLCS 2022). 2022. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?". Pacific Rim Dependable COmputing (PRDC2021). 2021. [More] 
• Conference N. Piazzesi, M. Hong and A. Ceccarelli. "Attack and Fault Injection in Self-driving Agents on the Carla Simulator -- Experience Report". Computer Safety, Reliability, and Security. Habli, Ibrahim, Sujan, Mark, Bitsch and Friedemann eds. 2021. pp. 210-225. [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] 
• Journal T. Zoppi, A. Ceccarelli and A. Bondavalli. "Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application", IEEE Access, Vol. 9. 2021, pp. 90603-90615. [More] 
• Journal T. Zoppi and A. Ceccarelli. "Prepare for trouble and make it double! Supervised – Unsupervised stacking for anomaly-based intrusion detection", Journal of Network and Computer Applications, Vol. 1, 9, 2021. [More] 
• Journal D. Bertieri, A. Ceccarelli, T. Zoppi, I. Mungiello, M. Barbareschi and A. Bondavalli. "Development and validation of a safe communication protocol compliant to railway standards", Journal of the Brazilian Computer Society, Vol. 27. 2021, pp. 1-26. [More] 
• Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Governance Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems". 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE). 2020. pp. 000217-000222. [More] 
• Conference F. Secci and A. Ceccarelli. "On failures of RGB cameras and their effects in autonomous driving applications". International Symposium on Software Reliability Engineering (ISSRE). 2020. [More] 
• Conference L. Leal, L. Montecchi, A. Ceccarelli and E. Martins. "Using metamodels to improve model-based testing of service orchestrations". Pacific Rim International Symposium on Dependable Computing (PRDC 2020). 2020. [More] 
• Journal M. Gharib, L. D. da Silva and A. Ceccarelli. "A Model to Discipline Autonomy in Cyber-Physical Systems-of-Systems and its Application", Journal of Software: Evolution & Process. 2020. [More] 
• Journal A. Ceccarelli, M. Cinque, C. Esposito, L. Foschini, C. Giannelli and P. Lollini. "FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things", IEEE Transactions on Engineering Management. 2020, pp. 1-15. [More] 
• Journal T. Zoppi, A. Ceccarelli, L. Salani and A. Bondavalli. "On the educated selection of unsupervised algorithms via attacks and anomaly classes", Journal of Information Security and Applications, Vol. 52. 2020, pp. 102474. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection". 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S). 2020. pp. 81-81. [More] 
• Conference E. Rodrigues, L. Montecchi and A. Ceccarelli. "Model-Driven Fault Injection in Java Source Code". 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 2020. pp. 414-425. [More] 
• Conference A. Ceccarelli et al.. "The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results". safecomp workshop. 2019. pp. 185-197. [More] 
• Journal E. Schiavone, A. Ceccarelli, A. M. Carvalho and A. Bondavalli. "Design, Implementation, and Assessment of a Usable Multi-Biometric Continuous Authentication System", International Journal of Critical Computer-Based Systems, Vol. 9. 2019, pp. 215 - 247. [More] 
• Conference L. Leal, L. Montecchi, A. Ceccarelli and E. Martins. "Exploiting MDE for platform-independent testing of service orchestrations". 2019. pp. 149-152. [More] 
• Conference L. Leal, A. Ceccarelli and E. Martins. "The SAMBA approach for self-adaptive model-based online testing of services orchestrations". 2019. pp. 495-500. [More] 
• Conference A. Ceccarelli, A. Cioni, M. V. Garzelli, L. Piergiulio and R. Laura. "Towards enhanced databases for High Energy Physics". Proceedings of Science. 2019. pp. 0-0. [More] 
• Conference D. Bertieri, T. Zoppi, I. Mungiello, A. Ceccarelli, M. Barbareschi and A. Bondavalli. "Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain". 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING. 2019. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Evaluation of Anomaly Detection algorithms made easy with RELOAD". International Sympoosium on Software Reliability Engineering (ISSRE 2019). 2019. [More] 
• Journal T. Zoppi, A. Ceccarelli and A. Bondavalli. "MADneSs: a Multi-layer Anomaly Detection Framework for Complex Dynamic Systems", IEEE Transactions on Dependable and Secure computing. 2019. [More] 
• Conference . Falcao et al.. "Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection". Symposium on Applied Computing (SAC19) - DADS Track. 2019. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection". IEEE World Congress on Services. C. C. K. et al eds. 2019. [More] 
• Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). 2019. [More] 
• Journal E. Schiavone, A. Ceccarelli, A. Carvalho and A. Bondavalli. "Design, implementation, and assessment of a usable multi-biometric continuous authentication system", International Journal of Critical Computer-Based Systems, Vol. 9. 2019, pp. 215-247. [More] 
• Conference A. Ceccarelli and R. Matias. "Message from the LADC 2018 Program Committee Chairs". 2018 Eighth Latin-American Symposium on Dependable Computing (LADC). 2018. pp. 10-10. [More] 
• Journal A. Ceccarelli et al. "Threat analysis in systems-of-systems: An emergence-oriented approach", ACM Transactions on Cyber-Physical Systems, Vol. 3. 2018. [More] 
• Journal M. Mori, A. Ceccarelli, P. Lollini, B. Frömel, F. Brancati and A. Bondavalli. "Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile", Journal of Software: Evolution and Process, Vol. 30. 2018. [More] 
• Journal T. Zoppi et al. "Labelling relevant events to support the crisis management operator", Journal of Software: Evolution and Process. 2018. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "On algorithms selection for unsupervised anomaly detection". Pacific Rimm Dependable computing Conference (PRDC18). 2018. [More] 
• Conference M. Gharib, L. D. da Silva, H. Kavalionak and A. Ceccarelli. "A Model-based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems". Eighth Latin-American Symposium on Dependable Computing (LADC). 2018. [More] 
• Journal M. D'Arco, A. Renga, A. Ceccarelli, F. Brancati and A. Bondavalli. "Enhancing workers safety in worksites through augmented GNSS sensors", Measurement, Vol. 117. 2018, pp. 144 - 152. [More] 
• Journal M. Mori, A. Ceccarelli, P. Lollini, B. Frömel, F. Brancati and A. Bondavalli. "Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile", Journal of Software: Evolution and Process, Vol. 30. 2018, pp. e1878. [More] 
• Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". The 12th International Conference on Critical Information Infrastructures Security (CRITIS). 2017. [More] 
• Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous Biometric Verification for Non-Repudiation of Remote Services". ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. 2017. [More] 
• Conference L. Montecchi, P. Lollini and A. Ceccarelli. "Assessing the Impact of Cascading Failures in Urban Electricity Networks". 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). 2017. pp. 324-329. [More] 
• Conference T. Zoppi, S. Bessler, A. Ceccarelli, E. Lambert, E. T. Lau and A. Vasenev. "A Modeling Framework to Support Resilient Evolution Planning of Smart Grids". 2nd SmartGIFT Conference. Springer ed. 2017. pp. 10. [More] 
• Conference T. Zoppi, A. Ceccarelli and M. Mori. "A Tool for Evolutionary Threat Analysis of Smart Grids". 2nd SmartGIFT Conference. Springer ed. 2017. pp. 6. [More] 
• Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Risk Assessment of a Biometric Continuous Authentication Protocol for Internet Services". Proceedings of the First Italian Conference on Cybersecurity (ITASEC17). 2017. pp. 53-65. [More] 
• Book Chapter N. Antunes, F. Brancati, A. Ceccarelli, A. Bondavalli and M. Vieira. "A Monitoring and Testing Framework for Critical Off-the-Shelf Applications and Services". In . Riverpublisher. 2017. pp. 25. [More] 
• Book Chapter A. Ceccarelli and N. Silva. "A Framework to Identify Companies Gaps When Introducing New Standards for Safety-Critical Software". In A. Bondavalli and F. Brancati (eds), Certifications of Critical Systems - The CECRIS Experience. River Publisher. 2017. pp. 1-30. [More] 
• Book Chapter M. R. Baptista, N. Silva, T. Zoppi, N. Nostro and A. Ceccarelli. "STECA – Security Threats, Effects and Criticality Analysis: Definition and Application to Smart Grids". In A. Bondavalli and F. Brancati (eds), Certifications of Critical Systems - The CECRIS Experience. River Publisher. 2017. pp. 167-182. [More] 
• Conference A. Vasenev, D. Ionita, T. Zoppi, A. Ceccarelli and R. Wieringa. "Towards Security Requirements: Iconicity as a Feature of an Informal Modeling Language". 3rd International Workshop on Requirements Engineering for Self-Adaptive & Cyber Physical Systems (RESACS). CEUR-WS ed. 2017. [More] 
• Journal T. Zoppi et al. "Labelling Relevant Events to Support the Crisis Management Operator", Journal of Software: Evolution and Process. 2017. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Exploring Anomaly Detection in Systems of Systems". Symposium on Applied Computing (SAC) - "Software Architecture: Theory, Technology, and Applications" track. ACM ed. 2017. pp. 1139-1146. [More] 
• Conference E. Schiavone, A. Ceccarelli, A. Bondavalli and A. M. Carvalho. "Usability Assessment in a Multi-biometric Continuous Authentication System". Proceedings of the 7h Latin-American Symposium on Dependable Computing, LADC 2016. 2016. [More] 
• Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous Authentication and Non-repudiation for the Security of Critical Systems". PhD Forum of the 35th IEEE Symposium on Reliable Distributed Systems, SRDS. 2016. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Challenging Anomaly Detection in Complex Dynamic Systems". Proceedings of 2016 IEEE 35th Symposium on Reliable Distributed Systems. 2016. pp. 2. [More] 
• Conference N. Nostro, D. Iacono, A. Ceccarelli and A. Bondavalli. "Towards Failure and Intrusion Detection in Systems of Systems: Challenges and an Approach". ISORC-SORT 2016. 2016. [More] 
• Conference A. Vasenev, L. Montoya and A. Ceccarelli. "A Hazus-based method for assessing robustness of electricity supply to critical smart grid consumers during flood events". International Conference on Availability, Reliability and Security (ARES). 2016. pp. 6. [More] 
• Conference A. Vasenev, L. Montoya, A. Ceccarelli, A. Le and D. Ionita. "Threat navigator: grouping and ranking malicious external threats to current and future urban smart grids". 1st EAI International Conference on Smart Grid Inspired. 2016. pp. 8. [More] 
• Journal A. Bondavalli, A. Ceccarelli, P. Lollini, L. Montecchi and M. Mori. "System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions", IEEE Systems Journal, Vol. To appear. 2016. [More] 
• Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Context-Awareness to improve Anomaly Detection in Dynamic Service Oriented Architectures". Computer Safety, Reliability and Security (SAFECOMP 2016). A. Skavhaug, J. Guiochet and F. Bitsch eds. 2016. pp. 145-158. [More] 
• Conference O. Jung et al.. "Towards a Collaborative Framework to Improve Urban Grid Resilience". IEEE International Energy Conference. 2016. [More] 
• Conference M. Mori, A. Ceccarelli, T. Zoppi and A. Bondavalli. "On the impact of emergent properties on SoS security". 7th International Conference on System of Systems Engineering (SoSE). 2016. [More] 
• Journal A. Bondavalli, F. Brancati, A. Ceccarelli, D. Santoro and M. Vadursi. "Differential analysis of Operating System indicators for anomaly detection in dependable systems: An experimental study", Measurement, Vol. 80. 2016, pp. 229 - 240. [More] 
• Conference N. Nostro et al.. "A Multi-Criteria Ranking of Security Countermeasures". Proceedings of the 31st Annual ACM Symposium on Applied Computing. 2016. pp. 530-533. [More] 
• Conference M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli and B. Frömel. "A holistic viewpoint-based SysML Profile to Design Systems-of-Systems". IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016. 2016. [More] 
• Conference T. Zoppi et al.. "Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy". IEEE 17th International Symposium on High Assurance Systems Engineering (HASE). 2016. pp. 228-235. [More] 
• Book Chapter A. Ceccarelli, A. Bondavalli, B. Froemel, O. Hoeftberger and H. Kopetz. "Basic Concepts on Systems of Systems". In Bondavalli, Andrea, Bouchenak, Sara, Kopetz and Hermann (eds), . Cham : Springer International Publishing. 2016. pp. 1-39. [More] 
• Book Chapter A. Ceccarelli, F. Brancati, B. Frömel and O. Höftberger. "Time and Resilient Master Clocks in Cyber-Physical Systems". In Bondavalli, Andrea, Bouchenak, Sara, Kopetz and Hermann (eds), . Cham : Springer International Publishing. 2016. pp. 165-185. [More] 
• Book Chapter S. Bouchenak et al.. "Managing Dynamicity in SoS". In Bondavalli, Andrea, Bouchenak, Sara, Kopetz and Hermann (eds), . Cham : Springer International Publishing. 2016. pp. 186-206. [More] 
• Conference N. Antunes, A. Carvalho, A. Ceccarelli and A. Zentai. "Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)". DSN 2016. 2016. pp. 2. [More] 
• Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous User Identity Verification for Trusted Operators in Control Rooms". Algorithms and Architectures for Parallel Processing - {ICA3PP} International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. 2015. pp. 187-200. [More] 
• Conference T. Zoppi, A. Bondavalli, A. Ceccarelli and M. Itria. "A Multi-Layer Anomaly Detector for Dynamic Service-Based Systems". Computer Safety, Reliability, and Security. 2015. pp. 166-180. [More] 
• Conference A. M. Carvalho, N. Antunes, A. Zentai and A. Ceccarelli. "Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)". Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on. 2015. pp. 567-568. [More] 
• Journal A. Ceccarelli, L. Montecchi, F. Brancati, P. Lollini, A. Marguglio and A. Bondavalli. "Continuous and Transparent User Identity Verification for Secure Internet Services", IEEE Transactions on Dependable and Secure Computing, Vol. 12, May-June, 2015, pp. 270-283. [More] 
• Conference A. Ceccarelli, M. Mori, P. Lollini and A. Bondavalli. "Introducing Meta-Requirements for Describing System of Systems". High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. 2015. pp. 150-157. [More] 
• Journal L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso and A. Bondavalli. "Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform", Electronic Notes in Theoretical Computer Science, Vol. 310, January, 2015, pp. 113-133. [More] 
• Journal A. Ceccarelli and A. Bondavalli. "On trustworthy measurements when testing dependable systems: a discussion and experiences", International Journal of Critical Computer-Based Systems, Vol. 6. 2015, pp. 154-170. [More] 
• Conference A. Ceccarelli and N. Silva. "Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software". Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. 2015. pp. 303-313. [More] 
• Journal N. Nostro, A. Ceccarelli, F. Brancati and A. Bondavalli. "Insider Threat Assessment: a Model-Based Methodology", SIGOPS Operating Systems Review (OSR) journal, Vol. 48, July, 2014, pp. 3-12. [More] 
• proceedings A. Bondavalli, A. Ceccarelli and F. Ortmeier. Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings. A. Bondavalli, A. Ceccarelli and F. Ortmeier eds. Springer. 2014. [More] 
• Conference A. Bondavalli, A. Ceccarelli, F. Brancati, D. Santoro and M. Vadursi. "Anomaly detection in sistemi complessi mediante monitoraggio di variabili di sistema operativo". XXXI Congresso Nazionale dell'AssociazioneGruppo Misure Elettriche ed Elettroniche. 2014. [More] 
• Book Chapter F. Duchi, N. Antunes, A. Ceccarelli, G. Vella, F. Rossi and A. Bondavalli. "Cost-Effective Testing for Critical Off-the-Shelf Services". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security - Workshop. Springer International Publishing. 2014. pp. 231-242. [More] 
• Book Chapter N. Nostro, I. Matteucci, A. Ceccarelli, F. Di Giandomenico, F. Martinelli and A. Bondavalli. "On Security Countermeasures Ranking through Threat Analysis". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security - Workshop. Springer International Publishing. 2014. pp. 243-254. [More] 
• Other M. L. Itria, A. Daidone and A. Ceccarelli. "A Complex Event Processing Approach for Crisis-Management Systems". EDCC Workshop Big4CIP. 2014. . [More] 
• Other M. Cinque et al.. "Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities". EDCCW Big4CIP. 2014. . [More] 
• Conference A. Ceccarelli, T. Zoppi, A. Bondavalli, F. Duchi and G. Vella. "A Testbed for Evaluating Anomaly Detection Monitors Through Fault Injection". ISORCW-SORT 2014. 2014. pp. 358 - 365. [More] 
• Conference A. Ceccarelli and N. Silva. "Qualitative comparison of aerospace standards: an objective approach". ISSRE-WoSoCer. 2013. [More] 
• Conference N. Antunes, F. Brancati, A. Ceccarelli, A. Bondavalli and M. Vieira. "A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services". ISSRE-WoSoCer. 2013. [More] 
• Journal A. Bondavalli, F. Brancati, A. Ceccarelli, L. Falai and M. Vadursi. "Resilient Estimation of Synchronisation Uncertainty through Software Clocks", IJCCBS, Vol. 4, October, 2013, pp. 301 - 322. [More] 
• Conference L. Montecchi, A. Ceccarelli, P. Lollini and A. Bondavalli. "Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system". 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT'13). 2013. [More] 
• Journal A. Bondavalli, A. Ceccarelli, F. Gogaj, M. Vadursi and A. Seminatore. "Experimental assessment of low-cost GPS-based localization in railway worksite-like scenarios", Measurement, Vol. 46, January, 2013, pp. 11. [More] 
• Book Chapter A. Bondavalli, F. Brancati, A. Ceccarelli and L. Falai. "Providing Safety-Critical and Real-Time Services for Mobile Devices in Uncertain Environment". In Self-Organization in Embedded Real-Time Systems. Springer New York. 2013. pp. 25-53. [More] 
• Conference N. Nostro, A. Ceccarelli, A. Bondavalli and F. Brancati. "A methodology and supporting techniques for the quantitative assessment of insider threats". Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing. 2013. pp. 3. [More] 
• Conference A. Bondavalli, F. Brancati, A. Ceccarelli, D. Santoro and M. Vadursi. "Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems". Measurements and Networking Proceedings (M&N), 2013 IEEE International Workshop on. 2013. pp. 138-142. [More] 
• PhD Thesis A. Ceccarelli. "Analysis of Critical Systems Through Rigorous, Reproducible and Comparable Experimental Assessment". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Ingegneria Informatica e dell'Automazione (XXIV Ciclo). May 9th, 2012. Supervisor(s): A. Bondavalli. [More] 
• Conference A. Ceccarelli et al.. "Design and implementation of real-time wearable devices for a safety-critical track warning system". High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 147-154. [More] 
• Conference J. Figueiras, J. Grønbæk, A. Ceccarelli and H.-P. Schwefel. "GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios". High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 17-23. [More] 
• Conference A. Ceccarelli, A. Bondavalli, F. Brancati and E. L. Mattina. "Improving Security of Internet Services Through Continuous and Transparent User Identity Verification". Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on. 2012. pp. 201-206. [More] 
• Conference A. Seminatore, L. Ghelardoni, A. Ceccarelli, L. Falai, M. Schultheis and B. Malinowsky. "ALARP (A Railway Automatic Track Warning System Based on Distributed Personal Mobile Terminals)". TRA 2012. 2012. pp. 10. [More] 
• Conference B. Malinowsky, J. Grønbæk, H.-P. Schwefel, A. Ceccarelli, A. Bondavalli and E. Nett. "Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems". EDCC. 2012. pp. 144-155. [More] 
• Book Chapter A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Foundations of Metrology in the Observation of Critical Systems". In Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. pp. 205-211. [More] 
• Conference A. Ceccarelli, M. Vieira and A. Bondavalli. "A Service Discovery Approach for Testing Dynamic SOAs". Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on. 2011. pp. 133-142. [More] 
• Conference A. Bondavalli, A. Ceccarelli, F. Gogaj, A. Seminatore and M. Vadursi. "Localization errors of low-cost GPS devices in railway worksite-like scenario". M&N 2011. 2011. [More] 
• Book Chapter P. Lollini, A. Ceccarelli and M. Vadursi. "Richiami di probabilità e metrologia". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 13-55. [More] 
• Conference A. Ceccarelli, A. Bondavalli and M. Vieira. "A Testing Service for Lifelong Validation of Dynamic SOA.". HASE 2011. 2011. [More] 
• Book Chapter A. Bondavalli, F. Brancati and A. Ceccarelli. "Monitoring". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. pp. 201-232. [More] 
• Conference A. Ceccarelli, L. Vinerbi, L. Falai and A. Bondavalli. "RACME: a framework to support V&V and certification". IEEE LADC 2011. 2011. [More] 
• Conference J. Grønbæk, H.-P. Schwefel, A. Ceccarelli and A. Bondavalli. "Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations". Network Computing and Applications (NCA), 2010 9th IEEE International Symposium on. 2010. pp. 229 -232. [More] 
• Conference A. Ceccarelli, J. Grønbæk, L. Montecchi, H.-P. Schwefel and A. Bondavalli. "Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments". 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010). 2010. pp. 184 -193. [More] 
• Book Chapter A. Bondavalli, A. Ceccarelli and P. Lollini. "Architecting and Validating Dependable Systems: Experiences and Visions". In LNCS. Berlin Heidelberg : Springer Berlin / Heidelberg. 2010. [More] 
• Journal A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "A New Approach and a Related Tool For Dependability Measurements on Distributed Systems", IEEE Tran. on Instr. and Meas., Vol. 59. 2010, pp. 820-831. [More] 
• Conference A. Bondavalli, F. Brancati, A. Ceccarelli and M. Vadursi. "Experimental Validation of a Synchronization Uncertainty-Aware Software Clock". SRDS 2010. 2010. pp. 245-254. [More] 
• Conference A. Ceccarelli. "Towards techniques and methodologies for collecting trusted observation results". Student Forum at DSN-2009 IEEE Int. Conference on Dependable Systems and Networks, Supplemental Volume. 2009. pp. G34-G37. [More] 
• Journal A. Bondavalli et al. "Design and Evaluation of a Safe Driver Machine Interface", IJPE, Vol. 4. 2009, pp. 153-166. [More] 
• Conference A. Ceccarelli, A. Bondavalli and D. Iovino. "Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection". IEEE 15th Pacific Rim International Symposium on Dependable Computing. 2009. pp. 234-241. [More] 
• Conference A. Bondavalli, F. Brancati, A. Ceccarelli and L. Falai. "An Experimental Framework for the Analysis and Validation of Software Clocks". LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS). 2009. pp. 69-81. [More] 
• Conference A. Bondavalli, F. Brancati and A. Ceccarelli. "Safe Estimation of Time Uncertainty of Local Clocks". Proc. of Int. IEEE Symp. on Precision Clock Synch. for Measur., Contr. and Comm., ISPCS 2009. 2009. pp. 47-52. [More] 
• Other A. Ceccarelli, D. Iovino and A. Bondavalli. "A Fault Injection Tool for Trustworthy, Comparative Measurements and Analysis". SRDS 2008 Workshop with no proceeding. October 5, 2008. . [More] 
• Master's Thesis A. Ceccarelli. "Progettazione e validazione di un’architettura safety-critical per sistemi di controllo ferroviari,". Master's thesis. University of Firenze. Corso di Laurea Specialistica in Scienze e Teconologie dell'Informazione. October 24th, 2008. Supervisor(s): A. Bondavalli. [More] 
• Other A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Enhancing the NekoStat Tool with Uncertainty, Resolution and Intrusiveness Evaluation Capabilities". Workshop with no proceeding DSN-RADB2008. June, 2008. . [More] 
• Conference A. Ceccarelli, I. Majzik, D. Iovino, F. Caneschi, G. Pinter and A. Bondavalli. "A resilient SIL 2 Driver Machine Interface for train control systems". IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08). 2008. [More] 
• Technical Report A. Bondavalli, A. Ceccarelli and L. Falai. "Reliable and Self-Aware Clock: complete description". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080508. 2008. [More] 
• Conference A. Bondavalli, A. Ceccarelli and L. Falai. "Assuring Resilient Time Synchronization". SRDS 2008: Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems. 2008. [More] 
• Conference A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Foundations of measurement theory applied to the evaluation of dependability attributes". DSN-2007 IEEE Int. Conference on Dependable Systems and Networks. 2007. [More] 
• Conference A. Bondavalli, A. Ceccarelli, L. Falai and M. Vadursi. "Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems". Proceedings of The 8th International Symposium on Autonomous Decentralized Systems. 2007. [More] 
• Conference A. Bondavalli, A. Ceccarelli and L. Falai. "A self-aware clock for pervasive computing systems". The Fifteen Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007). 2007. [More] 
• Other A. Ceccarelli. "Analisi sperimentale di applicazioni critiche real-time: uno strumento consapevole della qualità delle misurazioni raccolte". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
• Journal A. Ceccarelli, M. Cinque, C. Esposito, L. Foschini, C. Giannelli and P. Lollini. "FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things", IEEE Transactions on Engineering Management. [More]