Characterization Techniques For Monomode Fibres and Cables. - G. Coppa; B. Costa; P. Di Vita; Umberto Rossi (ICC (3), 1984)

New Items in Optical Cables and Systems Standardization Within CCITT. - Umberto Rossi (ICC, 1986)

Concrete Impact of Formal Verification on Quality in IP Design and Implementation. - Umberto Rossi; Andrea Fedeli; Marco Boschini; Franco Toto (ISQED, 2001)

An error simulation based approach to measure error coverage of formal properties. - Paolo Azzoni; Andrea Fedeli; Franco Fummi; Graziano Pravadelli; Umberto Rossi; Franco Toto (ACM Great Lakes Symposium on VLSI, 2002)

A 1000X speed up for properties completeness evaluation. - A. Castelnuovo; Andrea Fedeli; Alessandro Fin; Franco Fummi; Graziano Pravadelli; Umberto Rossi; F. Sforza; Franco Toto (HLDVT, 2002)

On the Use of a High-Level Fault Model to Check Properties Incompleteness. - Franco Fummi; Graziano Pravadelli; Andrea Fedeli; Umberto Rossi; Franco Toto (MEMOCODE, 2003)

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 (DATE, 2004)

A Verification Methodology for Reconfigurable Systems. - Michele Borgatti; Andrea Fedeli; Umberto Rossi; Jean-Luc Lambert; Imed Moussa; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2004)

Can we really do without the support of formal methods in the verification of large designs? - Umberto Rossi (DAC, 2005)

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 (DSN Workshops, 2010)