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 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).


Complete CV

Download CV in English (last update May 2017)

Recent Publications

  • 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 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] 
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web