| |
| 2009 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | EE | Laura Carnevali, Leonardo Grassi, Enrico Vicario: A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe 2008: 87-100 |
| 2007 | ||
| 1 | Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario: Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. ICSOFT (PL/DPS/KE/MUSE) 2007: 55-60 | |
| 1 | Fabrizio Baldini | [1] |
| 2 | Giacomo Bucci | [1] |
| 3 | Laura Carnevali | [2] [3] |
| 4 | Enrico Vicario | [1] [2] [3] |