Jörg Bormann

	2010
10		Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz: Analyzing k-step induction to compute invariants for SAT-based property checking. DAC 2010: 176-181
9		Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow: Automated formal verification of processors based on architectural models. FMCAD 2010: 129-136
8		Joakim Urdahl, Dominik Stoffel, Jörg Bormann, Markus Wedler, Wolfgang Kunz: Path predicate abstraction by complete interval property checking. FMCAD 2010: 207-215
	2009
7		Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann: A re-use methodology for formal SoC protocol compliance verification. FDL 2009: 1-6
	2008
6		Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz: Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems 27(11): 2068-2082 (2008)
5		Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann: Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. Theor. Comput. Sci. 404(3): 293-307 (2008)
	2004
4		Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann: Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. ISoLA (Preliminary proceedings) 2004: 181-187
	2001
3		Jörg Bormann, Christoph Spalinger: Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists). it+ti - Informationstechnik und Technische Informatik 43(1): 22-28 (2001)
	1995
2		Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl: Model Checking in Industrial Hardware Design. DAC 1995: 298-303
	1992
1		Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl: Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. Designing Correct Circuits 1992: 193-213

Coauthor Index

1	John Barstow	[9]
2	Sven Beyer	[9]
3	Martin Freibothe	[4] [5]
4	Ulrich Kühne	[9]
5	Wolfgang Kunz	[6] [7] [8] [10]
6	Jörg Lohse	[2]
7	Minh D. Nguyen	[6] [7] [10]
8	H. Nusser-Wehlan	[1]
9	Michael Payer	[2]
10	Jens Schönherr	[4] [5]
11	Christoph Spalinger	[3]
12	Dominik Stoffel	[6] [7] [8] [10]
13	Bernd Straube	[4] [5]
14	Max Thalmaier	[6] [7] [10]
15	Joakim Urdahl	[8]
16	Gerd Venzl	[1] [2]
17	Markus Wedler	[6] [7] [8] [10]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page