Personale

Recapiti

Orario di ricevimento

Italiano

Biografia

Curriculum

Pubblicazioni

Insegnamenti

English

Biography

Curriculum

Paolo LOLLINI

Ruolo attuale:: Professore Associato
SSD:: INFO-01/A - Informatica
Afferenza organizzativa:: Dipartimento di Matematica e Informatica 'Ulisse Dini'

Recapiti

	0552751486
	paolo.lollini(AT)unifi.it

Ulteriori Recapiti

	Stanza 157
	http://rcl.dsi.unifi.it/people/lollini

Paolo LOLLINI

Curriculum

Paolo Lollini è Professore Associato in Informatica dal 2021 presso il Dipartimento di Matematica e Informatica “U. Dini” dell'Università degli Studi di Firenze, e precedentemente è stato Ricercatore Universitario presso la stessa Università. Ha conseguito la Laurea in Scienze dell'Informazione nel 2001, ed il titolo di Dottore di Ricerca in Informatica ed Applicazioni nel 2006, entrambi presso il Dipartimento di Sistemi e Informatica dell'Università degli Studi di Firenze.

L'attività di ricerca svolta si inquadra nel settore dei sistemi “dependable”, e riguarda la progettazione e validazione di sistemi
informatici e infrastrutture critiche. Sono argomenti di interesse le problematiche di design e di validazione di una varietà di sistemi critici, dai sistemi embedded tradizionali, alle infrastrutture critiche su larga scala, ai sistemi cyber-fisici e sistemi mobili distribuiti. Le attività più recenti si inquadrano in tre aree principali: i) Sviluppo di metodologie e di linguaggi per la composizione automatica di modelli di performability; ii) Validazione automatica con approcci di Model-Driven-Engineering; iii) Modelli stocastici per la valutazione quantitativa della safety e security di sistemi critici.

Ha partecipato con vari ruoli in numerosi progetti di ricerca regionali, nazionali ed europei. Attualmente è Project Coordinator del
progetto H2020-MSCA-RISE-2018 ADVANCE, e partecipa ai progetti PNRR-PE7-SPOKE8 SERICS, PRIN-PNRR-2022-P2022K7ERB BREADCRUMBS, e PRIN-2022-202297YF75 S2.

In passato è stato responsabile scientifico della partecipazione CINI al progetto PON 2014/2020 PROTECT-ID e responsabile scientifico della partecipazione DIMAI al progetto POR CREO 2007-2013 RACME-MAAS.

E’ stato inoltre coinvolto nei progetti Europei FP7-PEOPLE-2013-IRSES DEVASSES, FP7-ICT-2013-10 AMADEOS, JPI URBAN EUROPE IRENE, ARTEMIS-JU-333053 CONCERTO, FP7-IST-234088 ALARP, ARTEMIS-JU-100022 CHESS, ICT-FP7-216295 AMBER CA, IST-FP6-026764 RESIST NoE, IST-FP6-027513 CRUTIAL, IST-FP6-26979 HIDENETS, IST-FP6-031413 SAFEDMI, IST-2001-38229 CAUTION++, nei progetti Nazionali PRIN TENACE, PRIN DOTS-LCCI, e nei progetti Regionali POR-CREO 2007-2013 SECURE!, FAR-FAS 2014 TOSCA-FI, POR FESR 2014-2020 SISTER e POR FESR SPaCe.

Paolo Lollini è autore e co-autore di oltre 70 lavori tra conferenze Internazionali, workshop, capitoli di libro e riviste. È stato membro di oltre 30 comitati di programma di conferenze e workshop Internazionali. Attualmente è Local Organization Co-Chair di SAFECOMP 2024, e in passato è stato Program Chair di EDCC 2018, Doctoral Symposium Co-Chair di SRDS 2019, Fast Abstract Co-Chair di LADC 2019, Local Organization Chair di SAFECOMP 2014, Publication Chair di SRDS 2013, e Workshop Co-Chair di SRDS 2011.

A partire dall'Anno Accademico 2011/2012 fino ad oggi ha avuto incarichi didattici presso i corsi di Laurea Triennale e Magistrale in
Informatica, e presso il corso di Laurea Magistrale in “Software: Science and Technologies” dell'Università degli Studi di Firenze, tenendo corsi di “Architetture degli Elaboratori”, “Sistemi Operativi”, “Analisi Quantitativa dei Sistemi”, “Architecture, Model and Analysis of Cyber Physical Systems” e “Sistemi Critici e Real Time”.

Paolo LOLLINI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Prado A.; Carvalho P.; Lollini P.; Mariotti F.; Mattiello-Francisco F.; Santos L.; Pacheco L.; Silva L. (2024). Design of small satellite constellations for data communication. MATHEMATICS IN ENGINEERING, SCIENCE AND AEROSPACE, vol. 15, pp. 659-672, ISSN:2041-3173

Kordi, Marzieh; Mariotti, Francesco; Lollini, Paolo; Bondavalli, Andrea (2024). Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework. In: SAFECOMP 2024, Springer Nature Switzerland, vol. 14989 LNCS, pp. 275-283, ISBN:9783031687372 DOI

Francesco Terrosi,Francesco Mariotti,Paolo Lollini,Andrea Bondavalli (2023). Modeling of GPGPU architectures for performance analysis of CUDA programs. In: 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS), IEEE Conference Publishing Services, pp. 0-0. DOI

Mariotti, Francesco; Manetti, Lorenzo; Lollini, Paolo (2023). Modeling Moving Target Defense strategies and attacks with SAN and ADVISE. In: IEEE 34th International Symposium on Software Reliability Engineering Workshops, IEEE COMPUTER SOC, pp. 160-161, ISBN:979-8-3503-1956-9 DOI

Mariotti, F; Lollini, P; Mattiello-Francisco, F (2023). The GOLDS satellite constellation: preparatory works for a model-based performability analysis. In: IEEE 34th International Symposium on Software Reliability Engineering Workshops, Florence, October 9, 2023, IEEE COMPUTER SOC, pp. 162-163, ISBN:979-8-3503-1956-9 DOI Accesso ONLINE all'editore

Mariotti F.; Bondavalli A.; Lollini P.; Montecchi L.; Nardi S. (2023). An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system. JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS, vol. 9, pp. 263-281, ISSN:2199-4676 DOI Accesso ONLINE all'editore

Francesco Mariotti, Matteo Tavanti, Leonardo Montecchi, Paolo Lollini. (2022). Extending a security ontology framework to model CAPEC attack paths and TAL adversary profiles. In: European Dependable Computing Conference, Zaragoza, Spain, 12-15 September 2022, IEEE, pp. 0-0. DOI

Gonzalez S.R.; Osorio J.B.; Gonzalez G.P.; Cuellar D.; Gomez C.; Mariotti F.; Montecchi L.; Lollini P. (2022). Modeling attacker behavior in Cyber-Physical-Systems. In: Latin-American Symposium on Dependable Computing (LADC), Fortaleza/CE Brazil, November 21 - 24, 2022, Association for Computing Machinery, pp. 117-124, ISBN:9781450397377 DOI Accesso ONLINE all'editore

Ceccarelli, Andrea; Cinque, Marcello; Esposito, Christian; Foschini, Luca; Giannelli, Carlo; Lollini, Paolo (2022). FUSION - Fog Computing and Blockchain for Trusted Industrial Internet of Things. IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, vol. 69, pp. 2944-2958, ISSN:0018-9391 DOI Accesso ONLINE all'editore

Mohamad Gharib , Andrea Ceccarelli , Paolo Lollini , Andrea Bondavalli (2022). A cyber-physical-social approach for engineering functional safety requirements for automotive systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 189, pp. 0-0, ISSN:0164-1212 DOI Accesso ONLINE all'editore

da Silva L.D.; Lollini P.; Mongelli D.; Bondavalli A.; Mando G. (2021). A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 27, pp. 1-38, ISSN:0104-6500 DOI Accesso ONLINE all'editore

Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2021). Stochastic Activity Networks Templates: Supporting Variability in Performability Models. IEEE TRANSACTIONS ON RELIABILITY, vol. ?, pp. 1-17, ISSN:0018-9529 DOI Accesso ONLINE all'editore

Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2021). IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems. JOURNAL ON DATA SEMANTICS, pp. 0-0, ISSN:1861-2032 DOI Accesso ONLINE all'editore

leonardo montecchi, paolo lollini, andrea bondavalli (2020). A template-based methodology for the specification and automated composition of performability models. IEEE TRANSACTIONS ON RELIABILITY, vol. 69, pp. 293-309, ISSN:0018-9529 DOI Accesso ONLINE all'editore

Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2020). Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. In: INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, IEEE, pp. 000217-000222, ISBN:978-1-7281-8050-2 DOI Accesso ONLINE all'editore

Montecchi, Leonardo; Lollini, Paolo; Moncini, Federico; Keefe, Kenneth (2020). An Eclipse-Based Editor for SAN Templates. In: International Workshop on Software Engineering for Resilient Systems, 7 September, 2020, Springer, Cham, vol. 1279, pp. 159-167, ISBN:978-3-030-58461-0 DOI Accesso ONLINE all'editore

Laranjeiro N.; Gomez C.; Schiavone E.; Montecchi L.; Carvalho M.J.M.; Lollini P.; Micskei Z. (2019). Addressing verification and validation challenges in future cyber-physical systems. In: 9th Latin-American Symposium on Dependable Computing, LADC 2019, Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 1-2, ISBN:978-1-7281-6622-3 DOI

Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli (2019). Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Hangzhou, China, Jan 3 – 5, 2019, IEEE Computer Society, pp. 74-81, ISBN:978-1-5386-8540-2 DOI

mohamad gharib, paolo lollini, andrea bondavalli (2019). Toward a model-based approach for analyzing information quality requirements for smart grid. In: 15th European Dependable Computing Conference, EDCC 2019, Naples, 17-20 September 2019, IEEE Conference Publishing Services, pp. 183-185, ISBN:9781728139296 DOI Accesso ONLINE all'editore

Da Silva L.D.; Mongelli D.; Lollini P.; Bondavalli A.; Mando G. (2019). Performability analysis of a tramway system with virtual tags and local positioning. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra, 2019, Institute of Electrical and Electronics Engineers Inc., pp. 1-10, ISBN:978-1-7281-6622-3 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:1937-9234 DOI Accesso ONLINE all'editore

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

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

Gharib, Mohamad*; Lollini, Paolo; Botta, Marco; Amparore, Elvio; Donatelli, Susanna; Bondavalli, Andrea (2018). On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018, Parc Alvisse Hotel, lux, 2018, Institute of Electrical and Electronics Engineers Inc., pp. 271-274, ISBN:9781538655955 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

Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2017). Towards an approach for analyzing trust in Cyber-Physical-Social Systems. In: 12th System of Systems Engineering Conference, SoSE 2017, usa, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:9781509059454 DOI

Gharib, Mohamad; Lollini, Paolo; Bondavalli, Andrea (2017). A conceptual model for analyzing information quality in System-of-Systems. In: 12th System of Systems Engineering Conference, SoSE 2017, usa, 2017, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, ISBN:9781509059454 DOI

Gharib, Mohamad; Lollini, Paolo; Ceccarelli, Andrea; Bondavalli, Andrea (2017). Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. In: CRITICAL INFORMATION INFRASTRUCTURES SECURITY, Lucca, Italy, Ottobre 8 -13, Gregorio D'Agostino, pp. 194-206, ISBN:978-3-319-99842-8 DOI

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

Eleuterio, Jane Dirce Alves Sandim; Gaia, Felipe Nunes; Bondavalli, Andrea; Lollini, Paolo; Rodrigues, Genaina Nunes; Rubira, Cecilia Mary Fischer (2016). On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. In: 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Limassol, Cyprus, 31 Aug.-2 Sept. 2016, IEEE, pp. 323-330, ISBN:978-1-5090-2820-7 DOI Accesso ONLINE all'editore

Bernini, Riccardo; Bondavalli, Andrea; Lollini, Paolo; Montecchi, Leonardo (2016). Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. In: 12th European Dependable Computing Conference (EDCC 2016), Gothenburg, Sweden, September 5-9, 2016, IEEE, pp. 197-207, ISBN:978-1-5090-1582-5 DOI Accesso ONLINE all'editore

Montecchi, Leonardo; Refsdal, Atle; Lollini, Paolo; Bondavalli, Andrea (2016). A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. In: DEPENDABLE SYSTEMS AND NETWORKS, Toulouse, France, June 28 - July 1, 2016, IEEE, pp. 275-286, ISBN:978-1-4673-8891-7 DOI Accesso ONLINE all'editore

Babu, Arun; Iacob, Sorin; Lollini, Paolo; Mori, Marco (2016). AMADEOS Framework and Supporting Tools. In: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz. Cyber-Physical Systems of Systems - Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 128-164 Springer International Publishing, ISBN:978-3-319-47589-9. DOI Accesso ONLINE all'editore

Mori, Marco; Ceccarelli, Andrea; Lollini, Paolo; Bondavalli, Andrea; Frömel, Bernhard (2016). A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, usa, 2016, IEEE Computer Society, pp. 276-283, ISBN:978-1-4673-9913-5 DOI

Lollini, Paolo; Mori, Marco; Babu, Arun; Bouchenak, Sara (2016). AMADEOS SysML Profile for SoS Conceptual Modeling. In: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz. Cyber-Physical Systems of Systems - Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 97-127 Springer International Publishing, ISBN:978-3-319-47589-9. 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: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 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

Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea (2015). Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System. In: International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2015), IEEE, pp. 33-38, ISBN:978-1-4673-8044-7 DOI

Bonfiglio, Valentina; Montecchi, Leonardo; Irrera, Ivano; Rossi, Francesco; Lollini, Paolo; Bondavalli, Andrea (2015). Software Faults Emulation at Model-Level: Towards Automated Software FMEA. In: 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015), IEEE, pp. 133-140, ISBN:978-1-4673-8044-7 DOI

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

Ceccarelli, Andrea; Mori, Marco; Lollini, Paolo; Bondavalli, Andrea (2015). Introducing Meta-Requirements for Describing System of Systems. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, usa, January 8 - 10, 2015, IEEE Computer Society, vol. 2015-, pp. 150-157, ISBN:978-1-4799-8111-3 DOI Accesso ONLINE all'editore

Rossi, Magali Andreia; De Oliveira, Fabricio B.; Lollini, Paolo; Bondavalli, Andrea; Corrêa, Mario (2015). Zarzirbird project: Modeling RPAS dynamics for load stability. In: 34th Digital Avionics Systems Conference, DASC 2015, Corinthia Hotel, cze, 2015, Institute of Electrical and Electronics Engineers Inc., pp. 1-23, ISBN:9781479989409 DOI Accesso ONLINE all'editore

Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli; (2015). Executable Models to Support Automated Software FMEA. In: IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, Daytona Beach Shores, FL, USA, 8-10 January 2015, IEEE, pp. 189-196, ISBN:9781479981106 DOI Accesso ONLINE all'editore

Rossi, Magali Andreia; Lollini, Paolo; Bondavalli, Andrea; Romani de Oliveira, Italo; Rady de Almeida, Jorge (2014). A safety assessment on the use of CPDLC in UAS communication system. In: Digital Avionics Systems Conference, Colorado Springs, CO, 5-9 Oct. 2014, IEEE/AIAA, pp. 6B1-1-6B1-11, ISBN:978-1-4799-5001-0 DOI Accesso ONLINE all'editore

Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (2014). A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. In: Tenth EuropeanDependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13-16 May 2014, IEEE, pp. 82-93. DOI Accesso ONLINE all'editore

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

Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli (2013). A Reusable Modular Toolchain for Automated Dependability Evaluation. In: 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), Turin, Italy, 10-12 December 2013, ACM, pp. 298-303, ISBN:9781936968480 DOI Accesso ONLINE all'editore

S. Chiaradonna; F. Di Giandomenico; P. Lollini (2012). Case study on critical infrastructures: assessment of electric power systems. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 1-27, Berlin: Springer Berlin / Heidelberg, ISBN:9783642290329. DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; A. Bondavalli; E. La Mattina (2012). Quantitative Security Evaluation of a Multi-Biometric Authentication System. In: DESEC4LCCI 2012, Magdeburg, Germany, 25-28 September 2012, Springer-Verlag, vol. 7613, pp. 209-221, ISBN:9783642336744 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; B. Malinowsky; J. Grønbæk; A. Bondavalli (2012). Model-based analysis of a protocol for reliable communication in railway worksites. In: The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2012), Paphos, Cyprus, 21-25 October 2012, ACM, pp. 23-32, ISBN:9781450316286 DOI Accesso ONLINE all'editore

M. Dixit; A. Casimiro; P. Lollini; A. Bondavalli; P. Veríssimo (2012). Adaptare: supporting automatic and dependable adaptation in dynamic environments. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, vol. 7, pp. 18:1-18:25, ISSN:1556-4665 DOI Accesso ONLINE all'editore

Magali Andreia Rossi;Jorge Rady de Almeida Junior;Andrea Bondavalli;Paolo Lollini (2012). A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace. In: AFECOMP 2012 Workshops: DESEC4LCCI, Magdeburg, Germany, September 25, 2012, Frank Ortmeier and Peter Daniel, vol. 7613, pp. 271-281, ISBN:9783642336744 DOI Accesso ONLINE all'editore

A. Bondavalli; P. Lollini; I. Majzik; L. Montecchi (2012). Modelling and model-based assessment. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 153-165, berlin: Springer Berlin / Heidelberg, ISBN:9783642290312. DOI Accesso ONLINE all'editore

A. Bondavalli; P. Lollini; L. Montecchi (2012). Graphical formalisms for modeling critical infrastructures. In: F. Flammini. Critical infrastructure security: assessment, prevention, detection, response, pp. 57-73, Ashurst Lodge, Ashurst, Southampton: WIT Press, ISBN:9781845645625. DOI

A. Bondavalli; H. Madeira; P. Lollini (2012). Future of resilience assessment: the AMBER research roadmap. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel. Resilience assessment and evaluation, pp. 1-25, Berlin: Springer Berlin / Heidelberg, ISBN:9783642290329. DOI Accesso ONLINE all'editore

S. Chiaradonna; F. Di Giandomenico; P. Lollini (2011). Definition, implementation and application of a model-based framework for the analysis of interdependencies in electric power systems. INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, vol. 4 (1), pp. 24-40, ISSN:1874-5482 DOI

P. Lollini (2011). Catene di Markov: fondamenti. In: A. Bondavalli. L'analisi quantitativa dei sistemi critici, pp. 93-125, Bologna: Esculapio, ISBN:9788874884315.

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.

M. A. Rossi; J. Rady de Almeida Junior; A. Bondavalli; P. Lollini (2011). Towards a federated simulation approach for reliability evaluation of unmanned aircraft vehicles within aeronautical communications networking. In: 30th IEEE Symposium on Reliable Distributed Systems Workshops, Madrid, October 4 -7, 2011, IEEE Computer Society Press, vol. Proc. of the 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW 2011), pp. 67-71, ISBN:9781457716249 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; A. Bondavalli (2011). Towards a MDE Transformation Workflow for Dependability Analysis. In: 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, NV, USA, 27-29 April 2011, IEEE, pp. 157-166, ISBN:9781612848532 DOI Accesso ONLINE all'editore

L. Montecchi; P. Lollini; A. Bondavalli (2011). Dependability concerns in model-driven engineering. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), Newport Beach, CA, USA, 28-31 March 2011, IEEE, pp. 254-263, ISBN:9781457703034 DOI Accesso ONLINE all'editore

A. Bondavalli; O. Hamouda; M. Kaâniche; P. Lollini; I. Majzik; H.-P. Schwefel (2011). The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE TRANSACTIONS ON MOBILE COMPUTING, vol. 10, pp. 783-796, ISSN:1536-1233 DOI Accesso ONLINE all'editore

L. Vinerbi; A. Bondavalli; P. Lollini (2010). Emergence: A new Source of Failures in Complex Systems. In: Third International Conference on Dependability (DEPEND 2010), Venice/Mestre, Italy, July 18 - 25, 2010, IEEE Computer Society Press, vol. Proc. of the Third International Conference on Dependability (DEPEND 2010), pp. 133-138, ISBN:9781424475308 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. Bondavalli; P. Lollini; M. Vadursi (2010). AMBER roadmap: ongoing research directions. In: Second Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computer Systems (RDCS 2010), Genoa, Italy, IEEE Computer Society Press, pp. 0-0, ISBN:9781424474714 DOI

P. Lollini; A. Bondavalli; F. di Giandomenico; (2009). A Decomposition-Based Modeling Framework for Complex Systems. IEEE TRANSACTIONS ON RELIABILITY, vol. 58, pp. 20-33, ISSN:0018-9529 DOI Accesso ONLINE all'editore

S. Chiaradonna; F. Di Giandomenico; P. Lollini (2009). Interdependency Analysis in Electric Power Systems. In: R. Setola, S. Geretshuber (co-editors). Critical Information Infrastructure Security, pp. 60-71, Berlin / Heidelberg: Springer, ISBN:9783642035517. DOI Accesso ONLINE all'editore

S. Chiaradonna;F. Di Giandomenico;P. Lollini (2009). Assessing the Impact of Interdependencies in Electric Power Systems. INTERNATIONAL JOURNAL OF SYSTEM OF SYSTEMS ENGINEERING, vol. 1, pp. 367-386, ISSN:1748-068X DOI Accesso ONLINE all'editore

M. Beccuti; G. Franceschinis; S. Donatelli; S. Chiaradonna; F. Di Giandomenico; P. Lollini; G. Dondossola; F. Garrone (2009). Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach. In: Fourth International CRIS conference on Critical Infrastructures (CRIS 2009), Linköping, Sweden, March 27 2009-April 30 2009, IEEE Computer Society Press, pp. 1-8, ISBN:9781424446360 DOI Accesso ONLINE all'editore

A. Bondavalli; P. Lollini; L. Montecchi (2009). QoS Perceived by Users of Ubiquitous UMTS:Compositional Models and Thorough Analysis. JOURNAL OF SOFTWARE, vol. 4, pp. 675-685, ISSN:1796-217X DOI Accesso ONLINE all'editore

P. Lollini; L. Montecchi; M. Magyar; I. Majzik; A. Bondavalli (2008). Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems.. In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, October 9-10, 2008, Springer, pp. 225-232, ISBN:9789632361383

A. Bondavalli; P. Lollini; L. Montecchi (2008). Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. In: 6th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS '08), Springer, pp. 186-197, ISBN:9783540877844 DOI

M. Kaâniche; P. Lollini; A. Bondavalli; K. Kanoun (2008). Modeling the Resilience of Large and Evolving Systems. INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 4, pp. 153-168, ISSN:0973-1318

A. Casimiro; P. Lollini; M. Dixit ; A. Bondavalli; P. Verissimo (2008). A framework for dependable QoS adaptation in probabilistic environments. In: 2008 ACM Symposium on Applied Computing, Fortaleza, Ceara, Brazil, March 16 - 20, 2008, ACM, pp. 2192-2196, ISBN:9781595937537 DOI

M. Kovacs; P. Lollini; I. Majzik; A. Bondavalli (2008). An integrated framework for the dependability evaluation of distributed mobile applications. In: RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), Newcastle upon Tyne, UK, November 17-19, 2008, ACM, pp. 29-38, ISBN:9781605582757 DOI

S. Chiaradonna; F. Di Giandomenico; P. Lollini (2008). Evaluation of Critical Infrastructures: Challenges and Viable Approaches. In: R. de Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, M. Vieira (co-editors). Architecting Dependable Systems V, pp. 52-77, Berlin / Heidelberg: Springer, ISBN:9783540855705. DOI Accesso ONLINE all'editore

S. Chiaradonna; P. Lollini; F. Di Giandomenico (2007). On a modeling framework for the analysis of interdependencies in Electrical Power Systems. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, 25-28 June 2007, IEEE Computer Society Press, pp. 185-194, ISBN:0769528554 DOI Accesso ONLINE all'editore

P. Lollini (2006). On the Modeling and Solution of Complex Systems: From Two Domain-Specific Case-Studies Towards the Definition of a More General Framework. (Tutor: A. Bondavalli)

M. Serafini;P. Lollini;A. Bondavalli (2006). Modeling On-line tests in Safety-Critical Systems. In: Int. Conf. on Safety and Reliability for Managing Risk (ESREL 2006), Estoril (Portogallo), 2006, Taylor & Francis Group, vol. 1, pp. 231-238, ISBN:9780415416207

A. Bondavalli; S. Chiaradonna; P. Lollini; F. Squittieri (2006). Integration of an MPS Modeling Approach into Möbius. In: International Conference on Quantitative Evaluation of Systems (QEST 2006), Los Alamitos, CA, USA, September 11-14, 2006, IEEE Computer Society Press, vol. 0, pp. 139-140, ISBN:9780769526652 DOI Accesso ONLINE all'editore

P. Lollini; A. Bondavalli; F. Di Giandomenico (2005). QoS analysis of a UMTS cell with different service classes. In: 4th IASTED International Conference on Communication Systems and Networks (CSN'05), Benidorm, Spain, September 12-14, 2005, C.E. Palau Salvador, pp. 55-60, ISBN:088986540X Accesso ONLINE all'editore

PAOLO LOLLINI; A. BONDAVALLI; FELICITA DI GIANDOMENICO (2005). Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. In: MIROSLAW MALEK; EDGAR NETT; NEERAJ SURI. Service Availability, Second International Service Availability Symposium, ISAS 2005, Lecture Notes in Computer Science 3694, pp. 180-195, Berlino: Springer Verlag, ISBN:9783540291039. DOI

P. Lollini; A. Bondavalli; F. Di Giandomenico (2005). A modeling methodology for hierarchical control system and its aplication. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY, vol. 10, pp. 57-69, ISSN:0104-6500 DOI Accesso ONLINE all'editore

S. Porcarelli; F. Di Giandomenico; A. Bondavalli; P. Lollini (2004). Model-based Evaluation of a Radio Resource Management System for Wireless Networks. In: 1st conference on Computing frontiers (CF '04), Ischia, Italy, April 14–16, 2004, ACM, pp. 51-59, ISBN:9781581137415 DOI Accesso ONLINE all'editore

P. Lollini;F. D. Giandomenico;A. Bondavalli;S. Porcarelli (2004). Congestion analysis in a general GPRS network. In: Mobile Venue'04 (Informal Proceedings), Athens, Greece, 2004-May 27-28, Athens, Greece:, pp. ---.

P. LOLLINI; A. BONDAVALLI; F. DI GIANDOMENICO; S. PORCARELLI (2004). CONGESTION ANALYSIS DURING OUTAGE, CONGESTION TREATMENT AND OUTAGE RECOVERY FOR SIMPLE GPRS NETWORKS. In: ISCC'2004 THE NINTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, ALEXANDRIA, June 28 - July 1, 2004, IEEE Computer Society Press, vol. 2, pp. 772-778, ISBN:078038623X DOI

F. D. Giandomenico;S. Porcarelli;D. Viva;A. Bondavalli;P. Lollini (2004). Model-based Evaluation for Dependability Assessment of CAUTION++ Instances. In: Mobile Venue'04 (Informal Proceedings), Athens, Greece, 2004-May 27-28, Athens, Greece:, pp. ---.

S. PORCARELLI; F. DI GIANDOMENICO; P. LOLLINI; A. BONDAVALLI (2004). A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. In: MIROSLAW MALEK; MANFRED REITENSPIESS; JOERG KAISER EDS.. Service Availability, First International Service Availability Symposium, ISAS 2004, Lecture Notes in Computer Science 3335, pp. 160-174, Berlino: Miroslaw Malek, Manfred Reitenspiess and Joerg Kaiser, ISBN:9783540244202. DOI

P. Lollini (2003). Dependability Issues in Caution++ project. In: International Conference on Dependable Systems and Networks (DSN 2003), pp. 1-2.

F. D. Giandomenico; S. Porcarelli; P. Lollini; A. Bondavalli (2003). Dependability Issues in Radio Resource Management of Wireless Systems. In: 6th International Symposium on Wireless Personal Multimedia Communications (WPMC '03), Yokosuka, Japan, 2003, vol. 2, pp. 146-150.

A. Bondavalli; F. Di Giandomenico; F. Grandoni; P. Lollini; S. Porcarelli (2003). Dependability Provisions for a Network Management Platform. In: International Conference on Dependable Systems and Networks (DSN 2003), (Fast Abstract), vol. Supplemental Volume, pp. B82-B83.

Paolo LOLLINI

Curriculum

Paolo Lollini has been Associate Professor in Computer Science since 2021 at the Department of Mathematics and Computer Science “U. Dini” of the University of Florence, and was previously University Researcher at the same University. He obtained a degree in Information Sciences in 2001, and a PhD in Computer Science and Applications in 2006, both from the Department of Systems and Computer Science of the University of Florence.

The research activity carried out falls within the sector of "dependable" systems and concerns the design and validation of systems, IT and critical infrastructures. Topics of interest are the design and validation issues of a variety of critical systems, from traditional embedded systems, to large-scale critical infrastructures, to cyber-physical systems and distributed mobile systems. The most recent activities fall into three main areas: i) Development of methodologies and languages for the automatic composition of performability models; ii) Automatic validation with Model-Driven-Engineering approaches; iii) Stochastic models for the quantitative evaluation of the safety and security of critical systems.

He has participated in various roles in numerous regional, national and European research projects. He is currently Project Coordinator of H2020-MSCA-RISE-2018 ADVANCE project, and participates in the PNRR-PE7-SPOKE8 SERICS, PRIN-PNRR-2022-P2022K7ERB BREADCRUMBS, and PRIN-2022-202297YF75 S2 projects.

In the past he was scientific manager of the CINI participation in the PON 2014/2020 PROTECT-ID project and scientific manager of the DIMAI participation in the POR CREO 2007-2013 RACME-MAAS project.

He was also involved in the European projects FP7-PEOPLE-2013-IRSES DEVASSES, FP7-ICT-2013-10 AMADEOS, JPI URBAN EUROPE IRENE, ARTEMIS-JU-333053 CONCERTO, FP7-IST-234088 ALARP, ARTEMIS-JU-100022 CHESS, ICT-FP7-216295 AMBER CA, IST-FP6-026764 RESIST NoE, IST-FP6-027513 CRUTIAL, IST-FP6-26979 HIDENETS, IST-FP6-031413 SAFEDMI, IST-2001-38229 CAUTION++, in National PRIN projects TENACE, PRIN DOTS-LCCI, and in the Regional projects POR-CREO 2007-2013 SECURE!, FAR-FAS 2014 TOSCA-FI, POR FESR 2014-2020 SISTER and POR FESR SPaCe.

Paolo Lollini is (co-)author of more than 70 works including international conferences, workshops, book chapters and magazines. He has been a member of over 30 program committees of international conferences and workshops. He is currently Local Organization Co-Chair of SAFECOMP 2024, and in the past he was Program Chair of EDCC 2018, Doctoral Symposium Co-Chair of SRDS 2019, Fast Abstract Co-Chair of LADC 2019, Local Organization Chair of SAFECOMP 2014, Publication Chair of SRDS 2013, and SRDS 2011 Co-Chair Workshop.

Starting from the Academic Year 2011/2012 until today, he gave lectures at the Bachelor's and Master's degree courses in Computer Science, and at the Master's Degree course in "Software: Science and Technologies" of the University of Florence, holding courses in "Computer Architecture", "Operating Systems", "Quantitative Analysis of Systems", "Architecture, Model and Analysis of Cyber Physical Systems” and “Critical Systems and Real Time”.