The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marc Herbstritt" ( http://dblp.L3S.de/Authors/Marc_Herbstritt )

URL (Homepage):  https://sites.google.com/view/marc-herbstritt  Author page on DBLP  Author page in RDF  Community of Marc Herbstritt in ASPL-2

Publication years (Num. hits)
1999-2007 (20) 2008-2012 (7)
Publication types (Num. hits)
article(3) book(1) inproceedings(22) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 28 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker 0001 Compositional Dependability Evaluation for STATEMATE. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Herbstritt Satisfiability and Verification - From Core Algorithms to Novel Application Domains. Search on Bibsonomy 2009   RDF
1Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001 The Demand for Reliability in Probabilistic Verification. Search on Bibsonomy MBMV The full citation details ... 2008 DBLP  BibTeX  RDF
1Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001 Probabilistic Model Checking and Reliability of Results. Search on Bibsonomy DDECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer Propositional approximations for bounded model checking of partial circuit designs. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marc Herbstritt SAT-based verification: from core algorithms to novel application domains. Search on Bibsonomy 2008   RDF
1Erika Ábrahám, Marc Herbstritt, Bernd Becker 0001, Martin Steffen Bounded Model Checking with Parametric Data Structures. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Marc Herbstritt, Bernd Becker 0001 Optimization techniques for BDD-based bisimulation computation. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
1Ralf Wimmer, Marc Herbstritt, Bernd Becker 0001 Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. Search on Bibsonomy MBMV The full citation details ... 2007 DBLP  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001, Erika Ábrahám, Christian Herde On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. Search on Bibsonomy DDECS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001 On Combining 01X-Logic and QBF. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 01X, Blackbox Designs, Bounded Model Checking, QBF
1Marc Herbstritt, Vanessa Struve, Bernd Becker 0001 Application of Lifting in Partial Design Analysis. Search on Bibsonomy MTV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001 Sigref- A Symbolic Bisimulation Tool Box. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Marc Herbstritt, Bernd Becker 0001, Martin Steffen Memory-aware Bounded Model Checking for Linear Hybrid Systems. Search on Bibsonomy MBMV The full citation details ... 2006 DBLP  BibTeX  RDF
1Ralf Wimmer, Marc Herbstritt, Bernd Becker 0001 Minimization of Large State Spaces using Symbolic Branching Bisimulation. Search on Bibsonomy DDECS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker 0001 Compositional Performability Evaluation for STATEMATE. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001, Christoph Scholl Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. Search on Bibsonomy MTV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001 On SAT-based Bounded Invariant Checking of Blackbox Designs. Search on Bibsonomy MTV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann 0001, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
1Marc Herbstritt, Thomas Kmieciak, Bernd Becker 0001 On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. Search on Bibsonomy MTV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001 Conflict-based Selection of Branching Rules in SAT-Algorithms. Search on Bibsonomy MBMV The full citation details ... 2003 DBLP  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001 Conflict-Based Selection of Branching Rules. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Marc Herbstritt, Bernd Becker 0001 Exploiting don't cares to minimize *BMDs. Search on Bibsonomy ISCAS (5) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Marc Herbstritt, Bernd Becker 0001 Don't Care Minimization of BMDs: Complexity and Algorithms. Search on Bibsonomy MBMV (1) The full citation details ... 2001 DBLP  BibTeX  RDF
1Rolf Drechsler, Marc Herbstritt, Bernd Becker 0001 Grouping heuristics for word-level decision diagrams. Search on Bibsonomy ISCAS (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Rolf Drechsler, Marc Herbstritt, Bernd Becker 0001 Grouping Heuristics for Word-Level Decision Diagrams. Search on Bibsonomy MBMV The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license