Umberto Rossi

Publication Activity (10 Years)

Years Active: 1984-2010
Publications (10 Years): 0

Publications

Oscar Bailan, Umberto Rossi, Anne Wantens, Jean-Marc Daveau, Salvatore Nappi, Philippe Roche
Verification of soft error detection mechanism through fault injection on hardware emulation platform. DSN Workshops (2010)
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 (2007)
Umberto Rossi
Can we really do without the support of formal methods in the verification of large designs? DAC (2005)
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)
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)
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)
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)
A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto
A 1000X speed up for properties completeness evaluation. HLDVT (2002)
Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto
Concrete Impact of Formal Verification on Quality in IP Design and Implementation. ISQED (2001)
Umberto Rossi
New Items in Optical Cables and Systems Standardization Within CCITT. ICC (1986)
G. Coppa, B. Costa, P. Di Vita, Umberto Rossi
Characterization Techniques For Monomode Fibres and Cables. ICC (3) (1984)