Laura Carnevali

According to our database1, Laura Carnevali authored at least 43 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Performability Evaluation of Water Distribution Systems During Maintenance Procedures.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng., 2020

2019
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.
IEEE Trans. Hum. Mach. Syst., 2019

Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.
ACM Trans. Cyber Phys. Syst., 2019

A novel layered approach to evaluate reliability of complex systems.
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.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Flood Resilience of a Water Distribution System.
Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018
Analysis of a Road/Tramway Intersection by the ORIS Tool.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Hospital Inventory Management Through Markov Decision Processes @runtime.
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.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Towards Probabilistic Modeling and Analysis of Real-Time Systems.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017
An introduction to the ORIS tool.
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.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015
Survivability Evaluation of Gas, Water and Electricity Infrastructures.
Electron. Notes Theor. Comput. Sci., 2015

A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Road Repair Sequencing for Disaster Victim Evacuation.
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.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis.
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.
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.
IEEE Trans. Software Eng., 2013

Compositional Verification for Hierarchical Scheduling of Real-Time Systems.
IEEE Trans. Software Eng., 2013

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.
IEEE Trans. Ind. Informatics, 2013

Non-markovian analysis for model driven engineering of real-time software.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Quantitative evaluation of availability measures of gas distribution networks.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Software rejuvenation impacts on a phased-mission system for Mars exploration.
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.
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.
IEEE Trans. Software Eng., 2011

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
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.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Oris: a tool for modeling, verification and evaluation of real-time systems.
Int. J. Softw. Tools Technol. Transf., 2010

2009
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.
IEEE Trans. Software Eng., 2009

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.
IEEE Trans. Software Eng., 2009

Automatic Code Generation from Real-Time Systems Specifications.
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.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
A Tool Supporting Evaluation of Non-markovian Fault Trees.
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.
Proceedings of the Reliable Software Technologies, 2008

2007
Sensitization of symbolic runs in real-time testing using the ORIS tool.
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.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007


  Loading...