Lorenzo Ridi
According to our database1,
Lorenzo Ridi
authored at least 12 papers
between 2009 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
0
1
2
3
4
5
1
2
1
1
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.
IEEE Trans. Software Eng., 2013
2012
A quantitative approach for imput generation in real-time testing of stochastic systems.
PhD thesis, 2012
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.
IEEE Softw., 2012
Perform. Evaluation, 2012
2011
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
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
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009