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 ha conseguito il dottorato di ricerca in Ingegneria Informatica, Multimedialità e delle Telecomunicazioni presso l'Università di Firenze nel 2010. È professoressa associata all'Università di Firenze dal 2019 e membro del Laboratorio di Tecnologie del Software del Dipartimento di Ingegneria dell'Informazione dal 2007. È stata visiting researcher presso l'École normale supérieure de Cachan (Parigi, Francia) da marzo 2014 a giugno 2014. La sua ricerca si concentra sullo sviluppo di tecniche di soluzione per la valutazione delle prestazioni di modelli concorrenti non-Markoviani e su metodi formali per lo sviluppo model-driven di software in tempo reale.

Laura CARNEVALI

Curriculum

Laura Carnevali ha conseguito il dottorato di ricerca in Ingegneria Informatica, Multimedialità e delle Telecomunicazioni presso l'Università di Firenze nel 2010. È professoressa associata all'Università di Firenze dal 2019 e membro del Laboratorio di Tecnologie del Software del Dipartimento di Ingegneria dell'Informazione dal 2007. È stata visiting researcher presso l'École normale supérieure de Cachan (Parigi, Francia) da marzo 2014 a giugno 2014. La sua ricerca si concentra sullo sviluppo di tecniche di soluzione per la valutazione delle prestazioni di modelli concorrenti non-Markoviani e su metodi formali per lo sviluppo model-driven di software 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

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

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

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

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

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

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

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:9783031753893 DOI

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

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, 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.; 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.; 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.; 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

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

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

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

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

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

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

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

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

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; 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

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

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

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; 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, 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

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*; 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, 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

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

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

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

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

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

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

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

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

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 (2010). Formal methods in the development life cycle of real-time software. (Tutor: Enrico Vicario)

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

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.

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.

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. 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 received the Ph.D. in Informatics, Multimedia, and Telecommunications Engineering from the University of Florence in 2010. She is an Associate Professor at the University of Florence since 2019 and a member of the Software Technologies Lab of the Department of Information Engineering since 2007. She was visiting researcher at École normale supérieure de Cachan (Paris, France) from March 2014 to June 2014. Her research is focused on solution techniques for performance evaluation of concurrent non-Markovian models and on formal methods for model driven development of real-time software.

Laura CARNEVALI

Curriculum

Laura Carnevali received the Ph.D. in Informatics, Multimedia, and Telecommunications Engineering from the University of Florence in 2010. She is an Associate Professor at the University of Florence since 2019 and a member of the Software Technologies Lab of the Department of Information Engineering since 2007. She was visiting researcher at École normale supérieure de Cachan (Paris, France) from March 2014 to June 2014. Her research is focused on solution techniques for performance evaluation of concurrent non-Markovian models and on formal methods for model driven development of real-time software.