Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (ETFA, 2009)

Automatic Code Generation from Real-Time Systems Specifications. - Laura Carnevali; Dario D'Amico; Lorenzo Ridi; Enrico Vicario (IEEE International Workshop on Rapid System Prototyping, 2009)

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. - András Horváth; Lorenzo Ridi; Enrico Vicario (QEST, 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)

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (QEST, 2011)

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (QEST, 2011)

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (SAFECOMP, 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)

Transient analysis of non-Markovian models using stochastic state classes. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (Perform. Evaluation, 2012)

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. - Lorenzo Ridi; Jacopo Torrini; Enrico Vicario (IEEE Softw., 2012)

A quantitative approach for imput generation in real-time testing of stochastic systems. - Lorenzo Ridi (2012)

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (IEEE Trans. Software Eng., 2013)