Christian Jacobi

other persons with the same name:

• Christian Jacobi

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

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 02:33:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page