Udo Krautz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DAC | Automatic Verification of Floating Point Units. | Udo Krautz, Viresh Paruthi, Anand Arunagiri, Sujeet Kumar, Shweta Pujar, Tina Babinsky |
| 2008 | ASPDAC | Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. | Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz |
| 2006 | DATE | Evaluating coverage of error detection logic for soft errors using formal methods. | Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus |