Kai F. Weber

Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods

Udo Krautz, Matthias Pflanz, Christian Jacobi et al. · 2006 · 55 citations

Engineering, Computer Engineering, Electrical Engineering +17

Automatic Formal Verification of Fused-Multiply-Add FPUs

Christian Jacobi, Kai F. Weber, Viresh Paruthi et al. · Design, Automation, and Test in Europe · 2005 · 41 citations · Full text

Engineering, Computer Engineering, Computer Science +14

Parallel Question Parsing and Memory Retrieval

Scott P. Robertson, Kai F. Weber, Jeffrey D. Ullman et al. · Journal of Memory and Language · 1993 · 13 citations

Computing, Computer Science, Memory +12

Functional verification of the IBM System z10 processor chipset

C. A. Krygowski, D. G. Bair, R.M. Gott et al. · IBM Journal of Research and Development · 2009 · 11 citations

Engineering, Computer Engineering, Computer Science +17