Umberto Rossi

According to our database, Umberto Rossi authored at least 10 papers between 1984 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

2005

Can we really do without the support of formal methods in the verification of large designs?

Umberto Rossi

Proceedings of the 42nd Design Automation Conference, 2005

2004

A Verification Methodology for Reconfigurable Systems.

Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

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

Proceedings of the 2004 Design, 2004

2003

On the Use of a High-Level Fault Model to Check Properties Incompleteness.

Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

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

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

An error simulation based approach to measure error coverage of formal properties.

Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

2001

Concrete Impact of Formal Verification on Quality in IP Design and Implementation.

Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto

Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001

1986

New Items in Optical Cables and Systems Standardization Within CCITT.

Umberto Rossi

Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986

1984

Characterization Techniques For Monomode Fibres and Cables.

G. Coppa, B. Costa, P. Di Vita, Umberto Rossi

Proceedings of the IEEE International Conference on Communications: Links for the Future, 1984