Umberto Rossi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Verification of soft error detection mechanism through fault injection on hardware emulation platform.
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?
Proceedings of the 42nd Design Automation Conference, 2005

2004
A Verification Methodology for Reconfigurable Systems.
Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
Proceedings of the 2004 Design, 2004

2003
On the Use of a High-Level Fault Model to Check Properties Incompleteness.
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.
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.
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.
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.
Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986

1984
Characterization Techniques For Monomode Fibres and Cables.
Proceedings of the IEEE International Conference on Communications: Links for the Future, 1984


  Loading...