Lorenzo Ridi

According to our database, Lorenzo Ridi authored at least 12 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

IEEE Trans. Software Eng., 2013

2012

A quantitative approach for imput generation in real-time testing of stochastic systems.

Lorenzo Ridi

PhD thesis, 2012

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.

Lorenzo Ridi, Jacopo Torrini, Enrico Vicario

IEEE Softw., 2012

Transient analysis of non-Markovian models using stochastic state classes.

András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario

Perform. Evaluation, 2012

2011

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

IEEE Trans. Software Eng., 2011

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Proceedings of the Computer Safety, Reliability, and Security, 2011

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.

András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

Oris: a tool for modeling, verification and evaluation of real-time systems.

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Int. J. Softw. Tools Technol. Transf., 2010

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.

András Horváth, Lorenzo Ridi, Enrico Vicario

Proceedings of the QEST 2010, 2010

2009

Automatic Code Generation from Real-Time Systems Specifications.

Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.

Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009