Lorenzo Ridi

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