Search the dblp DataBase

Publications of Author

1. Silvia M. Müller, Christian Jacobi, Hwa-Joon Oh, Kevin D. Tran, Scott R. Cottier, Brad W. Michael, Hiroo Nishikawa, Yonetaro Totsuka, Tatsuya Namatame, Naoka Yano, Takashi Machida, Sang H. Dhong
   The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Computer Arithmetic, 2005, pp:59-67 [Conf]
   
2. Christian Jacobi 0002
   Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. [Citation Graph (0, 0)][DBLP]
   CAV, 2002, pp:309-323 [Conf]
   
3. Christoph Berg, Christian Jacobi 0002
   Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:325-339 [Conf]
   
4. Sven Beyer, Chris Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
   Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:51-65 [Conf]
   
5. Viresh Paruthi, Christian Jacobi 0002, Kai Weber
   Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. [Citation Graph (0, 0)][DBLP]
   CHARME, 2005, pp:114-128 [Conf]
   
6. Christian Jacobi 0002, Kai Weber, Viresh Paruthi, Jason Baumgartner
   Automatic Formal Verification of Fused-Multiply-Add FPUs. [Citation Graph (0, 0)][DBLP]
   DATE, 2005, pp:1298-1303 [Conf]
   
7. U. Krautz, Matthias Pflanz, Christian Jacobi 0002, H. W. Tast, Kai Weber, Heinrich Theodor Vierhaus
   Evaluating coverage of error detection logic for soft errors using formal methods. [Citation Graph (0, 0)][DBLP]
   DATE, 2006, pp:176-181 [Conf]
   
8. Christian Jacobi 0002, Cédric Lichtenau
   Highly Concurrent Locking in Shared Memory Database Systems. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1999, pp:477-481 [Conf]
   
9. Michael Backes, Christian Jacobi 0002, Birgit Pfitzmann
   Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. [Citation Graph (0, 0)][DBLP]
   FME, 2002, pp:310-329 [Conf]
   
10. Michael Backes, Christian Jacobi 0002
    Cryptographically Sound and Machine-Assisted Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    STACS, 2003, pp:675-686 [Conf]
    
11. Christian Jacobi 0002, Christoph Berg
    Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:227-266 [Journal]
    
12. 
    Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. [Citation Graph (, )][DBLP]