Andrea Ceccarelli

Position: Researchers Ceccarelli, Andrea
Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Phone or fax: +39 0552751487
Location: Department of Mathematics and Informatics
Description:

CURRICULUM VITAE

Short CV

Andrea Ceccarelli received the Bachelor degree (cum laude) and Master degree (cum laude) in computer science from the University of Florence in 2006 and 2008, respectively. He received the PhD in Informatics and Automation Engineering at the Department of Systems and Informatics, University of Firenze, in April 2012. He is currently a Research Associate at the Department of Mathematics and Informatics, University of Florence.

He is presently involved in the European funded projects FP7-PEOPLE-2012-IAPP CECRIS, FP7-PEOPLE-2013-IRSES DEVASSES, and the JPI URBAN EUROPE IRENE. He previously participated to the European funded projects FP7-ICT-2013-10 AMADEOS, IST-FP6-26979 HIDENETS, FP6-IST-031413 SAFEDMI, FP7-IST-234088 ALARP, IST-FP7-216295 AMBER, the National projects PRIN DOTS-LCCI, PRIN TENACE the Regional projects POR CREO SILFI and  POR-CREO 2007-2013 SECURE!. .

He regularly serves as member of Program Committees of International Conferences and Workshops and as reviewer for International conferences and journals. He was publication chair of SAFECOMP 2014 and SRDS 2016, and co-chair of the Workshop RADIANCE @ DSN 2015, RADIANCE @ DSN 2016, IRENE @ ISC2. He is currently co-chair of the upcoming SRDS 2017, and organizer of the workshops RADIANCE @ DSN 2017 and IRENE @ SmartGift 2017. His current research interests include the design and validation of dependable and secure systems and Systems of Systems, with a present focus on Model-Driven Engineering, clock synchronization, anomaly detection, and biometric authentication. He authored and coauthored papers appeared in International conferences and journals.

He was visiting researcher at Critical Software SA (2013), Universidade Federal de Alagoas (2014), Universidade Estadual de Campinas (2015), and visiting student at the University of Coimbra (2010-2011).

Starting 2014, he serves as expert for the European Commission in the review of H2020 project.

Starting 2009, he is involved in the ACADEMIC SPINOFF Resiltech S.r.l. http://www.resiltech.com.


Complete CV

Download CV in English (last update May 2017)

Recent Publications

  • 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 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. 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] 
  • 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). 2017. [More] 
  • Journal T. Zoppi et al. "Labelling Relevant Events to Support the Crisis Management Operator", Journal of Software: Evolution and Process. 2017. [More] 
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Exploring Anomaly Detection in Systems of Systems". Symposium on Applied Computing (SAC) - "Software Architecture: Theory, Technology, and Applications" track. Springer ed. 2017. [More] 
  • Conference E. Schiavone, A. Ceccarelli, A. Bondavalli and A. M. Carvalho. "Usability Assessment in a Multi-biometric Continuous Authentication System". Proceedings of the 7h Latin-American Symposium on Dependable Computing, LADC 2016. 2016. [More] 
  • Conference 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] 
  • 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] 
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web