Concepedia

Laura Carnevali

LC

12

Publications

440

Citations

10

H-Index

2008

Active since

Affiliations

University of Florence(Current)

University of Southern California

Laura Carnevali is an author at University of Florence specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringVerificationReal-time SystemsModeling And SimulationProcess Control

Publications per year

2008–2021

12

Publications

12

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

Enrico Vicario, L. Sassoli, Laura Carnevali · IEEE Transactions on Software Engineering · 2009 · 87 citations

Clock Valuations, Engineering, Reachability Problem +24

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

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi et al. · International Journal on Software Tools for Technology Transfer · 2010 · 60 citations · Full text

Real-time System, Engineering, Real-time Operation +12

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

Laura Carnevali, Leonardo Grassi, Enrico Vicario · IEEE Transactions on Software Engineering · 2008 · 44 citations

Engineering, Non Markovian Models, Stochastic Simulation +17

Performability evaluation of the ERTMS/ETCS – Level 3

Marco Biagi, Laura Carnevali, Marco Paolieri et al. · Transportation Research Part C Emerging Technologies · 2017 · 44 citations · Full text

Reliability, Level 3, Railway Traffic +12

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems

Marco Paolieri, Marco Biagi, Laura Carnevali et al. · IEEE Transactions on Software Engineering · 2019 · 44 citations · Full text

Petri Net, Engineering, Concurrent Models +20

Rows per page

1–5 of 12