Umberto Rossi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2003–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | DSN | Verification of soft error detection mechanism through fault injection on hardware emulation platform. | Oscar Bailan, Umberto Rossi, Anne Wantens, Jean-Marc Daveau, Salvatore Nappi, Philippe Roche |
| 2005 | DAC | Can we really do without the support of formal methods in the verification of large designs? | Umberto Rossi |
| 2004 | DATE | An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. | Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli |
| 2003 | MEMOCODE | On the Use of a High-Level Fault Model to Check Properties Incompleteness. | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto |