 | 2007 |
|---|
| 10 |       | Michele Borgatti,
Andrea Capello,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
CoRR abs/0710.4846: (2007) |
| 2005 |
|---|
| 9 | | Umberto Rossi:
Can we really do without the support of formal methods in the verification of large designs?
DAC 2005: 672-673 |
| 2004 |
|---|
| 8 | | Michele Borgatti,
Andrea Capello,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
DATE 2004: 266-271 |
| 7 | | Michele Borgatti,
Andrea Capello,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
DATE 2004: 266-271 |
| 6 | | Michele Borgatti,
Andrea Fedeli,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
A Verification Methodology for Reconfigurable Systems.
MTV 2004: 85-90 |
| 2003 |
|---|
| 5 | | Franco Fummi,
Graziano Pravadelli,
Andrea Fedeli,
Umberto Rossi,
Franco Toto:
On the Use of a High-Level Fault Model to Check Properties Incompleteness.
MEMOCODE 2003: 145-152 |
| 2002 |
|---|
| 4 | | Paolo Azzoni,
Andrea Fedeli,
Franco Fummi,
Graziano Pravadelli,
Umberto Rossi,
Franco Toto:
An error simulation based approach to measure error coverage of formal properties.
ACM Great Lakes Symposium on VLSI 2002: 53-58 |
| 2001 |
|---|
| 3 | | Umberto Rossi,
Andrea Fedeli,
Marco Boschini,
Franco Toto:
Concrete Impact of Formal Verification on Quality in IP Design and Implementation.
ISQED 2001: 38-43 |
| 1986 |
|---|
| 2 |  | Umberto Rossi:
New Items in Optical Cables and Systems Standardization Within CCITT.
ICC 1986: 1697-1700 |
| 1984 |
|---|
| 1 | | G. Coppa,
B. Costa,
P. Di Vita,
Umberto Rossi:
Characterization Techniques For Monomode Fibres and Cables.
ICC (3) 1984: 1060-1063 |
