![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Laura Carnevali
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2010
- [b1]Laura Carnevali:
Formal methods in the development life cycle of real-time software. University of Florence, Italy, 2010
Journal Articles
- 2024
- [j17]Nicola Bertocci, Laura Carnevali
, Leonardo Scommegna
, Enrico Vicario
:
Efficient derivation of optimal signal schedules for multimodal intersections. Simul. Model. Pract. Theory 133: 102912 (2024) - 2023
- [j16]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): 16:1-16:26 (2023) - 2022
- [j15]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): 81-86 (2022) - [j14]Laura Carnevali
, Reinhard German, Francesco Santoni, Enrico Vicario
:
Compositional Analysis of Hierarchical UML Statecharts. IEEE Trans. Software Eng. 48(12): 4762-4788 (2022) - 2021
- [j13]Luyao Ye
, Dongdong Zhao
, Jianwen Xiang, Laura Carnevali
, Enrico Vicario
:
Quantitative Analysis of the Dynamic Relevance of Systems. IEEE Trans. Reliab. 70(1): 82-98 (2021) - [j12]Marco Paolieri
, Marco Biagi
, Laura Carnevali
, Enrico Vicario
:
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Software Eng. 47(6): 1211-1225 (2021) - 2020
- [j11]Laura Carnevali, Alessandro Fantechi
, Gloria Gori
, Enrico Vicario:
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16(2): 215-230 (2020) - [j10]Laura Carnevali
, Fabio Tarani
, Enrico Vicario
:
Performability Evaluation of Water Distribution Systems During Maintenance Procedures. IEEE Trans. Syst. Man Cybern. Syst. 50(5): 1704-1720 (2020) - 2019
- [j9]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): 19:1-19:26 (2019) - [j8]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): 293-303 (2019) - 2013
- [j7]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): 1806-1818 (2013) - [j6]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): 292-304 (2013) - [j5]Laura Carnevali, Alessandro Pinzuti, Enrico Vicario
:
Compositional Verification for Hierarchical Scheduling of Real-Time Systems. IEEE Trans. Software Eng. 39(5): 638-657 (2013) - 2011
- [j4]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): 826-844 (2011) - 2010
- [j3]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): 391-403 (2010) - 2009
- [j2]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): 178-194 (2009) - [j1]Enrico Vicario
, Luigi Sassoli, Laura Carnevali:
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35(5): 703-719 (2009)
Conference and Workshop Papers
- 2024
- [c40]Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario:
An observation metamodel for dependability tools. EDCC 2024: 169-172 - [c39]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: 323-328 - [c38]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: 372-376 - 2023
- [c37]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: 309-324 - 2022
- [c36]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: 200-215 - [c35]Laura Carnevali, Marco Paolieri
, Riccardo Reali, Leonardo Scommegna, Enrico Vicario:
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. ISSRE Workshops 2022: 138-145 - [c34]Laura Carnevali, Riccardo Reali, Enrico Vicario:
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. QEST 2022: 255-272 - 2021
- [c33]Laura Carnevali, Marco Paolieri
, Riccardo Reali, Enrico Vicario:
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. QEST 2021: 83-104 - [c32]Laura Carnevali, Riccardo Reali, Enrico Vicario:
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. ICPE 2021: 177-188 - 2019
- [c31]Laura Carnevali, Francesco Santoni, Enrico Vicario:
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. ISSRE 2019: 195-205 - [c30]Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini:
A novel layered approach to evaluate reliability of complex systems. RTSI 2019: 291-295 - 2018
- [c29]Laura Carnevali, Luca Santinelli, Giuseppe Lipari:
Towards Probabilistic Modeling and Analysis of Real-Time Systems. EPEW 2018: 157-172 - [c28]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: 456-463 - [c27]Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario:
Hospital Inventory Management Through Markov Decision Processes @runtime. QEST 2018: 87-103 - [c26]Laura Carnevali, Alessandro Fantechi, Gloria Gori
, Enrico Vicario:
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS 2018: 185-199 - 2017
- [c25]Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario:
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW 2017: 152-166 - [c24]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: 20-35 - [c23]Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
:
An introduction to the ORIS tool. VALUETOOLS 2017: 9-11 - 2016
- [c22]Marco Biagi, Laura Carnevali, Marco Paolieri
, Fulvio Patara, Enrico Vicario:
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. EPEW 2016: 32-47 - 2015
- [c21]Laura Carnevali, Francesco Flammini
, Marco Paolieri
, Enrico Vicario:
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. EPEW 2015: 47-62 - [c20]Kumiko Tadano, Yoshiharu Maeno, Laura Carnevali:
Road Repair Sequencing for Disaster Victim Evacuation. ESSA 2015: 401-412 - [c19]Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario:
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. QEST 2015: 38-53 - 2014
- [c18]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: 345-367 - [c17]Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari
:
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis. RTNS 2014: 299 - [c16]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: 304-315 - [c15]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. PASM 2014: 5-25 - 2013
- [c14]Laura Carnevali, Marco Paolieri
, Kumiko Tadano, Enrico Vicario:
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW 2013: 176-190 - [c13]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: 275-280 - [c12]Laura Carnevali, Marco Paolieri
, Fabio Tarani
, Enrico Vicario
:
Quantitative evaluation of availability measures of gas distribution networks. VALUETOOLS 2013: 145-154 - [c11]Laura Carnevali, Marco Paolieri
, Alessandro Santoni, Enrico Vicario
:
Non-markovian analysis for model driven engineering of real-time software. ICPE 2013: 113-124 - 2011
- [c10]Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
:
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. Ada-Europe 2011: 118-131 - [c9]Laura Carnevali, Lorenzo Ridi, Enrico Vicario
:
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. QEST 2011: 153-154 - [c8]Laura Carnevali, Lorenzo Ridi, Enrico Vicario
:
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP 2011: 409-422 - [c7]Laura Carnevali, Johnny Giuntini, Enrico Vicario
:
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. VALUETOOLS 2011: 111-120 - 2009
- [c6]Laura Carnevali, Lorenzo Ridi, Enrico Vicario
:
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. ETFA 2009: 1-8 - [c5]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: 102-105 - 2008
- [c4]Laura Carnevali, Leonardo Grassi, Enrico Vicario
:
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe 2008: 87-100 - [c3]Giacomo Bucci, Laura Carnevali, Enrico Vicario
:
A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 - 2007
- [c2]Laura Carnevali, Luigi Sassoli, Enrico Vicario
:
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300 - [c1]Laura Carnevali, Luigi Sassoli, Enrico Vicario
:
Sensitization of symbolic runs in real-time testing using the ORIS tool. ETFA 2007: 85-92
Parts in Books or Collections
- 2019
- [p1]Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario:
Flood Resilience of a Water Distribution System. Resilience of Cyber-Physical Systems 2019: 177-194
Informal and Other Publications
- 2024
- [i3]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 abs/2405.07605 (2024) - [i2]Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario:
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. CoRR abs/2406.16447 (2024) - [i1]Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi:
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024(137) (2024)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint