Short Bio

Paolo Lollini received the laurea degree, and the PhD degree in Computer Science from the University of Florence, Italy, in 2001, and 2005, respectively. Since 2006 he has been working as researcher in Computer Science at the Dept. of Mathematics and Computer Science of the same University.

He participated to several European (FP6 and FP7), National (PRIN) and Regional (POR-CREO) funded projects, also contributing to coordination and management activities. Among the most recent projects: ARTEMIS-JU-333053 CONCERTO, ICT-FP7-610535 AMADEOS, PIRSES-GA-2013-612569 DEVASSES. Paolo Lollini is currently the Project Coordinator of the project H2020-MSCA-RISE-2018 ADVANCE. He has been a member of the program committee of about 30 international conferences and workshops. He was Program Chair of EDCC 2018, Local Organizing Chair of SAFECOMP 2014, Publication Chair of SRDS 2013, and Workshop co-Chair of SRDS 2011, and he is currently Doctoral Symposium Co-Chair of SRDS 2019 and Fast Abstract Co-Chair of LADC 2019..

From 2011 he has been giving teaching courses for the Bachelor and Master degree in Computer Science at the University of Florence, concerning Computer Architecture, Operating Systems, Quantitative Analysis of Systems, and Real Time Critical Systems.

His research interests concern the design of dependable systems and their validation adopting analytical, simulative and model-driven solutions. He considered a variety of application fields including railway, embedded systems and electric power systems. Recent interests concern the design and validation of Systems-of-Systems considering their dynamicity, evolvability and the occurrence of emergence phenomena.

• Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Governance Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems". 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE). 2020. pp. 000217-000222. [More] 
• Journal L. Montecchi, P. Lollini and A. Bondavalli. "A Template-Based Methodology for the Specification and Automated Composition of Performability Models", IEEE Transactions on Reliability, Vol. 69, March, 2020, pp. 293-309. [More] 
• Journal A. Ceccarelli, M. Cinque, C. Esposito, L. Foschini, C. Giannelli and P. Lollini. "FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things", IEEE Transactions on Engineering Management. 2020, pp. 1-15. [More] 
• Conference L. Montecchi, P. Lollini, F. Moncini and K. Keefe. "An Eclipse-Based Editor for SAN Templates". Dependable Computing - EDCC 2020 Workshops. Bernardi et al eds. 2020. pp. 159-167. [More] 
• Conference L. D. da Silva, D. Mongelli, P. Lollini, A. Bondavalli and G. Mandò. "Performability Analysis of a Tramway System with Virtual Tags and Local Positioning". 2019 9th Latin-American Symposium on Dependable Computing (LADC). 2019. pp. 1-10. [More] 
• Conference N. Laranjeiro et al.. "Addressing Verification and Validation Challenges in Future Cyber-Physical Systems". 2019 9th Latin-American Symposium on Dependable Computing (LADC). 2019. pp. 1-2. [More] 
• Conference M. Gharib, P. Lollini and A. Bondavalli. "Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid". 15th European Dependable Computing Conference, EDCC. 2019. pp. 183-185. [More] 
• Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). 2019. [More] 
• Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "Stochastic Activity Networks Templates". Resilient Computing Lab. Technical Report RCL180401. 2018. [More] 
• Journal M. Mori, A. Ceccarelli, P. Lollini, B. Frömel, F. Brancati and A. Bondavalli. "Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile", Journal of Software: Evolution and Process, Vol. 30. 2018. [More] 
• Journal T. Zoppi et al. "Labelling relevant events to support the crisis management operator", Journal of Software: Evolution and Process. 2018. [More] 
• Conference M. Gharib, P. Lollini, M. Botta, E. Amparore, S. Donatelli and A. Bondavalli. "On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper". 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). 2018. pp. 271-274. [More] 
• Journal M. Mori, A. Ceccarelli, P. Lollini, B. Frömel, F. Brancati and A. Bondavalli. "Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile", Journal of Software: Evolution and Process, Vol. 30. 2018, pp. e1878. [More] 
• Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". The 12th International Conference on Critical Information Infrastructures Security (CRITIS). 2017. [More] 
• Conference 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 M. Gharib, P. Lollini and A. Bondavalli. "Towards an Approach for Analyzing Trust in Cyber-Physical-Social Systems". The12th System of Systems Engineering Conference (SoSE'17). 2017. pp. 1-6. [More] 
• Conference M. Gharib, P. Lollini and A. Bondavalli. "A Conceptual Model for Analyzing Information Quality in System-of-Systems". The12th System of Systems Engineering Conference (SoSE'17). 2017. pp. 1-6. [More] 
• Journal T. Zoppi et al. "Labelling Relevant Events to Support the Crisis Management Operator", Journal of Software: Evolution and Process. 2017. [More] 
• Conference R. Bernini, A. Bondavalli, P. Lollini and L. Montecchi. "Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes". Proceedings of the 12th European Dependable Computing Conference (EDCC2016). 2016. pp. 197-207. [More] 
• Conference J. Eleuterio, F. Gaia, A. Bondavalli, P. Lollini, G. Rodrigues and C. Rubira. "On the Dependability for Dynamic Software Product Lines - A Comparative Systematic Mapping Study". Proc. of the 42nd Euromicro Conference series on > Software Engineering and Advanced Applications (SEAA 2016). 2016. [More] 
• Conference L. Montecchi, A. Refsdal, P. Lollini and A. Bondavalli. "A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain". Proceedings of the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16). 2016. pp. 275-286. [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 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. Babu, S. Iacob, P. Lollini and M. Mori. "AMADEOS Framework and Supporting Tools". In A. Bondavalli, S. Bouchenak and H. Kopetz (eds), Cyber-Physical Systems of Systems: Foundations -- A Conceptual Model and Some Derivations: The AMADEOS Legacy. Springer International Publishing. 2016. [More] 
• Book Chapter P. Lollini, M. Mori, A. Babu and S. Bouchenak. "AMADEOS SysML Profile for SoS Conceptual Modeling". In A. Bondavalli, S. Bouchenak and H. Kopetz (eds), Cyber-Physical Systems of Systems: Foundations -- A Conceptual Model and Some Derivations: The AMADEOS Legacy. Springer International Publishing. 2016. [More] 
• Conference M. A. Rossi, P. Lollini, A. Bondavalli, F. B. de Oliveira and M. Corrêa. "ZarzirBird Project: Modeling RPAS Dynamics for Load Stability". Proc. of the IEEE/AIAA 34th IEEE Digital Avionics Systems Conference (DASC 2015). 2015. [More] 
• Conference V. Bonfiglio, L. Montecchi, I. Irrera, F. Rossi, P. Lollini and A. Bondavalli. "Software Faults Emulation at Model-Level: Towards Automated Software FMEA". 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015). 2015. pp. 133-140. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System". International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE'15). 2015. pp. 33-38. [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] 
• Conference V. Bonfiglio, L. Montecchi, F. Rossi, P. Lollini, A. Pataricza and A. Bondavalli. "Executable Models to Support Automated Software FMEA". Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering (HASE'15). 2015. pp. 189-196. [More] 
• Conference M. A. Rossi, P. Lollini, A. Bondavalli, I. R. de Oliveira and J. R. de Almeida Junior. "A Safety Assessment on the Use of CPDLC in UAS Communication System". Proc. of the IEEE/AIAA 33rd IEEE Digital Avionics Systems Conference (DASC 2014). 2014. pp. 6B1-1 - 6B1-11. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models". Proceedings of the 10th European Dependable Computing Conference (EDCC'14). 2014. pp. 82-93. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "A Reusable Modular Toolchain for Automated Dependability Evaluation". Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013). 2013. pp. 298-303. [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] 
• Book Chapter A. Bondavalli, H. Madeira and P. Lollini. "Future of Resilience Assessment: The AMBER Research Roadmap". In K. Wolter, A. Avritzer, M. Vieira and A. van Moorsel (eds), Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. pp. 415-439. [More] 
• Technical Report M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "Reliability Evaluation of UAV Communication in non-controlled Airspace". University of São Paulo and University of Florence. Technical Report RCL120901. 2012. [More] 
• Conference L. Montecchi, P. Lollini, A. Bondavalli and E. L. Mattina. "Quantitative Security Evaluation of a Multi-Biometric Authentication System". SAFECOMP 2012 Workshop Proceedings. 2012. [More] 
• Book Chapter A. Bondavalli, P. Lollini, I. Majzik and L. Montecchi. "Modelling and model-based assessment". In K. Wolter, A. Avritzer, M. Vieira and A. van Moorsel. (eds), Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. [More] 
• Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "ADVISE model for the security evaluation of the CASHMA multi-biometric authentication system". Technical Report RCL120301. 2012. [More] 
• Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Graphical formalisms for modeling critical infrastructures". In F. Flammini (ed), Critical Infrastructure Security: Assessment, Prevention, Detection, Response. Ashurst Lodge, Ashurst, Southampton, UK : WIT Press. 2012. pp. 57-73. [More] 
• Journal M. Dixit, A. Casimiro, P. Lollini, A. Bondavalli and P. Veríssimo. "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems, Vol. 7. 2012, pp. 18:1-18:25. [More] 
• Conference M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace". Computer Safety, Reliability, and Security. F. Ortmeier and P. Daniel eds. 2012. pp. 271-281. [More] 
• Conference L. Montecchi, P. Lollini, B. Malinowsky, J. Grønbæk and A. Bondavalli. "Model-based Analysis of a Protocol for Reliable Communication in Railway Worksites". Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'12). 2012. [More] 
• Conference M. A. Rossi, J. R. de Almeida Junior, A. Bondavalli and P. Lollini. "Towards a federated simulation approach for reliability evaluation of Unmanned Aircraft Vehicles within Aeronautical Communications Networking". Proc. of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW 2011). 2011. pp. 67-71. [More] 
• Journal A. Bondavalli, O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik and H.-P. Schwefel. "The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems", IEEE Transactions on Mobile Computing, Vol. 10, June, 2011, pp. 783 - 796. [More] 
• Journal S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Definition, Implementation and Application of a Model-based Framework for the Analysis of Interdependencies in Electric Power Systems Protection", International Journal of Critical Infrastructure (IJCIP), Elsevier, Vol. 4, April, 2011, pp. 24-40. [More] 
• Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "An Intermediate Dependability Model for state-based dependability analysis". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl101115. 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 L. Montecchi, P. Lollini and A. Bondavalli. "Towards a MDE Transformation Workflow for Dependability Analysis". 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011). 2011. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "Dependability Concerns in Model-Driven Engineering". 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011). 2011. [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] 
• Conference L. Vinerbi, A. Bondavalli and P. Lollini. "Emergence: a new source of failures in complex systems". Third International Conference on Dependability (DEPEND 2010). 2010. [More] 
• Journal A. Bondavalli, P. Lollini and L. Montecchi. "QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis", Journal of Software, Vol. 4, September, 2009, pp. 675-685. [More] 
• Conference S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Interdependency Analysis in Electric Power Systems". Critical Information Infrastructure Security. R. Setola and S. Geretshuber eds. 2009. pp. 60-71. [More] 
• Journal S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Assessing the Impact of Interdependencies in Electric Power Systems", International Journal of System of Systems Engineering (IJSSE), InderScience Publishers, Vol. 1. 2009, pp. 367-386. [More] 
• Conference M. Beccuti et al.. "Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach". 4th International Conference on Critical Infrastructures (CRIS 2009). 2009. [More] 
• Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A decomposition-based modeling framework for complex systems", IEEE Trans. on Reliability, Vol. 58. 2009, pp. 20-33. [More] 
• Conference M. Kovacs, P. Lollini, I. Majzik and A. Bondavalli. "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications". RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008). 2008. pp. 29-38. [More] 
• Conference P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems". Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008). 2008. [More] 
• Technical Report P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Assessing the impact of cyclic/acyclic EVC-DMI interactions in Automatic Train Control systems". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080401. 2008. [More] 
• Journal M. Kaaniche, P. Lollini, A. Bondavalli and K. Kanoun. "Modeling the Resilience of Large and Evolving Systems", International Journal of Performability Engineering, Vol. 4, April, 2008, pp. 153-168. [More] 
• Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults". In 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008). Springer Verlag. 2008. [More] 
• Book Chapter S. Chiaradonna, F. Di Giandomenico and P. Lollini. "Evaluation of Critical Infrastructures: Challenges and Viable Approaches". In D. Lemos et al (eds), Architecting Dependable Systems V. Springer, Heidelberg. 2008. pp. 52-77. [More] 
• Conference A. Casimiro, P. Lollini, M. Dixit, A. Bondavalli and P. Veríssimo. "A framework for dependable QoS adaptation in probabilistic environments". SAC '08: Proceedings of the 2008 ACM symposium on Applied computing. 2008. pp. 2192-2196. [More] 
• Technical Report S. Chiaradonna, P. Lollini and F. Di Giandomenico. "Modelling framework of an instance of the Electric Power System: functional description and implementation". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report RCL071202. 2007. [More] 
• Conference S. Chiaradonna, P. Lollini and F. Di Giandomenico. "On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems". IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007). 2007. pp. 185-195. [More] 
• Technical Report P. Lollini, L. Montecchi and A. Bondavalli. "On the evaluation of hidenets use-cases having phased behavior". Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica. Technical Report RCL-071201. 2007. [More] 
• Technical Report S. Chiaradonna, P. Lollini and F. Di Giandomenico. "On the modeling of an instance of the electric power system". 2006. [More] 
• Conference A. Bondavalli, S. Chiaradonna, P. Lollini and F. Squittieri. "Integration of an MPS Modeling Approach into Möbius". 3rd IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2006) - Tool Session. 2006. pp. 139-140. [More] 
• Technical Report P. Lollini, A. Bondavalli and F. Di Giandomenico. "A general modeling approach and its application to a UMTS network with soft-handover mechanism". 2006. [More] 
• PhD Thesis P. Lollini. "On the Modeling and Solution of Complex Systems: From Two Domain-Specific Case-Studies Towards the Definition of a More General Framework". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XVIII ciclo). December, 2005. Supervisor(s): A. Bondavalli, F. Di Giandomenico. [More] 
• Conference P. Lollini, A. Bondavalli and F. Di Giandomenico. "QoS Analysis of a UMTS cell with different Service Classes". CSN-2005 The Fourth IASTED International Conference on Communication Systems and Networks. 2005. [More] 
• Journal P. Lollini, A. Bondavalli and F. Di Giandomenico. "A Modeling Methodology for Hierarchical Control System and its Aplication", June, 2005. [More] 
• Technical Report P. Lollini, A. Bondavalli and F. Di Giandomenico. "QoS evaluation in a UMTS cell". 2005. [More] 
• Conference P. Lollini, A. Bondavalli and F. Di Giandomenico. "Evaluation of the Impact of Congestion on Service Availability in GPRS infrastructures". ISAS 2005/Service Availability, Lecture Notes in Computer Science 3694, Volume Editor(s): M. Malek, N. Suri, E. Nett. 2005. [More] 
• Conference P. Lollini, A. Bondavalli, F. Di Giandomenico and S. Porcarelli. "Congestion Analysis during Outage, Congestion Treatment and Outage Recovery for simple GPRS networks". The Ninth IEEE Symposium On Computers And Communications (ISCC'2004). 2004. [More] 
• Conference F. Di Giandomenico, S. Porcarelli, D. Viva, A. Bondavalli and P. Lollini. "Model-based Evaluation for Dependability Assessment of CAUTION++ Instances". Venue '04 (informal proceedings). 2004. [More] 
• Conference P. Lollini, F. Di Giandomenico, A. Bondavalli and S. Porcarelli. "Congestion analysis in a general GPRS network". Mobile Venue '04 (informal proceedings). 2004. [More] 
• Conference S. Porcarelli, F. Di Giandomenico, P. Lollini and A. Bondavalli. "A Modular Approach for Model-based Dependability Evaluation of a Class of Systems". International Service Availability Symposium 2004 (ISAS 2004). 2004. [More] 
• Technical Report P. Lollini, A. Bondavalli, F. Di Giandomenico and S. Porcarelli. "Model-based congestion analysis during outage and system reconfiguration in GPRS networks". 2004. [More] 
• Conference S. Porcarelli, F. Di Giandomenico, A. Bondavalli and P. Lollini. "Model-based Evaluation of a Radio Resource Management System for Wireless Networks". CF'04 Computing Frontiers. 2004. pp. 51-59. [More] 
• Conference F. Di Giandomenico, S. Porcarelli, P. Lollini and A. Bondavalli. "Dependability Issues in Radio Resource Management of Wireless Systems". WMPC03 - 6th International Symposium on Wireless Personal Multimedia Communications. 2003. pp. 146-150. [More] 
• Journal A. Ceccarelli, M. Cinque, C. Esposito, L. Foschini, C. Giannelli and P. Lollini. "FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things", IEEE Transactions on Engineering Management. [More]