Laura Carnevali

According to our database, Laura Carnevali authored at least 55 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows.

Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario

ACM Trans. Model. Comput. Simul., October, 2023

A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows.

Laura Carnevali, Marco Paolieri, Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario

Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022

Compositional Analysis of Hierarchical UML Statecharts.

Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario

IEEE Trans. Software Eng., 2022

The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems.

Laura Carnevali, Marco Paolieri, Enrico Vicario

SIGMETRICS Perform. Evaluation Rev., 2022

Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.

Laura Carnevali, Riccardo Reali, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction.

Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics.

Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Federico Tammaro, Enrico Vicario

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

2021

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems.

Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario

IEEE Trans. Software Eng., 2021

Quantitative Analysis of the Dynamic Relevance of Systems.

Luyao Ye, Dongdong Zhao, Jianwen Xiang, Laura Carnevali, Enrico Vicario

IEEE Trans. Reliab., 2021

Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services.

Laura Carnevali, Riccardo Reali, Enrico Vicario

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Compositional Safe Approximation of Response Time Distribution of Complex Workflows.

Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020

Performability Evaluation of Water Distribution Systems During Maintenance Procedures.

Laura Carnevali, Fabio Tarani, Enrico Vicario

IEEE Trans. Syst. Man Cybern. Syst., 2020

Stochastic modeling and analysis of road-tramway intersections.

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario

Innov. Syst. Softw. Eng., 2020

2019

A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.

Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario

IEEE Trans. Hum. Mach. Syst., 2019

Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.

Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario

ACM Trans. Cyber Phys. Syst., 2019

A novel layered approach to evaluate reliability of complex systems.

Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini

Proceedings of the 5th IEEE International forum on Research and Technology for Society and Industry, 2019

Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios.

Laura Carnevali, Francesco Santoni, Enrico Vicario

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Flood Resilience of a Water Distribution System.

Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018

Analysis of a Road/Tramway Intersection by the ORIS Tool.

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Hospital Inventory Management Through Markov Decision Processes @runtime.

Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.

Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Towards Probabilistic Modeling and Analysis of Real-Time Systems.

Laura Carnevali, Luca Santinelli, Giuseppe Lipari

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

An introduction to the ORIS tool.

Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes.

Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.

Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.

Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario

Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015

A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living.

Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Road Repair Sequencing for Disaster Victim Evacuation.

Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali

Proceedings of the Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, 2015

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.

Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Survivability Evaluation of Gas, Water and Electricity Infrastructures.

Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.

Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano

Proceedings of the Computer Safety, Reliability, and Security, 2014

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis.

Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids.

Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

IEEE Trans. Software Eng., 2013

Compositional Verification for Hierarchical Scheduling of Real-Time Systems.

Laura Carnevali, Alessandro Pinzuti, Enrico Vicario

IEEE Trans. Software Eng., 2013

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.

Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario

IEEE Trans. Ind. Informatics, 2013

Non-markovian analysis for model driven engineering of real-time software.

Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Quantitative evaluation of availability measures of gas distribution networks.

Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Software rejuvenation impacts on a phased-mission system for Mars exploration.

Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.

Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2011

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

IEEE Trans. Software Eng., 2011

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.

Laura Carnevali, Johnny Giuntini, Enrico Vicario

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Proceedings of the Computer Safety, Reliability, and Security, 2011

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.

Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Formal methods in the development life cycle of real-time software.

Laura Carnevali

PhD thesis, 2010

Oris: a tool for modeling, verification and evaluation of real-time systems.

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Int. J. Softw. Tools Technol. Transf., 2010

2009

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.

Enrico Vicario, Luigi Sassoli, Laura Carnevali

IEEE Trans. Software Eng., 2009

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

Laura Carnevali, Leonardo Grassi, Enrico Vicario

IEEE Trans. Software Eng., 2009

Automatic Code Generation from Real-Time Systems Specifications.

Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

A Tool Supporting Evaluation of Non-markovian Fault Trees.

Giacomo Bucci, Laura Carnevali, Enrico Vicario

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.

Laura Carnevali, Leonardo Grassi, Enrico Vicario

Proceedings of the Reliable Software Technologies, 2008

2007

Sensitization of symbolic runs in real-time testing using the ORIS tool.

Laura Carnevali, Luigi Sassoli, Enrico Vicario

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.

Laura Carnevali, Luigi Sassoli, Enrico Vicario

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007