other persons with the same name:
2008 | ||
---|---|---|
14 | EE | Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz: Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. ASP-DAC 2008: 398-403 |
2007 | ||
13 | EE | Lee Eisen, John Wesley Ward III, Hans-Werner Tast, Nicolas Mäding, Jens Leenstra, Silvia M. Müller, Christian Jacobi, Jochen Preiss, Eric M. Schwarz, Steven R. Carlough: IBM POWER6 accelerators: VMX and DFU. IBM Journal of Research and Development 51(6): 663-684 (2007) |
2006 | ||
12 | EE | Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus: Evaluating coverage of error detection logic for soft errors using formal methods. DATE 2006: 176-181 |
11 | EE | Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul: Putting it all together - Formal verification of the VAMP. STTT 8(4-5): 411-430 (2006) |
2005 | ||
10 | EE | Viresh Paruthi, Christian Jacobi, Kai Weber: Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. CHARME 2005: 114-128 |
9 | EE | Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner: Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE 2005: 1298-1303 |
8 | EE | 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. IEEE Symposium on Computer Arithmetic 2005: 59-67 |
7 | EE | Christian Jacobi, Christoph Berg: Formal Verification of the VAMP Floating Point Unit. Formal Methods in System Design 26(3): 227-266 (2005) |
2003 | ||
6 | EE | Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul: Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65 |
5 | EE | Michael Backes, Christian Jacobi: Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS 2003: 675-686 |
2002 | ||
4 | EE | Christian Jacobi: Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. CAV 2002: 309-323 |
3 | EE | Michael Backes, Christian Jacobi, Birgit Pfitzmann: Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME 2002: 310-329 |
2001 | ||
2 | EE | Christoph Berg, Christian Jacobi: Formal Verification of the VAMP Floating Point Unit. CHARME 2001: 325-339 |
1999 | ||
1 | EE | Christian Jacobi, Cédric Lichtenau: Highly Concurrent Locking in Shared Memory Database Systems. Euro-Par 1999: 477-481 |
1 | Michael Backes | [3] [5] |
2 | Jason Baumgartner | [9] |
3 | Christoph Berg | [2] [7] |
4 | Sven Beyer | [6] [11] |
5 | Steven R. Carlough | [13] |
6 | Scott R. Cottier | [8] |
7 | Sang H. Dhong | [8] |
8 | Lee Eisen | [13] |
9 | Udo Krautz | [12] [14] |
10 | Daniel Kroening (Daniel Kröning) | [6] [11] |
11 | Wolfgang Kunz | [14] |
12 | Jens Leenstra | [13] |
13 | Dirk Leinenbach | [6] [11] |
14 | Cédric Lichtenau | [1] |
15 | Takashi Machida | [8] |
16 | Nicolas Mäding | [13] |
17 | Brad W. Michael | [8] |
18 | Silvia M. Müller | [8] [13] |
19 | Tatsuya Namatame | [8] |
20 | Hiroo Nishikawa | [8] |
21 | Hwa-Joon Oh | [8] |
22 | Viresh Paruthi | [9] [10] |
23 | Wolfgang J. Paul | [6] [11] |
24 | Birgit Pfitzmann | [3] |
25 | Matthias Pflanz | [12] [14] |
26 | Jochen Preiss | [13] |
27 | Eric M. Schwarz | [13] |
28 | Hans-Werner Tast | [12] [13] |
29 | Yonetaro Totsuka | [8] |
30 | Kevin D. Tran | [8] |
31 | Heinrich Theodor Vierhaus | [12] |
32 | John Wesley Ward III | [13] |
33 | Kai Weber | [9] [10] [12] [14] |
34 | Markus Wedler | [14] |
35 | Naoka Yano | [8] |