Marc Herbstritt

29 papers A 1B 1C 4Journal 3Unranked 18
YearRankTypeTitle / Venue / Authors
2016 J jnl
LIPIcs - an Open-Access Series for International Conference Proceedings.
ERCIM News
Marc Herbstritt, Wolfgang Thomas
2014 — conf
Der h2-lndex: Zur vermessenen Vermessung der wissenschaftlichen Welt.
Aspekte der Technischen Informatik
Marc Herbstritt, Rolf Drechsler
2012 J jnl
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452).
Dagstuhl Reports
Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt
2009 J jnl
Compositional Dependability Evaluation for STATEMATE.
IEEE Trans. Software Eng.
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
2009 — book
Satisfiability and Verification - From Core Algorithms to Novel Application Domains.
Marc Herbstritt
2008 C conf
Probabilistic Model Checking and Reliability of Results.
DDECS
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
2008 C conf
Propositional approximations for bounded model checking of partial circuit designs.
ICCD
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
2008 — —
SAT-based verification: from core algorithms to novel application domains.
Marc Herbstritt
2008 — conf
The Demand for Reliability in Probabilistic Verification.
MBMV
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
2007 — conf
Application of Lifting in Partial Design Analysis.
MTV
Marc Herbstritt, Vanessa Struve, Bernd Becker
2007 — conf
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation.
MBMV
Ralf Wimmer, Marc Herbstritt, Bernd Becker
2007 — conf
On Combining 01X-Logic and QBF.
EUROCAST
Marc Herbstritt, Bernd Becker
2007 C conf
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.
DDECS
Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
2007 — conf
Optimization techniques for BDD-based bisimulation computation.
ACM Great Lakes Symposium on VLSI
Ralf Wimmer, Marc Herbstritt, Bernd Becker
2006 — conf
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs.
MTV
Marc Herbstritt, Bernd Becker, Christoph Scholl
2006 — conf
Bounded Model Checking with Parametric Data Structures.
BMC@FLoC
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006 — conf
Compositional Performability Evaluation for STATEMATE.
QEST
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
2006 — conf
Memory-aware Bounded Model Checking for Linear Hybrid Systems.
MBMV
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006 C conf
Minimization of Large State Spaces using Symbolic Branching Bisimulation.
DDECS
Ralf Wimmer, Marc Herbstritt, Bernd Becker
2006 B conf
Sigref- A Symbolic Bisimulation Tool Box.
ATVA
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
2005 — conf
On SAT-based Bounded Invariant Checking of Blackbox Designs.
MTV
Marc Herbstritt, Bernd Becker
2004 — conf
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
MBMV
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
2004 — conf
On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification.
MTV
Marc Herbstritt, Thomas Kmieciak, Bernd Becker
2003 A conf
Conflict-Based Selection of Branching Rules.
SAT
Marc Herbstritt, Bernd Becker
2003 — conf
Conflict-based Selection of Branching Rules in SAT-Algorithms.
MBMV
Marc Herbstritt, Bernd Becker
2001 — conf
Don't Care Minimization of BMDs: Complexity and Algorithms.
MBMV (1)
Christoph Scholl, Marc Herbstritt, Bernd Becker
2001 — conf
Exploiting don't cares to minimize *BMDs.
ISCAS (5)
Christoph Scholl, Marc Herbstritt, Bernd Becker
1999 — conf
Grouping Heuristics for Word-Level Decision Diagrams.
MBMV
Rolf Drechsler, Marc Herbstritt, Bernd Becker
1999 — conf
Grouping heuristics for word-level decision diagrams.
ISCAS (1)
Rolf Drechsler, Marc Herbstritt, Bernd Becker