Marc Herbstritt

	2009
19		Marc Herbstritt: Satisfiability and Verification - From Core Algorithms to Novel Application Domains. Südwestdeutscher Verlag für Hochschulschriften 2009: I-X, 1-220
18		Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009)
	2008
17		Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
16		Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
15		Marc Herbstritt: SAT-based verification: from core algorithms to novel application domains. University of Freiburg 2008
	2007
14		Ralf Wimmer, Marc Herbstritt, Bernd Becker: Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410
13		Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde: On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS 2007: 391-396
12		Marc Herbstritt, Bernd Becker: On Combining 01X-Logic and QBF. EUROCAST 2007: 531-538
11		Marc Herbstritt, Vanessa Struve, Bernd Becker: Application of Lifting in Partial Design Analysis. MTV 2007: 33-38
10		Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Bounded Model Checking with Parametric Data Structures. Electr. Notes Theor. Comput. Sci. 174(3): 3-16 (2007)
	2006
9		Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
8		Ralf Wimmer, Marc Herbstritt, Bernd Becker: Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14
7		Marc Herbstritt, Bernd Becker, Christoph Scholl: Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. MTV 2006: 37-44
6		Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker: Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178
	2005
5		Marc Herbstritt, Bernd Becker: On SAT-based Bounded Invariant Checking of Blackbox Designs. MTV 2005: 23-28
	2004
4		Marc Herbstritt, Thomas Kmieciak, Bernd Becker: On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV 2004: 50-55
	2003
3		Marc Herbstritt, Bernd Becker: Conflict-Based Selection of Branching Rules. SAT 2003: 441-451
	2001
2		Christoph Scholl, Marc Herbstritt, Bernd Becker: Exploiting don't cares to minimize *BMDs. ISCAS (5) 2001: 191-194
	1999
1		Rolf Drechsler, Marc Herbstritt, Bernd Becker: Grouping heuristics for word-level decision diagrams. ISCAS (1) 1999: 411-414

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[10] [13]
2	Bernd Becker	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18]
3	Eckard Böde	[6] [18]
4	Rolf Drechsler	[1]
5	Christian Herde	[13]
6	Holger Hermanns	[6] [9] [18]
7	Sven Johr	[6] [18]
8	Natalia Kalinnik	[16]
9	Thomas Kmieciak	[4]
10	Alexander Kortus	[17]
11	Matthew D. T. Lewis	[16]
12	Juri Lichtner	[16]
13	Tobias Nopper	[16]
14	Thomas Peikenkamp	[6] [18]
15	Reza Pulungan	[6] [18]
16	Jan Rakow	[18]
17	Christoph Scholl	[2] [7]
18	Martin Steffen	[10]
19	Kelley Strampp	[9]
20	Vanessa Struve	[11]
21	Ralf Wimmer	[6] [8] [9] [14] [16] [17] [18]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page