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 (RTDb) at the Department of Mathematics and Informatics, University of Florence. He is active in the area of dependable and secure systems starting 2006, first as external collaborator, then as PhD student and finally Researcher at the University of Florence.
Starting 2009 he is involved in the Academic Spinoff Resiltech S.r.l.
He has been involved in the European funded projects FP7PEOPLE2012IAPP CECRIS, FP7PEOPLE2013IRSES DEVASSES, FP7ICT201310 AMADEOS, JPI URBAN EUROPE IRENE, ISTFP626979 HIDENETS, FP6IST031413 SAFEDMI, FP7IST234088 ALARP, ISTFP7216295 AMBER, in the National project PRIN TENACE, PRIN DOTSLCCI, and in the Regional project POR CREO SILFI and PORCREO 20072013 SECURE!. He is currently involved in the H2020MSCARISE ADVANCE, and in the Regional Projects FARFAS 2014 TOSCAFI and POR FESR 20142020 SISTER.
He regularly serves as member of Program Committees of International Conferences and Workshops including DSN, SRDS and as reviewer for International conferences and journals. He was TPC cochair of SRDS 2017 and LADC 2018, and publication chair of SAFECOMP 2014, SRDS 2016, and cochair of the Workshops RADIANCE @ DSN 2015, RADIANCE @ DSN 2016, RADIANCE @ DSN 2017, IRENE Workshop on Tools for Smart Grid Design and Assessment” @ SmartGift 2017, IRENE: resilient and secure urban power systems@ISC2 2016, poster chair of EDCC 2019.
He was visiting researcher at Critical Software SA (2013), Universidade Federal de Alagoas (2014, 2016), Universidade Estadual de Campinas (2015), and visiting student at the University of Coimbra (20102011).
He served as expert for the European Commission in the review of H2020 projects in 2014, 2016, 2017, 2018.
Complete CV
Download CV in English (last update January 2020) 

Journal E. Schiavone, A. Ceccarelli, A. M. Carvalho and A. Bondavalli. "Design, Implementation, and Assessment of a Usable MultiBiometric Continuous Authentication System", International Journal of Critical ComputerBased Systems, Vol. 9. 2019, pp. 215  247. [More]

Journal A. Ceccarelli et al. "The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11699 LNCS. 2019, pp. 185197. [More]

Conference L. Leal, A. Ceccarelli and E. Martins. "The SAMBA approach for selfadaptive modelbased online testing of services orchestrations". 2019. pp. 495500. [More]

Conference L. Leal, L. Montecchi, A. Ceccarelli and E. Martins. "Exploiting MDE for platformindependent testing of service orchestrations". 2019. pp. 149152. [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. 00. [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 LATINAMERICAN 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 Multilayer 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 AnomalyBased 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 CyberPhysicalSocial Approach". IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). 2019. [More]

Journal A. Ceccarelli et al. "Threat analysis in systemsofsystems: An emergenceoriented approach", ACM Transactions on CyberPhysical Systems, Vol. 3. 2018. [More]

Journal M. Mori, A. Ceccarelli, P. Lollini, B. Frömel, F. Brancati and A. Bondavalli. "Systemsofsystems modeling using a comprehensive viewpointbased 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 Modelbased Approach for Analyzing the Autonomy Levels for CyberPhysical SystemsofSystems". Eighth LatinAmerican 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]

Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Dealing with Functional Safety Requirements for Automotive Systems: A CyberPhysicalSocial 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 NonRepudiation 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. 324329. [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. 5365. [More]

Journal M. L. Itria, M. KocsisMagyar, A. Ceccarelli, P. Lollini, G. Giunta and A. Bondavalli. "Identification of critical situations via Event Processing and Event Trust Analysis", Knowl. Inf. Syst., Vol. 52. 2017, pp. 147178. [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. 2017. [More]

Book Chapter N. Antunes, F. Brancati, A. Ceccarelli, A. Bondavalli and M. Vieira. "A Monitoring and Testing Framework for Critical OfftheShelf 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 SafetyCritical Software". In A. Bondavalli and F. Brancati (eds), Certifications of Critical Systems  The CECRIS Experience. River Publisher. 2017. pp. 130. [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. 167182. [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 SelfAdaptive & Cyber Physical Systems (RESACS). CEURWS 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. 11391146. [More]

Conference E. Schiavone, A. Ceccarelli, A. Bondavalli and A. M. Carvalho. "Usability Assessment in a Multibiometric Continuous Authentication System". Proceedings of the 7h LatinAmerican Symposium on Dependable Computing, LADC 2016. 2016. [More]

Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous Authentication and Nonrepudiation 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". ISORCSORT 2016. 2016. [More]

Conference A. Vasenev, L. Montoya and A. Ceccarelli. "A Hazusbased 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. "SystemofSystems 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. "ContextAwareness 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. 145158. [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 MultiCriteria Ranking of Security Countermeasures". Proceedings of the 31st Annual ACM Symposium on Applied Computing. 2016. pp. 530533. [More]

Conference M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli and B. Frömel. "A holistic viewpointbased SysML Profile to Design SystemsofSystems". 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. 228235. [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. 139. [More]

Book Chapter A. Ceccarelli, F. Brancati, B. Frömel and O. Höftberger. "Time and Resilient Master Clocks in CyberPhysical Systems". In Bondavalli, Andrea, Bouchenak, Sara, Kopetz and Hermann (eds), . Cham : Springer International Publishing. 2016. pp. 165185. [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. 186206. [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 1820, 2015, Proceedings. 2015. pp. 187200. [More]

Conference T. Zoppi, A. Bondavalli, A. Ceccarelli and M. Itria. "A MultiLayer Anomaly Detector for Dynamic ServiceBased Systems". Computer Safety, Reliability, and Security. 2015. pp. 166180. [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. 567568. [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, MayJune, 2015, pp. 270283. [More]

Conference A. Ceccarelli, M. Mori, P. Lollini and A. Bondavalli. "Introducing MetaRequirements for Describing System of Systems". High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. 2015. pp. 150157. [More]

Journal L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso and A. Bondavalli. "Modelbased Evaluation of Scalability and Security Tradeoffs: a Case Study on a MultiService Platform", Electronic Notes in Theoretical Computer Science, Vol. 310, January, 2015, pp. 113133. [More]

Journal A. Ceccarelli and A. Bondavalli. "On trustworthy measurements when testing dependable systems: a discussion and experiences", International Journal of Critical ComputerBased Systems, Vol. 6. 2015, pp. 154170. [More]

Conference A. Ceccarelli and N. Silva. "Analysis of Companies Gaps in the Application of Standards for SafetyCritical
Software". Computer Safety, Reliability, and Security  SAFECOMP 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings. 2015. pp. 303313. [More]

Journal N. Nostro, A. Ceccarelli, F. Brancati and A. Bondavalli. "Insider Threat Assessment: a ModelBased Methodology", SIGOPS Operating Systems Review (OSR) journal, Vol. 48, July, 2014, pp. 312. [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 89, 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. "CostEffective Testing for Critical OfftheShelf Services". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security  Workshop. Springer International Publishing. 2014. pp. 231242. [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. 243254. [More]

Other M. L. Itria, A. Daidone and A. Ceccarelli. "A Complex Event Processing Approach for CrisisManagement 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". ISORCWSORT 2014. 2014. pp. 358  365. [More]

Conference A. Ceccarelli and N. Silva. "Qualitative comparison of aerospace standards: an objective approach". ISSREWoSoCer. 2013. [More]

Conference N. Antunes, F. Brancati, A. Ceccarelli, A. Bondavalli and M. Vieira. "A Monitoring and Testing Framework for Critical OffTheShelf Applications and Services". ISSREWoSoCer. 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 realtime safetycritical system". 4th IEEE Workshop on SelfOrganizing RealTime Systems (SORT'13). 2013. [More]

Journal A. Bondavalli, A. Ceccarelli, F. Gogaj, M. Vadursi and A. Seminatore. "Experimental assessment of lowcost GPSbased localization in railway worksitelike scenarios", Measurement, Vol. 46, January, 2013, pp. 11. [More]

Book Chapter A. Bondavalli, F. Brancati, A. Ceccarelli and L. Falai. "Providing SafetyCritical and RealTime Services for Mobile Devices in Uncertain Environment". In SelfOrganization in Embedded RealTime Systems. Springer New York. 2013. pp. 2553. [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. 138142. [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 realtime wearable devices for a safetycritical track warning system". HighAssurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 147154. [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". HighAssurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 2012. pp. 1723. [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. 201206. [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 OfftheShelf WLAN Distributed Coordination Function for SafetyCritical Systems". EDCC. 2012. pp. 144155. [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. 205211. [More]

Conference A. Ceccarelli, M. Vieira and A. Bondavalli. "A Service Discovery Approach for Testing Dynamic SOAs". Object/Component/ServiceOriented RealTime Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on. 2011. pp. 133142. [More]

Conference A. Bondavalli, A. Ceccarelli, F. Gogaj, A. Seminatore and M. Vadursi. "Localization errors of lowcost GPS devices in railway worksitelike 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. 1355. [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. 201232. [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 SelfAdaptive Reliable Network Services in HighlyUncertain Environments". 13th IEEE International Symposium on Object/Component/ServiceOriented RealTime 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. 820831. [More]

Conference A. Bondavalli, F. Brancati, A. Ceccarelli and M. Vadursi. "Experimental Validation of a Synchronization UncertaintyAware Software Clock". SRDS 2010. 2010. pp. 245254. [More]

Conference A. Ceccarelli. "Towards techniques and methodologies for collecting trusted observation results". Student Forum at DSN2009 IEEE Int. Conference on Dependable Systems and Networks, Supplemental Volume. 2009. pp. G34G37. [More]

Journal A. Bondavalli et al. "Design and Evaluation of a Safe Driver Machine Interface", IJPE, Vol. 4. 2009, pp. 153166. [More]

Conference A. Ceccarelli, A. Bondavalli and D. Iovino. "Trustworthy Evaluation of a Safe Driver Machine Interface through SoftwareImplemented Fault Injection". IEEE 15th Pacific Rim International Symposium on Dependable Computing. 2009. pp. 234241. [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. 6981. [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. 4752. [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 safetycritical 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 DSNRADB2008. 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 (DepCoSRELCOMEX 08). 2008. [More]

Technical Report A. Bondavalli, A. Ceccarelli and L. Falai. "Reliable and SelfAware 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". DSN2007 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 selfaware clock for pervasive computing systems". The Fifteen Euromicro Conference on Parallel, Distributed and Networkbased Processing (PDP 2007). 2007. [More]

Other A. Ceccarelli. "Analisi sperimentale di applicazioni critiche realtime: 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, CoSupervisor(s): L. Falai. [More]
