Andrea Ceccarelli

Ruolo attuale:: Ricercatore Legge 240/10 a tempo determinato
Afferenza organizzativa:: Dipartimento di Matematica e Informatica "Ulisse Dini" (DIMAI)
SSD:: INF/01 - Informatica

Contatti

	Dipartimento di Matematica e Informatica "Ulisse Dini" (DIMAI) Viale Morgagni, 65 50134 Firenze
	andrea.ceccarelli(AT)unifi.it

Altri Contatti

	0552751487
	andrea.ceccarelli(AT)unifi.it
	http://rcl.dsi.unifi.it/people/ceccarelli

Orario di ricevimento (aggiornato al 16/02/2015)

su appuntamento dopo prenotazione via e-mail

Andrea CECCARELLI

Biografia

- nato il 3 Settembre 1983 a Firenze

- Laurea Triennale nell'Aprile 2006 presso Università degli Studi di Firenze

- Laurea Magistrale nell'Ottobre 2008 presso Università degli Studi di Firenze

- Aprile 2012: Dottorato in “Ingegneria Informatica e dell’Automazione” presso Università degli Studi di Firenze

- (Dal 2012 ad oggi) Ricercatore a Tempo Determinato presso Università degli Studi di Firenze

Pagina personale (solo Inglese): http://rcl.dsi.unifi.it/people/ceccarelli

Andrea CECCARELLI

Curriculum

Andrea Ceccarelli è Ricercatore a Tempo Determinato di Informatica presso l'Università degli
Studi di Firenze.

Ha conseguito la Laurea Triennale e Magistrale in Informativa all'Università degli Studi di Firenze rispettivamente nel 2006 e 2008. Nel 2012 ha conseguito il Dottorato in Ingegneria Informatica e dell'Automazione presso l'Università degli Studi di Firenze, affrontando tematiche relative alla progettazione e alla validazione sperimentale di sistemi critici, in differenti campi applicativi.

E' attualmente coinvolto nel progetto Europeo FP7-PEOPLE-2013-IRSES DEVASSES, e nei progetti regionali FESR-SISTER e FAR-FAS TOSCA-FI. Precedentemente, ha partecipato ai progetti Europei FP7-PEOPLE-2012-IAPP CECRIS, JPI URBAN EUROPE IRENE, FP7-ICT-2013-10 AMADEOS, IST-FP6-26979 HIDENETS, FP6-IST-031413 SAFEDMI, FP7-IST-234088 ALARP, IST-FP7-216295 AMBER, e ai progetti Nazionali PRIN DOTS-LCCI, PRIN TENACE, e ai progetti Regionali POR CREO SILFI e POR-CREO 2007-2013 SECURE!.

E' stato visiting researcher presso l'azienda Critical Software SA (Portogallo, 2013), la Universidade Federal de Alagoas (Brasile, 2014, 2016, 2017), Universidade Estadual de Campinas (Brasile, 2015), e visiting student presso l'Università di Coimbra (Portogallo, 2010 e 2011).

Andrea Ceccarelli è autore e co-autore di oltre 70 lavori tra conferenze Internazionali, workshop, capitoli di libro e riviste. È membro di comitati di programma di conferenze e workshop Internazionali, ed è stato Program Co-Chair di IEEE SRDS 2017, LADC 2018.

Maggiori informazioni si trovano alla pagina personale su http://rcl.dsi.unifi.it/people/ceccarelli .

Andrea CECCARELLI

Interessi

Progettazione e validazione di sistemi sicuri e disponibili. Alcuni argomenti trattati recentemente:

- tecniche di monitoring basate sulla individuazione di anomalie per identificare attacchi o guasti nel sistema

- analisi sull'utilizzo di soluzioni di machine-learning in sistemi con requisiti di safety

- valutazione di compilatori OTS in sistemi con requisiti di safety

- autonomia e awareness nei sistemi-di-sistemi: approcci basati su model-driven engineering

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Duccio Bertieri, Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Mario Barbareschi, Andrea Bondavalli (2019). Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain. In: 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, Natal, Brazil, 19-21/11/2019, IEEE Computer Society, pp. 0-0.

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

Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli (2019). Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Hangzhou, China, Jan 3 – 5, 2019, IEEE Computer Society, pp. 74-81, ISBN:978-1-5386-8540-2 DOI

Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli (2019). Evaluation of Anomaly Detection algorithms made easy with RELOAD. In: 30th International Symposium on Software Reliability Engineering (ISSRE 2019), IEEE Computer Society, pp. 0-0.

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

Leal L.; Ceccarelli A.; Martins E. (2019). The SAMBA approach for self-adaptive model-based online testing of services orchestrations. In: 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, usa, 2019, IEEE Computer Society, vol. 1, pp. 495-500, ISBN:978-1-7281-2607-4 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: Symposium on Applied Computing (SAC 2019), 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 (2019). An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection. In: Workshop on Cyber Security & Resilience in the Internet of Things (CSRIoT 2019), Milan, Italy, 8-11/7/2019, IEEE Computer Society, pp. 99-104. DOI Accesso ONLINE all'editore

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

Andrea Ceccarelli (2019). Exploiting MDE for Platform-Independent Testing of Service Orchestrations. In: EDCC, IEEE, pp. 0-0.

Andrea Ceccarelli, Maria Vittoria Garzelli, Piergiulio Lenzi, Laura Redapi (2019). Towards enhanced databases for High Energy Physics. In: DIS2019, --, pp. 0-0.

Gharib M.; Da Silva L.D.; Kavalionak H.; Ceccarelli A. (2019). A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems. In: 8th Latin-American Symposium on Dependable Computing, LADC 2018, bra, 2018, Institute of Electrical and Electronics Engineers Inc., pp. 135-144, ISBN:978-1-5386-8489-4 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

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

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

tommaso zoppi, andrea ceccarelli, andrea bondavalli (2018). On Algorithms Selection for Unsupervised Anomaly Detection. In: Pacific Rim Dependable Computing Conference, Taipei, Taiwan, 4-7/12/2018, IEEE Computer Society, vol. 2018-December, pp. 279-288, ISBN:978-153865700-3 DOI

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

Alexandr Vasenev; Lorena Montoya; Andrea Ceccarelli; Anhtuan Le; Dan Ionita (2017). Threat navigator: grouping and ranking malicious external threats to current and future urban smart grids. In: SmartGift 2016, Springer, pp. 0-0.

Zoppi, Tommaso; Ceccarelli, Andrea; Mori, Marco (2017). A Tool for Evolutionary Threat Analysis of Smart Grids. In: Smart Grid Inspired Future Technologies, London, UK, 27-28/03/2017, Springer, vol. 203, pp. 205-211, ISBN:978-3-319-61813-5 DOI Accesso ONLINE all'editore

Andrea Ceccarelli (2017). Message from the Technical Program Co-Chairs. In: SRDS - Symposium on Reliable Distributed Systems, Hong Kong, China, IEEE, pp. x-x. DOI

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

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

tommaso zoppi; andrea ceccarelli (2017). STECA – Security Threats, Effects and Criticality Analysis: Definition and Application to Smart Grids. In: Mario Rui Baptista, Nuno Silva, Nicola Nostro, Tommaso Zoppi and Andrea Ceccarelli. Certifications of Critical Systems - The CECRIS Experience, pp. 167-182 Andrea Bondavalli, Francesco Brancati, ISBN:9788793519565. DOI Accesso ONLINE all'editore

Montecchi, Leonardo; Lollini, Paolo; Ceccarelli, Andrea (2017). Assessing the Impact of Cascading Failures in Urban Electricity Networks. In: 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), Exeter, UK, 21-23 June 2017, IEEE, pp. 324-329, ISBN:978-153863065-5 DOI Accesso ONLINE all'editore

Andrea Ceccarelli; Nuno Silva (2017). A Framework to Identify Companies Gaps When Introducing New Standards for Safety-Critical Software. In: Andrea Bondavalli and Francesco Brancati. Certifications of Critical Systems - The CECRIS Experience, pp. 1-30 River Publisher, ISBN:9788793519565. DOI Accesso ONLINE all'editore

N. Antunes, A. M. B. R. Carvalho, Andrea Ceccarelli (2017). RADIANCE Welcome. In: Dependable Systems and Networks Workshops, ieee, pp. 44-44. DOI

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

Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: The 12th International Conference on Critical Information Infrastructures Security (CRITIS), At Lucca, Italy, Gregorio D'Agostino, pp. 1-12.

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

Zoppi, Tommaso; Bessler, Sandford; Ceccarelli, Andrea; Lambert, Edward; Lau, Eng Tseng; Vasenev, Alexandr (2017). A Modeling Framework to Support Resilient Evolution Planning of Smart Grids. In: Smart Grid Inspired Future Technologies, London, UK, 27-28/03/2017, Springer, vol. 203, pp. 0-0, ISBN:978-3-319-61813-5 DOI Accesso ONLINE all'editore

Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Exploring Anomaly Detection in Systems of Systems. In: 32nd 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

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

Vasenev, Alexandr; Ionita, Dan; Zoppi, Tommaso; Ceccarelli, Andrea; Wieringa, Roel (2017). Towards security requirements: Iconicity as a feature of an informal modeling language. In: 2017 Joint REFSQ Workshops, Doctoral Symposium, Research Method Track, and Poster Track, co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2017, Essen, Germany, 2017, CEUR-WS, vol. 1796, pp. 0-0. Accesso ONLINE all'editore

Zoppi, Tommaso; Ceccarelli, Andrea; Bondavalli, Andrea (2016). Context-Awareness to improve Anomaly Detection in Dynamic Service Oriented Architectures. In: Computer Safety, Reliability and Security (SAFECOMP 2016), Trondheim, Norway, 20-23 September 2016, Springer, vol. 9922, pp. 145-158, ISBN:978-3-319-45476-4 DOI

Nostro, Nicola; Matteucci, Ilaria; Ceccarelli, Andrea; Santini, Francesco; Di Giandomenico, Felicita; Martinelli, Fabio; Bondavalli, Andrea (2016). A multi-criteria ranking of security countermeasures. In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, ita, 2016, Association for Computing Machinery, vol. 04-08-, pp. 530-533, ISBN:978-1-4503-3739-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: 2016 IEEE 35th Symposium on Reliable Distributed Systems, Budapest, IEEE, pp. 0-0, ISBN:978-1-5090-3513-7 DOI

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.

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

Bouchenak, Sara; Brancati, Francesco; Ceccarelli, Andrea; Iacob, Sorin; Marchand, Nicolas; Robu, Bogdan; Oude, Patrick De (2016). Managing dynamicity in SoS. 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, ISBN:978-3-319-47590-5. DOI

Ceccarelli, Andrea; Brancati, Francesco; Frömel, Bernhard; Höftberger, Oliver (2016). Time and Resilient Master Clocks in Cyber-Physical 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, ISBN:978-3-319-47590-5. DOI

Mori, Marco; Ceccarelli, Andrea; Zoppi, Tommaso; Bondavalli, Andrea (2016). On the impact of emergent properties on SoS security. In: 2016 11th System of Systems Engineering Conference (SoSE), Kongsberg, Norway, 12-16/6/2016, IEEE, pp. 0-0, ISBN:978-1-4673-8727-9

Vadursi, Michele; Ceccarelli, Andrea; Duarte, Elias P.; Mahanti, Aniket (2016). System and Network Security: Anomaly Detection and Monitoring. JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING, vol. 2016, pp. 1-2, ISSN:2090-0147 DOI Accesso ONLINE all'editore

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

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: High Assurance System Engineer (HASE 2016), 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

Jung, Oliver; Bessler, Sandford; Ceccarelli, Andrea; Zoppi, Tommaso; Vasenev, Alexandr; Montoya, Lorena; Clarke, Tony; Chappell, Keith (2016). Towards a Collaborative Framework to Improve Urban Grid Resilience. In: Energy Conference (EnergyCon 2016), Leuven, Belgium, 4-8/4/2016, IEEE, pp. 0-0, ISBN:978-1-4673-8463-6 DOI

Mori, Marco; Ceccarelli, Andrea; Lollini, Paolo; Bondavalli, Andrea; Frömel, Bernhard (2016). A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, usa, 2016, IEEE Computer Society, pp. 276-283, ISBN:978-1-4673-9913-5 DOI

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

Ariadne M. B. R. Carvalho; Nuno Antunes; Andrea Ceccarelli; Andras Zentai (2016). Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE). In: Dependable Systems and Networks 2016, Toulouse, France, IEEE, pp. 0-0, ISBN:978-1-4673-8891-7 DOI

Vasenev, Alexandr; Montoya, Lorena; Ceccarelli, Andrea (2016). A Hazus-based method for assessing robustness of electricity supply to critical smart grid consumers during flood events. In: International Conference on Availability, Reliability and Security, IEEE, pp. 0-0. DOI

Ceccarelli, Andrea; Mori, Marco; Lollini, Paolo; Bondavalli, Andrea (2015). Introducing Meta-Requirements for Describing System of Systems. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, usa, January 8 - 10, 2015, IEEE Computer Society, vol. 2015-, pp. 150-157, ISBN:978-1-4799-8111-3 DOI

Tommaso Zoppi; Andrea Bondavalli; Andrea Ceccarelli; Massimiliano Itria (2015). A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. In: Computer Safety, Reliability and Security (SAFECOMP), Delft, 22-09-2015, Springer, vol. 9337, pp. 166-180, ISBN:978-3-319-24254-5 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

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

Ceccarelli, Andrea; Silva, Nuno (2015). Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software. In: 34th International Conference, SAFECOMP 2015, Springer, pp. 303-313, ISBN:978-3-319-24249-1 DOI

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

Carvalho, Ariadne M.B R.; Antunes, Nuno; Ceccarelli, Andrea; Zentai, Andras (2015). Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE). In: Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on, IEEE, pp. 567-568, ISBN:978-1-4799-8629-3 DOI

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

Andrea Ceccarelli; Leonardo Montecchi; Francesco Brancati; Paolo Lollini; A. Marguglio; Andrea Bondavalli. (2014). 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

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

Bondavalli, Andrea; Ceccarelli, Andrea; Ortmeier, Frank (a cura di) (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.

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

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

Nicola Nostro; 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

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

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

Andrea Bondavalli; 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

Andrea Ceccarelli; Nuno Silva (2013). Qualitative comparison of aerospace standards: an objective approach. In: Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on, Pasadena, CA, IEEE, pp. 331-336, ISBN:978-1-4799-2552-0 DOI Accesso ONLINE all'editore

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

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

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

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 (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

A. Ceccarelli (2012). Analysis of critical systems through rigorous, reproducible and comparable experimental assessment. (Tutor: A. Bondavalli)

A. Seminatore; L. Ghelardoni; A. Ceccarelli; L. Falai; M. Schultheis and B. Malinowsky (2012). ALARP (A Railway Automatic Track Warning System Based on Distributed Personal Mobile Terminals). In: Transport Research Arena 2012, Athens, Greece, 23-26 April 2012, Elsevier, vol. 48, pp. 2081-2090. 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

Joao Figueiras; Jesper Gronbaek; Andrea Ceccarelli;Hans-Peter Schwefel (2012). GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios. In: 14th International Symposium on High-Assurance Systems Engineering (HASE'12), Omaha, NE, USA, 2012-Oct, IEEE, pp. 17-23, ISBN:978-1-4673-4742-6 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

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

Andrea Ceccarelli; Andrea Bondavalli; 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

P. Lollini; A. Ceccarelli; M. Vadursi (2011). Richiami di Probabilità e Metrologia. In: A. Bondavalli. L'analisi quantitativa dei sistemi critici, pp. 13-54, Bologna: Esculapio, ISBN:9788874884315.

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

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

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

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

A. 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;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

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

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;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

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

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

A. Bondavalli; A. Ceccarelli; L. Falai; 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

Insegnamenti relativi all'Anno Accademico

- - -

Andrea CECCARELLI

Biography

- Date of birth: 3 Settembre 1983

- Bachelor Degree in Computer Science: April 2006, Università degli Studi di Firenze

- Master Degree in Computer Science: October 2008, Università degli Studi di Firenze

- PhD in "Informatics and Automation Engineering”: April 2012, Università degli Studi di Firenze

- (Starting 2012) Research Associate (RTDa), Università degli Studi di Firenze

Andrea CECCARELLI

Curriculum

Andrea Ceccarelli graduated from the University of Florence (Italy), where he received his Ph.D. in Informatics and automation Engineering in 2012. He is now an Assistant Professor (RTD-a) in Computer Science INF/01 at the University of Florence (Italy), Department of Mathematics and Computer Science. His primary research interests are in the field of architecting and validating dependable and secure systems, with a present focus on the two topics of Model-Driven Engineering and anomaly detection in highly-distributed, dynamic Systems of Systems.

He is or has been involved in several European, National and Regional projects, with different responsibilities from technical coordinator of the unit to WP leader. In details, he participated in the European projects FP7-PEOPLE-2012-IAPP CECRIS, FP7-PEOPLE-2013-IRSES DEVASSES, FP7-ICT-2013-10 AMADEOS, IST-FP6-26979 HIDENETS, FP6-IST-031413 SAFEDMI, FP7-IST-234088 ALARP, IST-FP7-216295 AMBER, in the National projects PRIN TENACE, PRIN DOTS-LCCI, and in the Regional projects POR CREO SILFI, FESR 2014-2020 SISTER, PAR FAS 2007-2013 TOSCA-FI. He was technical coordinator of the unit for the Regional project POR-CREO 2007-2013 SECURE! (total project cost approximately 6.2KK Euros) and for the European JPI URBAN EUROPE project IRENE (total project cost approximately 1.5KK Euros).

He regularly serves as member of Program Committees of International Conferences and Workshops including premium conferences in the research domain as DSN, SRDS and as reviewer for International conferences and journals. He was publication chair of SAFECOMP 2014, and SRDS 2016. He was TPC co-chair of SRDS 2017 (36th IEEE International Symposium on Reliable Distributed Systems), and he is currently TPC co-chair of LADC 2018 (Latin-American Symposium on Dependable Computing). He was TPC co-chair of the Workshop RADIANCE @ DSN 2015, RADIANCE @ DSN 2016, RADIanCE @ DSN 2017, IRENE @ ISC2, and IRENE @ SmartGift 2017.

He was a Marie-Curie visiting researcher at Critical Software SA in 2013, and a visiting researcher at the Universidade Federal de Alagoas, Brasil (2014, 2016, 2017), Universidade Estadual de Campinas, Brasil (2015), and visiting student at the University of Coimbra, Portugal (2010-2011), for a total of approximately 13 months.

He served as expert for the European Commission in the review of H2020 projects in 2014, 2015, 2016, 2017.

Starting 2009, he is a member of the company Resiltech SRL, an Academic Spinoff of the University of Florence. Resiltech operates in the area of design and Verification&Validation of critical systems. It counts above 25 full-time employees and three different premises in Italy. Within Resiltech, his role is to act as a scientific consultant and advisor for research projects involving small teams, facilitate technology transfer activities, and support the preparation of research proposals.

He is currently co-supervising the PhD students Enrico Schiavone (ciclo XXXI) at the University of Florence, and Lucas C. Leal at the University of Campinas (Brasil), and he was co-supervisor of Dr. Tommaso Zoppi (cycle XXX).

Since April 2017, he is habilitated as Associate Professor in the Italian national examination called Abilitazione Scientifica Nazionale.

Please refer to the web page http://rcl.dsi.unifi.it/people/ceccarelli for the full curriulum.

Andrea CECCARELLI

Interest

Design and assessment of secure and resilient systems. Some recent topics:

- anomaly detection for intrusion detection systems

- awareness and autonomy in systems of systems

- safety and machine learning

Andrea Ceccarelli

Andrea CECCARELLI

Andrea CECCARELLI

Andrea CECCARELLI

Insegnamenti relativi all'Anno Accademico 2019-2020 2018-2019 2017-2018 2016-2017 2015-2016 2014-2015

Andrea CECCARELLI

Andrea CECCARELLI

Andrea CECCARELLI

Insegnamenti relativi all'Anno Accademico