Laura Carnevali

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 32

Top Topics

Quantitative Evaluation

Markov Modulated

Stochastic Model

Top Venues

IEEE Trans. Software Eng.

Publications

Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario
An observation metamodel for dependability tools. EDCC (2024)
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
Efficient derivation of optimal signal schedules for multimodal intersections. Simul. Model. Pract. Theory 133 (2024)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024 (137) (2024)
Marco Becattini, Davide Borsatti, Armir Bujari, Laura Carnevali, Andrea Garbugli, Hrant Khachatrian, Theofanis P. Raptis, Daniele Tarchi
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks. MeditCom (2024)
Marco Becattini, Laura Carnevali, Giovanni Fontani, Leonardo Paroli, Leonardo Scommegna, Maryam Masoumi, Ignacio de Miguel, Fabrizio Brasca
Dynamic MEC resource management for URLLC in Industry X.0 scenarios: a quantitative approach based on digital twin networks. MetroInd4.0 & IoT (2024)
Marco Becattini, Davide Borsatti, Armir Bujari, Laura Carnevali, Andrea Garbugli, Hrant Khachatrian, Theofanis P. Raptis, Daniele Tarchi
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks. CoRR (2024)
Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. CoRR (2024)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Laura Carnevali, Marco Paolieri, Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. EPEW (2023)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Federico Tammaro, Enrico Vicario
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. EPEW (2022)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. ISSRE Workshops (2022)
Laura Carnevali, Riccardo Reali, Enrico Vicario
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. QEST (2022)
Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario
Compositional Analysis of Hierarchical UML Statecharts. IEEE Trans. Software Eng. 48 (12) (2022)
Laura Carnevali, Marco Paolieri, Enrico Vicario
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Luyao Ye, Dongdong Zhao, Jianwen Xiang, Laura Carnevali, Enrico Vicario
Quantitative Analysis of the Dynamic Relevance of Systems. IEEE Trans. Reliab. 70 (1) (2021)
Laura Carnevali, Riccardo Reali, Enrico Vicario
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. ICPE (2021)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. QEST (2021)
Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Software Eng. 47 (6) (2021)
Laura Carnevali, Fabio Tarani, Enrico Vicario
Performability Evaluation of Water Distribution Systems During Maintenance Procedures. IEEE Trans. Syst. Man Cybern. Syst. 50 (5) (2020)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16 (2) (2020)
Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks. ACM Trans. Cyber Phys. Syst. 3 (2) (2019)
Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini
A novel layered approach to evaluate reliability of complex systems. RTSI (2019)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. IEEE Trans. Hum. Mach. Syst. 49 (4) (2019)
Laura Carnevali, Francesco Santoni, Enrico Vicario
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. ISSRE (2019)
Laura Carnevali, Luca Santinelli, Giuseppe Lipari
Towards Probabilistic Modeling and Analysis of Real-Time Systems. EPEW (2018)
Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. ETFA (2018)
Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
Hospital Inventory Management Through Markov Decision Processes @runtime. QEST (2018)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS (2018)
Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. QEST (2017)
Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
An introduction to the ORIS tool. VALUETOOLS (2017)
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW (2017)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. EPEW (2016)
Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali
Road Repair Sequencing for Disaster Victim Evacuation. ESSA (2015)
Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. EPEW (2015)
Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. QEST (2015)
Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
Survivability Evaluation of Gas, Water and Electricity Infrastructures. Electron. Notes Theor. Comput. Sci. 310 (2015)
Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. QEST (2014)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. SAFECOMP Workshops (2014)
Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis. RTNS (2014)
Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. IEEE Trans. Ind. Informatics 9 (4) (2013)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario
Quantitative evaluation of availability measures of gas distribution networks. VALUETOOLS (2013)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. IEEE Trans. Software Eng. 39 (3) (2013)
Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario
Non-markovian analysis for model driven engineering of real-time software. ICPE (2013)
Laura Carnevali, Alessandro Pinzuti, Enrico Vicario
Compositional Verification for Hierarchical Scheduling of Real-Time Systems. IEEE Trans. Software Eng. 39 (5) (2013)
Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida
Software rejuvenation impacts on a phased-mission system for Mars exploration. ISSRE (Supplemental Proceedings) (2013)
Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW (2013)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP (2011)
Laura Carnevali, Johnny Giuntini, Enrico Vicario
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. VALUETOOLS (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. IEEE Trans. Software Eng. 37 (6) (2011)
Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. Ada-Europe (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. QEST (2011)
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
Automatic Code Generation from Real-Time Systems Specifications. IEEE International Workshop on Rapid System Prototyping (2009)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. ETFA (2009)
Enrico Vicario, Luigi Sassoli, Laura Carnevali
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35 (5) (2009)
Laura Carnevali, Leonardo Grassi, Enrico Vicario
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. Software Eng. 35 (2) (2009)
Laura Carnevali, Leonardo Grassi, Enrico Vicario
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe (2008)
Giacomo Bucci, Laura Carnevali, Enrico Vicario
A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST (2008)
Laura Carnevali, Luigi Sassoli, Enrico Vicario
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS (2007)
Laura Carnevali, Luigi Sassoli, Enrico Vicario
Sensitization of symbolic runs in real-time testing using the ORIS tool. ETFA (2007)