Marc Herbstritt

	2009
17		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
16		Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
15		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
	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] [15] [16] [17]
3	Eckard Böde	[6] [17]
4	Rolf Drechsler	[1]
5	Christian Herde	[13]
6	Holger Hermanns	[6] [9] [17]
7	Sven Johr	[6] [17]
8	Natalia Kalinnik	[15]
9	Thomas Kmieciak	[4]
10	Alexander Kortus	[16]
11	Matthew D. T. Lewis	[15]
12	Juri Lichtner	[15]
13	Tobias Nopper	[15]
14	Thomas Peikenkamp	[6] [17]
15	Reza Pulungan	[6] [17]
16	Jan Rakow	[17]
17	Christoph Scholl	[2] [7]
18	Martin Steffen	[10]
19	Kelley Strampp	[9]
20	Vanessa Struve	[11]
21	Ralf Wimmer	[6] [8] [9] [14] [15] [16] [17]