| Transient analysis of non-Markovian models using stochastic state classes A Horváth, M Paolieri, L Ridi, E Vicario Performance Evaluation 69 (7-8), 315-335, 2012 | 83 | 2012 |
| 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 | 70 | 2010 |
| 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 | 20 | 2011 |
| 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 | 18 | 2011 |
| Developing a scheduler with difference-bound matrices and the floyd-warshall algorithm L Ridi, J Torrini, E Vicario IEEE software 29 (1), 76-83, 2011 | 10 | 2011 |
| 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 | 10 | 2011 |
| Transient analysis of generalised semi-Markov processes using transient stochastic state classes A Horváth, L Ridi, E Vicario 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 8 | 2010 |
| 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 | 7 | 2012 |
| Probabilistic model checking of non-Markovian models with concurrent generally distributed timers M Paolieri, L Ridi, E Vicario 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 6 | 2011 |
| Stochastic Fault Trees for cross-layer power management of WSN monitoring systems L Carnevali, L Ridi, E Vicario 2009 IEEE Conference on Emerging Technologies & Factory Automation, 1-8, 2009 | 6 | 2009 |
| Partial stochastic characterization of timed runs over DBM domains L Carnevali, L Ridi, E Vicario Proc. of the 9th International Workshop on Performability Modeling of …, 2009 | 6 | 2009 |
| Automatic code generation from real-time systems specifications L Carnevali, D D'Amico, L Ridi, E Vicario 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 102-105, 2009 | 4 | 2009 |
| Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions A Horváth, L Ridi, E Vicario Proceedings of the International Conference on the Numerical Solution of …, 2010 | 1 | 2010 |
| Progettazione e sviluppo di un motore di analisi di sistemi real-time con parametri temporali non-markoviani J Giuntini, E Vicario, G Bucci, L Ridi, L Carnevali Tesi di Laurea, Universitŕ degli Studi di Firenze, 2009 | 1 | 2009 |
| Job scheduler for electromechanical system for biological analyses E Vicario, L Ridi, A Carignano, J Torrini US Patent 9,804,591, 2017 | | 2017 |
| Metodo di marchiatura digitale basato su trasformata wavelet resistente ad attacchi geometrici L Ridi, R Caldelli, A Piva | | |
| Oris: a Tool for Modeling and Verification of Real-Time Systems G Bucci, L Carnevali, L Ridi, E Vicario | | |
| Tecniche di valutazione quantitativa a supporto del testing di componenti software in tempo reale L Ridi, E Vicario, G Bucci | | |
Laura CarnevaliAssistant Professor, University of FlorenceVerified email at unifi.it
