Lorenzo Ridi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SAFECOMP | A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
| 2009 | ETFA | Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
| 2009 | RSP | Automatic Code Generation from Real-Time Systems Specifications. | Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario |