Laura Carnevali
Laura Carnevali
Assistant Professor, University of Florence
Dirección de correo verificada de unifi.it - Página principal
Título
Citado por
Citado por
Año
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 (5), 391-403, 2010
832010
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
812009
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
482008
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
442012
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
352015
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
232017
A framework for simulation and symbolic state space analysis of non-Markovian models
L Carnevali, L Ridi, E Vicario
International Conference on Computer Safety, Reliability, and Security, 409-422, 2011
212011
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
182012
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
182011
A formal approach to design and verification of two-level hierarchical scheduling systems
L Carnevali, G Lipari, A Pinzuti, E Vicario
International Conference on Reliable Software Technologies, 118-131, 2011
172011
Non-markovian performability evaluation of ERTMS/ETCS level 3
L Carnevali, F Flammini, M Paolieri, E Vicario
European Workshop on Performance Engineering, 47-62, 2015
152015
Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis
L Carnevali, M Paolieri, K Tadano, E Vicario
European Workshop on Performance Engineering, 176-190, 2013
142013
A tailored V-Model exploiting the theory of preemptive Time Petri Nets
L Carnevali, L Grassi, E Vicario
International Conference on Reliable Software Technologies, 87-100, 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
112014
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, ...
International Conference on Quantitative Evaluation of Systems, 345-367, 2014
112014
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
102011
A continuous-time model-based approach to activity recognition for ambient assisted living
L Carnevali, C Nugent, F Patara, E Vicario
International conference on quantitative evaluation of systems, 38-53, 2015
92015
A tool supporting evaluation of non-markovian fault trees
G Bucci, L Carnevali, E Vicario
Quantitative Evaluation of Systems, 2008. QEST'08. Fifth International …, 2008
92008
Sensitization of symbolic runs in real-time testing using the oris tool
L Carnevali, L Sassoli, E Vicario
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
92007
Casting preemptive time petri nets in the development life cycle of real-time software
L Carnevali, L Sassoli, E Vicario
19th Euromicro Conference on Real-Time Systems (ECRTS'07), 291-300, 2007
92007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20