Umberto Rossi

11 papers A* 1A 1C 1Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2010 — conf
Verification of soft error detection mechanism through fault injection on hardware emulation platform.
DSN Workshops
Oscar Bailan, Umberto Rossi, Anne Wantens, Jean-Marc Daveau, Salvatore Nappi, Philippe Roche
2007 J jnl
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
CoRR
Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2005 A* conf
Can we really do without the support of formal methods in the verification of large designs?
DAC
Umberto Rossi
2004 — conf
A Verification Methodology for Reconfigurable Systems.
MTV
Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004 A conf
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
DATE
Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2003 C conf
On the Use of a High-Level Fault Model to Check Properties Incompleteness.
MEMOCODE
Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto
2002 — conf
A 1000X speed up for properties completeness evaluation.
HLDVT
A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto
2002 — conf
An error simulation based approach to measure error coverage of formal properties.
ACM Great Lakes Symposium on VLSI
Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto
2001 — conf
Concrete Impact of Formal Verification on Quality in IP Design and Implementation.
ISQED
Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto
1986 — conf
New Items in Optical Cables and Systems Standardization Within CCITT.
ICC
Umberto Rossi
1984 — conf
Characterization Techniques For Monomode Fibres and Cables.
ICC (3)
G. Coppa, B. Costa, P. Di Vita, Umberto Rossi