Laura Carnevali

Laura Carnevali

Università degli Studi di Firenze - Firenze / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1795508
University of Florence
person_outline Laura Carnevali's MOST POPULAR ARTICLES
1-) Oris: a tool for modeling, verification and evaluation of real-time systems International journal on software tools for technology transfer 12, 391-403, 2010
2-) State-density functions over DBM domains in the analysis of non-Markovian models IEEE Transactions on Software Engineering 35 (2), 178-194, 2008
3-) Compositional verification for hierarchical scheduling of real-time systems IEEE Transactions on Software Engineering 39 (5), 638-657, 2012
4-) Performability evaluation of the ERTMS/ETCS–Level 3 Transportation Research Part C: Emerging Technologies 82, 314-336, 2017
5-) Survivability evaluation of gas, water and electricity infrastructuresA Avritzer, L Carnevali, H Ghasemieh, L Happe, BR Haverkort, A Koziolek, ...Electronic Notes in Theoretical Computer Science 310, 5-25, 2015482015