Umberto Rossi

New Items in Optical Cables and Systems Standardization Within CCITT

Umberto Rossi, 1986, ICC.

Investigation of H2O2 direct synthesis on model catalysts

Umberto Rossi, 2012 .

A verification methodology for reconfigurable systems

Imed Moussa, Franco Fummi, Graziano Pravadelli, 2004, Fifth International Workshop on Microprocessor Test and Verification (MTV'04).

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

Franco Fummi, Graziano Pravadelli, Umberto Rossi, 2002, GLSVLSI '02.

An integrated design and verification methodology for reconfigurable multimedia systems

Imed Moussa, Franco Fummi, Graziano Pravadelli, 2005, Design, Automation and Test in Europe.

Characterization Techniques For Monomode Fibres and Cables

Umberto Rossi, P. Di Vita, G. Coppa, 1984, ICC.

On the use of a high-level fault model to check properties incompleteness

Franco Fummi, Graziano Pravadelli, Umberto Rossi, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

Verification of soft error detection mechanism through fault injection on hardware emulation platform

Umberto Rossi, Jean-Marc Daveau, Philippe Roche, 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).

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

Umberto Rossi, 2005, Proceedings. 42nd Design Automation Conference, 2005..

Preface of the 2010 IAENG International Conference on Electrical Engineering Special Session: Design, Analysis and Tools for Integrated Circuits and Systems. Newswood Limited

Chee Peng Lim, Alie El-Din Mady, Jin Song Dong, 2010 .

Concrete impact of formal verification on quality in IP design and implementation

Umberto Rossi, Franco Toto, Marco Boschini, 2001, Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design.

A 1000X speed up for properties completeness evaluation

Franco Fummi, Graziano Pravadelli, Umberto Rossi, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..