| 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 | 93 | 2009 |
| 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 | 89 | 2010 |
| 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 | 53 | 2008 |
| 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 | 48 | 2012 |
| 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 | 41 | 2017 |
| 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 | 40 | 2015 |
| 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 | 26 | 2019 |
| 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 | 22 | 2011 |
| 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 | 21 | 2015 |
| 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 | 21 | 2012 |
| 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 | 20 | 2011 |
| 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 | 20 | 2011 |
| 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 | 14 | 2013 |
| 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 | 13 | 2008 |
| 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 | 12 | 2014 |
| 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 | 11 | 2014 |
| 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 | 11 | 2011 |
| A continuous-time model-based approach to activity recognition for ambient assisted living L Carnevali, C Nugent, F Patara, E Vicario Quantitative Evaluation of Systems: 12th International Conference, QEST 2015 …, 2015 | 10 | 2015 |
| Software rejuvenation impacts on a phased-mission system for Mars exploration S Ballerini, L Carnevali, M Paolieri, K Tadano, F Machida 2013 IEEE International Symposium on Software Reliability Engineering …, 2013 | 10 | 2013 |
| 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 | 10 | 2012 |
Enrico Vicarioprofessor, University of Florence, ItalyVerified email at unifi.it
