Lorenzo Ridi

According to our database1, Lorenzo Ridi authored at least 11 papers between 2009 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.
IEEE Trans. Software Eng., 2013

2012
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.
IEEE Softw., 2012

Transient analysis of non-Markovian models using stochastic state classes.
Perform. Evaluation, 2012

2011
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.
IEEE Trans. Software Eng., 2011

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
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.
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.
Int. J. Softw. Tools Technol. Transf., 2010

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.
Proceedings of the QEST 2010, 2010

2009
Automatic Code Generation from Real-Time Systems Specifications.
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.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009


  Loading...