Segui
Laura Carnevali
Laura Carnevali
Associate Professor, Department of Information Engineering, University of Florence
Email verificata su unifi.it - Home page
Titolo
Citata da
Citata da
Anno
Using stochastic state classes in quantitative evaluation of dense-time reactive systems
E Vicario, L Sassoli, L Carnevali
IEEE Transactions on Software Engineering 35 (5), 703-719, 2009
1002009
Oris: a tool for modeling, verification and evaluation of real-time systems
G Bucci, L Carnevali, L Ridi, E Vicario
International journal on software tools for technology transfer 12, 391-403, 2010
892010
State-density functions over DBM domains in the analysis of non-Markovian models
L Carnevali, L Grassi, E Vicario
IEEE Transactions on Software Engineering 35 (2), 178-194, 2008
552008
Compositional verification for hierarchical scheduling of real-time systems
L Carnevali, A Pinzuti, E Vicario
IEEE Transactions on Software Engineering 39 (5), 638-657, 2012
472012
Performability evaluation of the ERTMS/ETCS–Level 3
M Biagi, L Carnevali, M Paolieri, E Vicario
Transportation Research Part C: Emerging Technologies 82, 314-336, 2017
442017
Survivability evaluation of gas, water and electricity infrastructures
A Avritzer, L Carnevali, H Ghasemieh, L Happe, BR Haverkort, A Koziolek, ...
Electronic Notes in Theoretical Computer Science 310, 5-25, 2015
432015
The ORIS tool: quantitative evaluation of non-Markovian systems
M Paolieri, M Biagi, L Carnevali, E Vicario
IEEE Transactions on Software Engineering 47 (6), 1211-1225, 2019
382019
Non-markovian performability evaluation of ERTMS/ETCS level 3
L Carnevali, F Flammini, M Paolieri, E Vicario
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid …, 2015
222015
Combining UML-MARTE and preemptive time Petri nets: An industrial case study
I Bicchierai, G Bucci, L Carnevali, E Vicario
IEEE Transactions on Industrial Informatics 9 (4), 1806-1818, 2012
222012
A framework for simulation and symbolic state space analysis of non-Markovian models
L Carnevali, L Ridi, E Vicario
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
222011
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle
L Carnevali, L Ridi, E Vicario
IEEE Transactions on Software Engineering 37 (6), 826-844, 2011
212011
A formal approach to design and verification of two-level hierarchical scheduling systems
L Carnevali, G Lipari, A Pinzuti, E Vicario
Reliable Software Technologies-Ada-Europe 2011: 16th Ada-Europe …, 2011
212011
An efficient library for reliability block diagram evaluation
L Carnevali, L Ciani, A Fantechi, G Gori, M Papini
Applied Sciences 11 (9), 4026, 2021
182021
A tailored V-Model exploiting the theory of preemptive Time Petri Nets
L Carnevali, L Grassi, E Vicario
Reliable Software Technologies–Ada-Europe 2008: 13th Ada-Europe …, 2008
132008
Probabilistic deadline miss analysis of real-time systems using regenerative transient analysis
L Carnevali, A Melani, L Santinelli, G Lipari
Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014
122014
Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis
L Carnevali, M Paolieri, K Tadano, E Vicario
Computer Performance Engineering: 10th European Workshop, EPEW 2013, Venice …, 2013
122013
Flood resilience of a water distribution system
F Tarani, C Arrighi, L Carnevali, F Castelli, E Vicario
Resilience of cyber-physical systems: From risk modelling to threat …, 2019
112019
A scalable approach to the assessment of storm impact in distributed automation power grids
A Avritzer, L Carnevali, L Happe, A Koziolek, DS Menasche, M Paolieri, ...
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
112014
A quantitative approach to input generation in real-time testing of stochastic systems
L Carnevali, L Ridi, E Vicario
IEEE Transactions on Software Engineering 39 (3), 292-304, 2012
112012
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models
L Carnevali, L Ridi, E Vicario
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
112011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20