Christian Jacobi

other persons with the same name:

• Christian Jacobi

	2008
14		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		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		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		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		Viresh Paruthi, Christian Jacobi, Kai Weber: Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. CHARME 2005: 114-128
9		Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner: Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE 2005: 1298-1303
8		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		Christian Jacobi, Christoph Berg: Formal Verification of the VAMP Floating Point Unit. Formal Methods in System Design 26(3): 227-266 (2005)
	2003
6		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		Michael Backes, Christian Jacobi: Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS 2003: 675-686
	2002
4		Christian Jacobi: Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. CAV 2002: 309-323
3		Michael Backes, Christian Jacobi, Birgit Pfitzmann: Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME 2002: 310-329
	2001
2		Christoph Berg, Christian Jacobi: Formal Verification of the VAMP Floating Point Unit. CHARME 2001: 325-339
	1999
1		Christian Jacobi, Cédric Lichtenau: Highly Concurrent Locking in Shared Memory Database Systems. Euro-Par 1999: 477-481

Coauthor Index

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]

Colors in the list of coauthors