Laura Carnevali

83 papers A 2B 4C 7Misc 4Journal 26Unranked 37
YearRankTypeTitle / Venue / Authors
2026 — conf
Compositional Coordinated Resource Provisioning for Workflows with Stochastic Durations in Kubernetes.
ICPE Companion
Tommaso Botarelli, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2026 — ed.
Computer Performance Engineering - 21st European Workshop on Performance Engineering, EPEW 2025, Catania, Italy, June 26, 2025, Revised Selected Papers
EPEW
Laura Carnevali, Josu Doncel
2026 J jnl
Joint offloading and service selection via matching and auction theory for multi-task dependent computation-intensive applications.
Perform. Evaluation
Benedetta Picano, Marco Paolieri, Laura Carnevali, Enrico Vicario
2025 J jnl
Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations.
IEEE Trans. Parallel Distributed Syst.
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2025 J jnl
Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies.
IEEE Trans. Emerg. Top. Comput.
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2025 C conf
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles.
FMICS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota
2025 — conf
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections.
RSSRail
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2025 J jnl
FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems.
IEEE Trans. Dependable Secur. Comput.
Laura Carnevali, Stefania Cerboni, Leonardo Montecchi, Enrico Vicario
2025 — conf
Neuro-Symbolic Learning from Temporal Sequences in Safety-Critical Systems (short paper).
ANSyA@ECAI
Luca Salvatore Lorello, Laura Carnevali, Marco Lippi, Stefano Melacci
2025 — conf
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
RSSRail
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025 J jnl
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
IEEE Trans. Intell. Transp. Syst.
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025 — conf
Quantitative Modeling and Evaluation of Software Aging and Rejuvenation in Microservices.
ISSREW
Leonardo Scommegna, Alberto Avritzer, Laura Carnevali, Enrico Vicario
2025 — conf
The Pyramis Library: Efficient Numerical Evaluation of Hierarchical UML Statecharts Applied to Stochastic Workflows.
EPEW
Laura Carnevali, Reinhard German, Leonardo Montecchi, Leonardo Scommegna, Enrico Vicario
2025 — conf
Time-Sensitive Importance Splitting.
QEST+FORMATS
Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns
2025 J jnl
Time-Sensitive Importance Splitting.
CoRR
Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns
2024 A conf
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems.
ISSRE
Leonardo Paroli, Tommaso Botarelli, Laura Carnevali, Enrico Vicario
2024 J jnl
Advanced Integrated Evaluation of Railway Systems .
ERCIM News
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
2024 — conf
An Integrated Perspective on the Evaluation of Complex Railway Systems.
ISoLA (5)
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
2024 Misc conf
An observation metamodel for dependability tools.
EDCC
Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario
2024 C conf
Democratized Learning Enabling Multi-Level Digital Twin Model Integration.
ETFA
Benedetta Picano, Marco Becattini, Laura Carnevali, Enrico Vicario
2024 — conf
Dynamic MEC resource management for URLLC in Industry X.0 scenarios: a quantitative approach based on digital twin networks.
MetroInd4.0 & IoT
Marco Becattini, Laura Carnevali, Giovanni Fontani, Leonardo Paroli, Leonardo Scommegna, Maryam Masoumi, Ignacio de Miguel, Fabrizio Brasca
2024 J jnl
Efficient derivation of optimal signal schedules for multimodal intersections.
Simul. Model. Pract. Theory
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2024 — conf
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks.
MeditCom
Marco Becattini, Davide Borsatti, Armir Bujari, Laura Carnevali, Andrea Garbugli, Hrant Khachatrian, Theofanis P. Raptis, Daniele Tarchi
2024 J jnl
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks.
CoRR
Marco Becattini, Davide Borsatti, Armir Bujari, Laura Carnevali, Andrea Garbugli, Hrant Khachatrian, Theofanis P. Raptis, Daniele Tarchi
2024 — conf
Neuro-Symbolic Artificial Intelligence for Safety Engineering.
SAFECOMP (Workshops)
Laura Carnevali, Marco Lippi
2024 — conf
The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections.
EPEW
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2024 — conf
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.
QEST+FORMATS
Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
2024 J jnl
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.
CoRR
Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
2023 — conf
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows.
EPEW
Laura Carnevali, Marco Paolieri, Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2023 J jnl
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows.
ACM Trans. Model. Comput. Simul.
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
2022 — conf
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction.
ISSRE Workshops
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2022 J jnl
Compositional Analysis of Hierarchical UML Statecharts.
IEEE Trans. Software Eng.
Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario
2022 — conf
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.
QEST
Laura Carnevali, Riccardo Reali, Enrico Vicario
2022 J jnl
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems.
SIGMETRICS Perform. Evaluation Rev.
Laura Carnevali, Marco Paolieri, Enrico Vicario
2022 — conf
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics.
EPEW
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Federico Tammaro, Enrico Vicario
2021 B conf
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services.
ICPE
Laura Carnevali, Riccardo Reali, Enrico Vicario
2021 — conf
Compositional Safe Approximation of Response Time Distribution of Complex Workflows.
QEST
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
2021 J jnl
Quantitative Analysis of the Dynamic Relevance of Systems.
IEEE Trans. Reliab.
Luyao Ye, Dongdong Zhao, Jianwen Xiang, Laura Carnevali, Enrico Vicario
2021 J jnl
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems.
IEEE Trans. Software Eng.
Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario
2020 J jnl
Performability Evaluation of Water Distribution Systems During Maintenance Procedures.
IEEE Trans. Syst. Man Cybern. Syst.
Laura Carnevali, Fabio Tarani, Enrico Vicario
2020 J jnl
Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng.
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2019 J jnl
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.
IEEE Trans. Hum. Mach. Syst.
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
2019 — conf
A novel layered approach to evaluate reliability of complex systems.
RTSI
Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini
2019 — ch.
Flood Resilience of a Water Distribution System.
Resilience of Cyber-Physical Systems
Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario
2019 A conf
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios.
ISSRE
Laura Carnevali, Francesco Santoni, Enrico Vicario
2019 J jnl
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.
ACM Trans. Cyber Phys. Syst.
Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario
2018 C conf
Analysis of a Road/Tramway Intersection by the ORIS Tool.
VECoS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2018 C conf
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.
ETFA
Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario
2018 — conf
Hospital Inventory Management Through Markov Decision Processes @runtime.
QEST
Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
2018 — conf
Towards Probabilistic Modeling and Analysis of Real-Time Systems.
EPEW
Laura Carnevali, Luca Santinelli, Giuseppe Lipari
2017 — conf
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.
EPEW
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario
2017 — conf
An introduction to the ORIS tool.
VALUETOOLS
Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
2017 — conf
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes.
QEST
Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
2016 — conf
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.
EPEW
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
2015 — conf
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living.
QEST
Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario
2015 — conf
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.
EPEW
Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario
2015 — conf
Road Repair Sequencing for Disaster Victim Evacuation.
ESSA
Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali
2014 — conf
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids.
QEST
Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh
2014 — conf
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.
SAFECOMP Workshops
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
2014 Misc conf
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis.
RTNS
Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari
2014 — conf
Survivability Evaluation of Gas, Water and Electricity Infrastructures.
PASM
Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
2013 J jnl
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.
IEEE Trans. Software Eng.
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2013 J jnl
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.
IEEE Trans. Ind. Informatics
Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario
2013 J jnl
Compositional Verification for Hierarchical Scheduling of Real-Time Systems.
IEEE Trans. Software Eng.
Laura Carnevali, Alessandro Pinzuti, Enrico Vicario
2013 B conf
Non-markovian analysis for model driven engineering of real-time software.
ICPE
Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario
2013 — conf
Quantitative evaluation of availability measures of gas distribution networks.
VALUETOOLS
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario
2013 — conf
Software rejuvenation impacts on a phased-mission system for Mars exploration.
ISSRE (Supplemental Proceedings)
Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida
2013 — conf
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.
EPEW
Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario
2011 Misc conf
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.
Ada-Europe
Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
2011 B conf
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.
SAFECOMP
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 — conf
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.
VALUETOOLS
Laura Carnevali, Johnny Giuntini, Enrico Vicario
2011 J jnl
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.
IEEE Trans. Software Eng.
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 — conf
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
QEST
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2010 — —
Formal methods in the development life cycle of real-time software.
Laura Carnevali
2010 J jnl
Oris: a tool for modeling, verification and evaluation of real-time systems.
Int. J. Softw. Tools Technol. Transf.
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2009 C conf
Automatic Code Generation from Real-Time Systems Specifications.
IEEE International Workshop on Rapid System Prototyping
Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
2009 J jnl
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.
IEEE Trans. Software Eng.
Laura Carnevali, Leonardo Grassi, Enrico Vicario
2009 C conf
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.
ETFA
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2009 J jnl
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.
IEEE Trans. Software Eng.
Enrico Vicario, Luigi Sassoli, Laura Carnevali
2008 Misc conf
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.
Ada-Europe
Laura Carnevali, Leonardo Grassi, Enrico Vicario
2008 — conf
A Tool Supporting Evaluation of Non-markovian Fault Trees.
QEST
Giacomo Bucci, Laura Carnevali, Enrico Vicario
2007 B conf
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
ECRTS
Laura Carnevali, Luigi Sassoli, Enrico Vicario
2007 C conf
Sensitization of symbolic runs in real-time testing using the ORIS tool.
ETFA
Laura Carnevali, Luigi Sassoli, Enrico Vicario