| |
| 2009 | ||
|---|---|---|
| 4 | EE | Laura Carnevali, Leonardo Grassi, Enrico Vicario: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. Software Eng. 35(2): 178-194 (2009) |
| 2008 | ||
| 3 | EE | Laura Carnevali, Leonardo Grassi, Enrico Vicario: A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe 2008: 87-100 |
| 2 | EE | Giacomo Bucci, Laura Carnevali, Enrico Vicario: A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 |
| 2007 | ||
| 1 | EE | Laura Carnevali, Luigi Sassoli, Enrico Vicario: Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300 |
| 1 | Giacomo Bucci | [2] |
| 2 | Leonardo Grassi | [3] [4] |
| 3 | Luigi Sassoli | [1] |
| 4 | Enrico Vicario | [1] [2] [3] [4] |