Lorenzo Ridi

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Improved Algorithm

Top Venues

Perform. Evaluation

IEEE Trans. Software Eng.

Publications

Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. IEEE Trans. Software Eng. 39 (3) (2013)
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
Transient analysis of non-Markovian models using stochastic state classes. Perform. Evaluation 69 (7-8) (2012)
Lorenzo Ridi, Jacopo Torrini, Enrico Vicario
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. IEEE Softw. 29 (1) (2012)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP (2011)
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. IEEE Trans. Software Eng. 37 (6) (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. QEST (2011)
András Horváth, Lorenzo Ridi, Enrico Vicario
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. QEST (2010)
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
Automatic Code Generation from Real-Time Systems Specifications. IEEE International Workshop on Rapid System Prototyping (2009)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. ETFA (2009)