Laura CARNEVALI

Ruolo attuale:: Professore Associato
SSD:: IINF-05/A - Sistemi di elaborazione delle informazioni
Afferenza organizzativa:: Dipartimento di Ingegneria dell'Informazione

Recapiti

	0552758519
	laura.carnevali(AT)unifi.it

Ulteriori Recapiti

	via di Santa Marta 3, 50139, Firenze (stanza 542)
	http://stlab.dinfo.unifi.it/carnevali

Laura CARNEVALI

Orario di ricevimento (aggiornato al 11/01/2024)

L'orario di ricevimento è riportato sulla pagina web personale. Gli studenti sono comunque pregati di inviare una email per verificare la disponibilità.

Laura CARNEVALI

Biografia

Laura Carnevali è nata a Prato nel 1982. Ha conseguito la laurea triennale in Ingegneria Informatica, la laurea specialistica in Ingegneria Informatica, e il Dottorato di Ricerca in Ingegneria Informatica, delle Multimedialità e delle Telecomunicazioni presso l'Università degli Studi di Firenze nel 2004, 2006 e 2010, rispettivamente. È stata assegnista di ricerca (2010-2013), ricercatrice a tempo determinato di tipo A (2013-2016), e ricercatrice a tempo determinato di tipo B (2016-2019) presso l'Università degli Studi di Firenze. Dal 2019 è professoressa associata presso il Dipartimento di Ingegneria dell'Informazione dell'Università degli Studi di Firenze. Dal 2007 è membro del Laboratorio di Tecnologie del Software dello stesso dipartimento. È stata visiting researcher presso l'École normale supérieure de Cachan (Parigi, Francia) da marzo 2014 a giugno 2014.

Laura CARNEVALI

Curriculum

Formazione

- Laurea triennale in Ingegneria Informatica, Università degli Studi di Firenze, 2004 (votazione: 110/110 e lode).

- Laurea specialistica in Ingegneria Informatica, Università degli Studi di Firenze, 2006 (votazione: 110/110 e lode, con encomio).

- Dottorato di ricerca in Ingegneria Informatica, delle Multimedialità, e delle Telecomunicazioni, Università degli Studi di Firenze, 2010.

Posizioni accademiche

- Assegnista di ricerca, Università degli Studi di Firenze, 2010-2013

- Ricercatore a tempo determinato di tipo A, Università degli Studi di Firenze, 2013-2016

- Ricercatore a tempo determinato di tipo B, Università degli Studi di Firenze, 2016-2019

- Professoressa associata, Università degli Studi di Firenze, 2019-ad oggi

Docenza

- Software Engineering for Embedded Systems, laurea magistrale in Ingegneria Informatica, 6 CFU, A.A. 2019/2020-ad oggi.

- Quantitative Evaluation of Stochastic Models, laurea magistrale in Ingegneria Informatica, 2 di 6 CFU, A.A. 2021/2022 e 2022/2023.

- Fondamenti di Informatica, laurea in Ingegneria Elettronica, 9 CFU, A.A. 2013/2014-ad oggi.

- Fondamenti di Informatica, laurea in Ingegneria Meccanica, 6 CFU, A.A. 2011/2012 e 2012/2013.

Progetti

- Partecipazione a progetti nazionali fra i quali: PRIN-PNRR ADVENTURE (Advanced Integrated Evaluation of Railway System), PRIN WISEDEMON

- Partecipazione a progetti regionali fra i quali: JARVIS (Just-in time ARtificial Intelligence for the eValuation of Industrial Signals), LINFA (Logistica INtelligente del FArmaco), INDIGO (Sviluppo di un dispositivo intelligente per la diagnosi e il monitoraggio di sistemi ferroviari), GENIALE (Ingegnerizzazione di un sistema elettro-meccanico per l’esecuzione e l’interpretazione automatica di analisi biologiche attraverso uno scanner e un processatore integrato), ERNESTO (Real-time scheduling di attività concorrenti con parametri temporali non-deterministici e stocastici).

- Collaborazioni con aziende fra le quali: NEC Corporation, Visia Imaging srl.

Attività scientifica di servizio

- Associate editor delle seguenti riviste internazionali: Real-Time Systems Journal, IEEE Access.

- Program chair: European Performance Engineering Workshop (EPEW) 2025, Workshop on Software Aging and Rejuvenation (WoSAR) 2024.

- Membro del comitato di programma di conferenze e workshop internazionali fra le quali: IEEE Real-Time Systems Symposium (RTSS), IEEE International Symposium on Software Reliability Engineering (ISSRE), International Conference on Quantitative Evaluation of SysTems (QEST), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), European Workshop on Performance Engineering (EPEW).

Premi

- Best paper award, ACM/SPEC International Conference on Performance Engineering (ICPE), 2021.

- Best artifact award, International Conferece on the Quantitative Evaluation of SysTems (QEST), 2024.

Laura CARNEVALI

Interessi

- Valutazione quantitativa di modelli stocastici per la valutazione delle prestazioni e dell'affidabilità

- Tecniche di soluzione per la valutazione quantitativa di processi stocastici non-Markoviani

- Modellazione, simulazione e analisi quantitativa di sistemi di trasporto intelligenti e sistemi in tempo reale

- Analisi di schedulabilità di sistemi in tempo reale con parametri temporali non-deterministici e stocastici

- Integrazione di metodi formali nel processo di sviluppo del software di sistemi in tempo reale

Laura CARNEVALI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Carnevali, Laura; Cerboni, Stefania; Montecchi, Leonardo; Vicario, Enrico (2025). FaultFlow: an MDE Library for Dependability Evaluation of Component-Based Systems. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, pp. 1-18, ISSN:1545-5971 DOI

Baldi A.; Carnevali L.; Collodi G.; Lippi M.; Manes A. (2025). Multi-task neural networks for multi-step soil moisture forecasting in vineyards using Internet-of-Things sensors. SMART AGRICULTURAL TECHNOLOGY, vol. 10, pp. 1-7, ISSN:2772-3755 DOI

Carnevali, Laura; Giandomenico, Felicita Di; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria (2025). Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, pp. 1-17, ISSN:1524-9050 DOI

Dengler, Gabriel; Carnevali, Laura; Budde, Carlos E.; Vicario, Enrico (2024). Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. In: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS 2024, SPRINGER INTERNATIONAL PUBLISHING AG, vol. 14996, pp. 213-232, ISBN:9783031684159 DOI

Carnevali, Laura; Cerboni, Stefania; Picano, Benedetta; Scommegna, Leonardo; Vicario, Enrico (2024). An observation metamodel for dependability tools. In: 19th European Dependable Computing Conference (EDCC), ieee, pp. 169-172. DOI

Basile, Davide; ter Beek, Maurice H.; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria (2024). An Integrated Perspective on the Evaluation of Complex Railway Systems. In: International Symposium on Leveraging Applications of Formal Methods (ISoLA), Springer, pp. 190-207, ISBN:9783031753909 DOI

Carnevali, Laura; Paolieri, Marco; Reali, Riccardo; Scommegna, Leonardo; Vicario, Enrico (2024). Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies. IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, pp. 1-16, ISSN:2168-6750 DOI

Becattini M.; Carnevali L.; Fontani G.; Paroli L.; Scommegna L.; Masoumi M.; De Miguel I.; Brasca F. (2024). Dynamic MEC resource management for URLLC in Industry X.0 scenarios: A quantitative approach based on digital twin networks. In: 7th IEEE International Workshop on Metrology for Industry 4.0 and IoT, MetroInd4.0 and IoT 2024, ita, 2024, Institute of Electrical and Electronics Engineers Inc., pp. 372-376. DOI

Carnevali L.; Lippi M. (2024). Neuro-Symbolic Artificial Intelligence for Safety Engineering. In: 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2024, 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, SASSUR 2024, Towards A Safer Systems architecture Through Security, TOASTS 2024 and 7th International Workshop on Artificial Intelligence Safety Engineering, WAISE 2024 held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, ita, 2024, Springer Science and Business Media Deutschland GmbH, vol. 14989, pp. 438-445, ISBN:9783031687372 DOI

Becattini, Marco; Borsatti, Davide; Bujari, Armir; Carnevali, Laura; Garbugli, Andrea; Khachatrian, Hrant; Raptis, Theofanis P.; Tarchi, Daniele (2024). Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks. In: 2024 IEEE International Mediterranean Conference on Communications and Networking (MeditCom), Madrid, Spain, 08-11 July 2024, pp. 323-328, ISBN:979-8-3503-0948-5 DOI Accesso ONLINE all'editore

Picano, Benedetta; Becattini, Marco; Carnevali, Laura; Vicario, Enrico (2024). Democratized Learning Enabling Multi-Level Digital Twin Model Integration. In: International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, vol. 2, pp. 1-8. DOI

Bertocci, Nicola; Carnevali, Laura; Scommegna, Leonardo; Vicario, Enrico (2024). Efficient derivation of optimal signal schedules for multimodal intersections. SIMULATION MODELLING PRACTICE AND THEORY, vol. 133, pp. 1-21, ISSN:1569-190X DOI

Carnevali, Laura; Paolieri, Marco; Reali, Riccardo; Vicario, Enrico (2023). Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, vol. 33, pp. 16-26, ISSN:1049-3301 DOI

Carnevali L.; Paolieri M.; Reali R.; Scommegna L.; Tammaro F.; Vicario E. (2023). Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. In: 18th European Workshop on Computer Performance Engineering, EPEW 2022, esp, 2022, Springer Science and Business Media Deutschland GmbH, vol. 13659, pp. 200-215, ISBN:978-3-031-25048-4 DOI

Carnevali L.; Paolieri M.; Picano B.; Reali R.; Scommegna L.; Vicario E. (2023). A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. In: EPEW ASMTA 2023, springer, vol. 14231 LNCS, pp. 309-324, ISBN:9783031431845 DOI

Carnevali L.; Paolieri M.; Reali R.; Scommegna L.; Vicario E. (2022). A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. In: 33rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022, USA, 2022, Institute of Electrical and Electronics Engineers Inc., pp. 138-145, ISBN:978-1-6654-7679-9 DOI

Carnevali L.; Reali R.; Vicario E. (2022). Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. In: 19th International Conference on Quantitative Evaluation of Systems, QEST 2022, pol, 2022, Springer Science and Business Media Deutschland GmbH, vol. 13479, pp. 255-272, ISBN:978-3-031-16335-7 DOI

Carnevali L.; Paolieri M.; Vicario E. (2022). The ORIS tool: App, library, and toolkit for quantitative evaluation of non-Markovian systems. In: Int. Worksho on Tools for Stochastic Modelling and Evaluation (TOSME), Association for Computing Machinery, vol. 49, pp. 81-86. DOI

Carnevali, Laura; German, Reinhard; Santoni, Francesco; Vicario, Enrico (2022). Compositional Analysis of Hierarchical UML Statecharts. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 48, pp. 4762-4788, ISSN:0098-5589 DOI

Carnevali L.; Reali R.; Vicario E. (2021). Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. In: 2021 ACM/SPEC International Conference on Performance Engineering, ICPE 2021, 2021, Association for Computing Machinery, Inc, pp. 177-188, ISBN:9781450381949 DOI

Paolieri M.; Biagi M.; Carnevali L.; Vicario E. (2021). The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 47, pp. 1211-1225, ISSN:0098-5589 DOI Accesso ONLINE all'editore

Ye, Luyao; Zhao, Dongdong; Xiang, Jianwen; Carnevali, Laura; Vicario, Enrico (2021). Quantitative Analysis of the Dynamic Relevance of Systems. IEEE TRANSACTIONS ON RELIABILITY, vol. 70, pp. 82-98, ISSN:0018-9529 DOI

Carnevali L.; Paolieri M.; Reali R.; Vicario E. (2021). Compositional Safe Approximation of Response Time Distribution of Complex Workflows. In: 18th International Conference on Quantitative Evaluation of Systems, QEST 2021, 2021, Springer Science and Business Media Deutschland GmbH, vol. 12846, pp. 83-104, ISBN:978-3-030-85171-2 DOI

Carnevali L.; Ciani L.; Fantechi A.; Gori G.; Papini M. (2021). An efficient library for reliability block diagram evaluation. APPLIED SCIENCES, vol. 11, pp. 1-24, ISSN:2076-3417 DOI Accesso ONLINE all'editore

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Jacopo Parri, Moreno Pieralli, Samuele Sampietro (2021). A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment. INGEGNERIA FERROVIARIA, pp. 5-27, ISSN:0020-0956

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario (2020). Stochastic modeling and analysis of road–tramway intersections. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, vol. 16, pp. 215-230, ISSN:1614-5046 DOI

Carnevali, Laura; Tarani, Fabio; Vicario, Enrico (2020). Performability evaluation of water distribution systems during maintenance procedures. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS, vol. 50, pp. 1704-1720, ISSN:2168-2216 DOI Accesso ONLINE all'editore

Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Patara, Fulvio; Vicario, Enrico (2019). A continuous-time model-based approach for activity recognition in pervasive environments. IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, vol. 49, pp. 293-303, ISSN:2168-2291 DOI

Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini (2019). A novel layered approach to evaluate reliability of complex systems. In: 5th International forum on Research and technologies for society and industry, Florence, Italy, September, 9-12 2019, IEEE, pp. 291-295. DOI Accesso ONLINE all'editore

Laura Carnevali, Francesco Santoni, Enrico Vicario (2019). Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios. In: 30th International Symposium on Software Reliability Engineering (ISSRE 2019), IEEE, pp. 195-205, ISBN:978-1-7281-4982-0 DOI

Fabio Tarani; Chiara Arrighi; Laura Carnevali; Fabio Castelli; Enrico Vicario (2019). Flood resilience of a water distribution sytem. In: Editor: Francesco Flammini. Resilience of Cyber-Physical Systems-From Risk Modelling to Threat Counteraction, pp. 177-194 Springer, ISBN:978-3-319-95596-4. DOI

Biagi, Marco; Carnevali, Laura; Tadano, Kumiko; Vicario, Enrico (2018). Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. In: 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Politecnico di Torino, ita, 2018, Institute of Electrical and Electronics Engineers Inc., vol. 2018-, pp. 456-463, ISBN:9781538671085 DOI Accesso ONLINE all'editore

Biagi, Marco; Carnevali, Laura; Tarani, Fabio; Vicario, Enrico (2018). Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, vol. 3, pp. 1-26, ISSN:2378-962X DOI

Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario (2018). Hospital Inventory Management Through Markov Decision Processes @runtime. In: International Conference on Quantitative Evaluation of SysTems (QEST), Springer, vol. 11024, pp. 87-103, ISBN:978-3-319-99153-5 DOI

Carnevali L.; Santinelli L.; Lipari G. (2018). Towards Probabilistic Modeling and Analysis of Real-Time Systems. In: 15th European Performance Engineering Workshop, EPEW 2018, fra, 2018, Springer Verlag, vol. 11178, pp. 157-172, ISBN:978-3-030-02226-6 DOI Accesso ONLINE all'editore

Carnevali Laura, Fantechi Alessandro, Gori Gloria, Vicario Enrico. (2018). Analysis of a Road/Tramway Intersection by the ORIS Tool. In: Verification and Evaluation of Computer and Communication Systems. VECoS 2018, Springer, vol. 11181, pp. 185-199, ISBN:978-3-030-00358-6 DOI

Tadano, Kumiko; Maeno, Yoshiharu; Carnevali, Laura (2017). Road repair sequencing for disaster victim evacuation. In: 11th Conference of the European Social Simulation Association, ESSA 2015, 2015, Springer Verlag, vol. 528, pp. 401-412, ISBN:978-3-319-47252-2 DOI Accesso ONLINE all'editore

Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Vicario, Enrico (2017). Performability evaluation of the ERTMS/ETCS - Level 3. TRANSPORTATION RESEARCH. PART C, EMERGING TECHNOLOGIES, vol. 82, pp. 314-336, ISSN:0968-090X DOI Accesso ONLINE all'editore

Biagi, Marco; Carnevali, Laura*; Paolieri, Marco; Papini, Tommaso; Vicario, Enrico (2017). Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes. In: 14th International Conference on Quantitative Evaluation of Systems, QEST 2017, deu, 2017, Springer Verlag, vol. 10503, pp. 20-35, ISBN:9783319663340 DOI Accesso ONLINE all'editore

Biagi, Marco; Carnevali, Laura*; Papini, Tommaso; Tadano, Kumiko; Vicario, Enrico (2017). An inspection-based compositional approach to the quantitative evaluation of assembly lines. In: 14th European Workshop on Computer Performance Engineering, EPEW 2017, deu, 2017, Springer Verlag, vol. 10497, pp. 152-166, ISBN:9783319665825 DOI Accesso ONLINE all'editore

Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco (2017). An introduction to the ORIS tool. In: 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, ita, 2017, Association for Computing Machinery, pp. 9-11, ISBN:9781450363464 DOI Accesso ONLINE all'editore

Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; Vicario, E. (2016). A stochastic model-based approach to online event prediction and response scheduling. In: 13th European Workshop on Performance Engineering, EPEW 2016, Chios, Greece, October 5-7 2016, Fiems, Dieter and Paolieri, Marco and Platis, Agapios N., vol. LNCS 9951, pp. 32-47, ISBN:978-3-319-46433-6 DOI

Carnevali, Laura; Flammini, Francesco; Paolieri, Marco; Vicario, Enrico (2015). Non-Markovian performability evaluation of ERTMS/ETCS level 3. In: 12th European Performance Engineering Workshop, EPEW 2015, esp, 2015, Springer Verlag, vol. 9272, pp. 47-62, ISBN:9783319232669 DOI Accesso ONLINE all'editore

Carnevali, Laura; Nugent, Christopher; Patara, Fulvio; Vicario, Enrico (2015). A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. In: 12th International Conference on Quantitative Evaluation of SysTems (QEST 2015), Javier Campos, Boudewijn R. Haverkort, pp. 38-53, ISBN:978-3-319-22263-9 DOI

A. Avritzer; L. Carnevali; H. Ghasemieh; L. Happe; B. R. Haverkort; A. Koziolek; D. Menasché; A. Remke; S. Sedigh Sarvestani; E. Vicario (2015). Survivability Evaluation of Gas, Water and Electricity Infrastructures. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, pp. 5-25, ISSN:1571-0661 DOI

Laura Carnevali; Alessandra Melani; Luca Santinelli; Giuseppe Lipari (2014). Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis. In: International Conference on Real-Time Networks and Systems, Versailles, ottobre 2014, ACM, pp. 299-308, ISBN:9781450327275 DOI Accesso ONLINE all'editore

Alberto Avritzer; Laura Carnevali; Lucia Happe; Anne Koziolek; Daniel Sadoc Menasche; Marco Paolieri; Sindhu Suresh (2014). A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. In: 11th International Conference on Quantitative Evaluation of Systems (QEST'14), Firenze, settembre 2014, Springer, vol. 8657, pp. 345-367, ISBN:9783319106953 DOI

Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario; Kumiko Tadano (2014). Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. In: International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI), Firenze, settembre 2014, Springer, vol. 8696, pp. 304-315, ISBN:9783319105567 DOI

L. Carnevali; M. Paolieri; A. Santoni; E. Vicario (2013). Non-Markovian Analysis for Model Driven Engineering of Real-Time Software. In: ACM/SPEC International Conference on Performance Engineering (ICPE), Praga, aprile 2013, ACM, pp. 113-124, ISBN:9781450316361 DOI

L. Carnevali; M. Paolieri; K. Tadano; E. Vicario (2013). Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. In: European Workshop on Performance Engineering (EPEW), Venezia, settembre 2013, Springer, vol. 8168, pp. 176-190, ISBN:9783642407253 DOI

Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario (2013). Quantitative Evaluation of Availability Measures of Gas Distribution Networks. In: VALUETOOLS'13, Torino, dicembre 2013, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 145-154, ISBN:9781936968480 DOI

Laura Carnevali;Lorenzo Ridi;Enrico Vicario (2013). A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 39, pp. 292-304, ISSN:0098-5589 DOI Accesso ONLINE all'editore

S. Ballerini; L. Carnevali; M. Paolieri; K. Tadano; F. Machida (2013). Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration. In: International Workshop on Software Aging and Rejuvenation (WoSAR), Pasadena, novembre 2013, IEEE, pp. 1-6. DOI

Laura Carnevali;Alessandro Pinzuti;Enrico Vicario (2013). Compositional Verification for Hierarchical Scheduling of Real-Time systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 39, pp. 638-657, ISSN:0098-5589 DOI

I. Bicchierai;G. Bucci;L. Carnevali;E. Vicario (2013). Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 9, pp. 1806-1818, ISSN:1551-3203 DOI Accesso ONLINE all'editore

L. Carnevali; L. Ridi; E. Vicario (2011). A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. In: International Conference on Computer Safety, Reliability and Security (SAFECOMP), Napoli, settembre 2011, Springer Berlin Heidelberg, vol. 6894, pp. 409-422, ISBN:9783642242694 DOI

L. Carnevali; J. Giuntini; E. Vicario (2011). A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. In: International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Parigi, maggio 2011, Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (ICST), pp. 111-120, ISBN:9781936968091

L. Carnevali; L. Ridi; E. Vicario (2011). Putting preemptive Time Petri Nets to work in a V-Model SW life cycle. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 37, pp. 826-844, ISSN:0098-5589 DOI

L. Carnevali; G. Lipari; A. Pinzuti; E. Vicario (2011). A formal approach to design and verification of two-level Hierarchical Scheduling systems. In: AdaEurope, Edimburgo, Giugno 2011, Springer-Verlag, vol. 6652, pp. 118-131, ISBN:9783642213373 DOI

L. Carnevali; L. Ridi; E. Vicario (2011). Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models. In: International Conference on the Quantitative Evaluation of SysTems (QEST), Aquisgrana, settembre 2011, IEEE, pp. 153-154, ISBN:9781457709739 DOI

L. Carnevali (2010). Formal methods in the development life cycle of real-time software. (Tutor: Enrico Vicario)

G. Bucci; L. Carnevali; L. Ridi; E. Vicario (2010). Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 12, pp. 391-403, ISSN:1433-2779 DOI

L. Carnevali; L. Ridi; E. Vicario (2009). Stochastic Fault Trees for cross-layer power management of WSN monitoring systems. In: ETFA 2009, PALMA DI MAIORCA - SPAGNA, SETTEMBRE 2009, IEEE, pp. 774-781.

L. Carnevali; D. D'Amico; L. Ridi; E. Vicario (2009). Automatic Code Generation from Real-Time Systems Specifications. In: RSP 2009, PARIGI - FRANCIA, GIUGNO 2009, IEEE, vol. IEEE/IFIP Int. Symposium on Rapid System Prototyping (RSP), pp. 102-105.

E. Vicario; L. Sassoli; L. Carnevali (2009). Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 35, pp. 703-719, ISSN:0098-5589 DOI

L.Carnevali; L.Grassi; E.Vicario (2009). State-density functions over DBM domains in the analysis of non-Markovian models. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 35, pp. 178-194, ISSN:0098-5589 DOI

G. Bucci; L. Carnevali; E. Vicario (2008). A tool supporting evaluation of non-MarkovianFault Trees. In: Quest 2008, St. Malo, settembre 2008, IEEE, pp. 67-76, ISBN:9780769533605

L.Carnevali; L.Grassi; E.Vicario (2008). A tailored V-Model exploiting the theory of preemptive Time Petri Nets. In: ADA EUROPE 2008, VENEZIA - ITALIA, GIUGNO 2008, Springer, pp. 87-100.

L. Carnevali; L. Sassoli; E. Vicario (2007). Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. In: Euromicro Conference on Real Time Systems (ECRTS), Pisa, Italia, July 2007, IEEE, pp. 291-300, ISBN:0769529143 DOI

L. Carnevali; L. Sassoli; E. Vicario (2007). Sensitization of symbolic runs in Real-Time Testing using the ORIS tool. In: Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007), Patras, Greece, September 2007, IEEE, pp. 85-92.

Laura CARNEVALI

Biography

Laura Carnevali was born in Prato in 1982. Se received the BSc degree in computer engineering, the MSc degree in computer engineering, and the Ph.D. in Informatics, Multimedia, and Telecommunications Engineering from the University of Florence in 2004, 2006, and 2010, respectively. She was postdoc (2010-2013), fixed-term researcher (RTD-A, 2013-2016), and tenure-track fixed-term researcher (RTD-B, 2016-2019) at the University of Florence. Since 2019 she is an Associate Professor at the Department of Information Engineering of the University of Florence. Since 2007, she is a member of the Software Technologies Lab of the same department. She was visiting researcher at École normale supérieure de Cachan (Paris, France) from March 2014 to June 2014.

Laura CARNEVALI

Curriculum

Education

- Bacelor degree in Computer Engineering, University of Florence, 2004 (grade: 110/110 cum laude).

- Master Degree in Computer Engineering, University of Florence, 2006 (grade: 110/110 cum laude, with commendation).

- PhD in Informatics, Multimedia and Telecommunications Engineering, University of Florence, 2010.

Academic positions

- Postdoc,University of Florence, 2010-2013

- Fixed-term researcher (RTD-A), University of Florence, 2013-2016

- Tenure-track fixed-term researcher (RTD-B), University of Florence, 2016-2019

- Associate Professor, University of Florence, 2019-ad oggi

Teaching

- Software Engineering for Embedded Systems, master degree in Computer Engineering, 6 credits, A.A. 2019/2020-ad oggi.

- Quantitative Evaluation of Stochastic Models, master degree in Computer Engineering, 2 of 6 credits, A.A. 2021/2022 and 2022/2023.

- Fondamenti di Informatica, bachelor degree in Electronic Engineering, 9 credits, A.A. 2013/2014-today.

- Fondamenti di Informatica, bachelor degree in Mechanic Engineering, 6 credits, A.A. 2011/2012 and 2012/2013.

Projects

- Participation to national projects, including: PRIN-PNRR ADVENTURE (Advanced Integrated Evaluation of Railway System), PRIN WISEDEMON

- Participation to regional projects, including: JARVIS (Just-in time ARtificial Intelligence for the eValuation of Industrial Signals), LINFA (Logistica INtelligente del FArmaco), INDIGO (Sviluppo di un dispositivo intelligente per la diagnosi e il monitoraggio di sistemi ferroviari), GENIALE (Ingegnerizzazione di un sistema elettro-meccanico per l’esecuzione e l’interpretazione automatica di analisi biologiche attraverso uno scanner e un processatore integrato), ERNESTO (Real-time scheduling di attività concorrenti con parametri temporali non-deterministici e stocastici).

- Collaborations with companies: NEC Corporation, Visia Imaging srl.

Scientific service activities

- Associate editor: Real-Time Systems Journal, IEEE Access.

- Program chair: European Performance Engineering Workshop (EPEW) 2025, Workshop on Software Aging and Rejuvenation (WoSAR) 2024.

- Program committee member of international conferences and workshops, including: IEEE Real-Time Systems Symposium (RTSS), IEEE International Symposium on Software Reliability Engineering (ISSRE), International Conference on Quantitative Evaluation of SysTems (QEST), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), European Workshop on Performance Engineering (EPEW).

Awards

- Best paper award, ACM/SPEC International Conference on Performance Engineering (ICPE), 2021.

- Best artifact award, International Conferece on the Quantitative Evaluation of SysTems (QEST), 2024.

Laura CARNEVALI

Interest

- Quantitative evaluation of stochastic models for performance and reliability evaluation

- Solution techniques for the quantitative evaluation of non-Markovian stochastic processes

- Quantitative modeling, simulation, and analysis of intelligent transportation systems and real-time systems

- Schedulability analysis of real-time systems with non-deterministic and stochastic temporal parameters

- Integration of formal methods in the process of software development of real-time systems