Lorenzo Ridi
TitleCited byYear
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
732012
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
622010
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
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
172011
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
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
92011
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
72010
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
62009
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
62009
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
52012
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
52011
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
42009
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
12010
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
12009
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
The system can't perform the operation now. Try again later.
Articles 1–18