| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294 |
| 2004 | ||
| 1 | EE | Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini: A Freshness Detection Mechanism for Railway Applications. PRDC 2004: 292-301 |
| 1 | Damiano Angeletti | [2] |
| 2 | Andrea Bondavalli | [1] |
| 3 | Enrico De Giudici | [1] |
| 4 | Enrico Giunchiglia | [2] |
| 5 | Massimo Narizzano | [2] |
| 6 | Stefano Porcarelli | [1] |
| 7 | Alessandra Puddu | [2] |
| 8 | Fabrizio Zanini | [1] |