( en | de | ru )

 

Disambiguation of "Ridi, Lorenzo"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Code Generation from Real-Time Systems Specifications.

, , , and . IEEE International Workshop on Rapid System Prototyping, page 102-105. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ludwig Ridinger

Rudolf Ridinger

Heidrun Ridinger

Lorenzo Cubillos

Lorenzo Pettazzi

 

Other publications of authors with the same name

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm., , and . IEEE Software, 29 (1): 76-83 (2012)Automatic Code Generation from Real-Time Systems Specifications., , , and . IEEE International Workshop on Rapid System Prototyping, page 102-105. IEEE Computer Society, (2009)A quantitative approach for imput generation in real-time testing of stochastic systems.. University of Florence, Italy, (2012)Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes., , and . QEST, page 231-240. IEEE Computer Society, (2010)Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems., , and . ETFA, page 1-8. IEEE, (2009)Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle., , and . IEEE Trans. Software Eng., 37 (6): 826-844 (2011)Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers., , , and . QEST, page 131-140. IEEE Computer Society, (2011)Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models., , and . QEST, page 153-154. IEEE Computer Society, (2011)A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models., , and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 409-422. Springer, (2011)A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems., , and . IEEE Trans. Software Eng., 39 (3): 292-304 (2013)