Udo Krautz

According to our database1, Udo Krautz authored at least 4 papers between 2006 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Gating Aware Error Injection.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2014
Automatic Verification of Floating Point Units.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2008
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2006
Evaluating coverage of error detection logic for soft errors using formal methods.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006


  Loading...