Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker Probabilistic Model Checking and Reliability of Results 2008 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Science Press, Seiten: 207 - 212 » Kurzfassung anzeigen« Kurzfassung verbergen
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker The Demand for Reliability in Probabilistic Verification 2008 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 99 - 108 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Society, Seiten: 391 - 396 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Vanessa Struve, Bernd Becker Application of Lifting in Partial Design Analysis 2007 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Seiten: 33 - 38 » Kurzfassung anzeigen« Kurzfassung verbergen
Ralf Wimmer, Marc Herbstritt, Bernd Becker Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation 2007 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 203 - 212 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Bernd Becker On Combining 01X-Logic and QBF 2007 Int'l Conf. on Computer Aided Systems Theory, Springer Verlag, Seiten: 531 - 538 » Kurzfassung anzeigen« Kurzfassung verbergen
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker Symbolic Model Checking for DTMCs with Exact and Inexact Arithmetic AVACS Technical Report, Nummer: 30, 2007
Ralf Wimmer, Holger Hermanns, Marc Herbstritt, Bernd Becker Towards Symbolic Stochastic Aggregation AVACS Technical Report, Nummer: 16, 2007
Ralf Wimmer, Tobias Nopper, Marc Herbstritt, Christoph Löffler, Bernd Becker Collaborative Exercise Management 2006 World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education, Association for the Advancement of Computing in Education (AACE), Seiten: 3127 - 3134 » Kurzfassung anzeigen« Kurzfassung verbergen
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen Memory-aware Bounded Model Checking for Linear Hybrid Systems 2006 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Fraunhofer IIS/EAS, Seiten: 153 - 162 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Ralf Wimmer, Thomas Peikenkamp, Eckard Böde, Michael Adelaide, Sven Johr, Holger Hermanns, Bernd Becker Analysis of Large Safety-Critical Systems: A quantitative Approach AVACS Technical Report, Band: 8, 2006
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker Compositional Performability Evaluation for STATEMATE 2006 Int'l Conf. on Quantitative Evaluation of Systems, IEEE Computer Society, Seiten: 167 - 178 » Kurzfassung anzeigen« Kurzfassung verbergen
Ralf Wimmer, Marc Herbstritt, Bernd Becker Minimization of Large State Spaces using Symbolic Branching Bisimulation 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Society Press, Seiten: 9 - 14 » Kurzfassung anzeigen« Kurzfassung verbergen
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker Sigref - A Symbolic Bisimulation Tool Box 2006 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4218, Seiten: 477 - 492 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Thomas Kmieciak, Bernd Becker On the Impact of Structural Circuit Partitioning on SAT-based Combinational Circuit Verification 2004 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Seiten: 50 - 55 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Thomas Kmieciak, Bernd Becker Circuit Partitioning for SAT-based Combinational Circuit Verification -- A Case Study , Nummer: 206, 2004 » Kurzfassung anzeigen« Kurzfassung verbergen
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 Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems 2004 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 65 - 75 » Kurzfassung anzeigen« Kurzfassung verbergen
Marc Herbstritt, Bernd Becker Conflict-based Selection of Branching Rules 2003 Int'l Conf. on Theory and Applications of Satisfiability Testing, Springer, Band: 2919, Seiten: 441 - 451
Marc Herbstritt, Bernd Becker Conflict-based Selection of Branching Rules in SAT-Algorithms 2003 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 189 - 198
Marc Herbstritt zChaff: Modifications and Extensions , Nummer: 188, 2001
Christoph Scholl, Marc Herbstritt, Bernd Becker Don't Care Minimization of *BMDs: Complexity and Algorithms 2001 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 45 - 57
Christoph Scholl, Marc Herbstritt, Bernd Becker Exploiting Don't Cares to Minimize *BMDs 2001 IEEE Int'l Symp. on Circuits and Systems, Band: 5, Seiten: 191 - 194
Rolf Drechsler, Marc Herbstritt, Bernd Becker Grouping Heuristics for Word-level Decision Diagrams 1999 IEEE Int'l Symp. on Circuits and Systems, Seiten: 411 - 415
Rolf Drechsler, Marc Herbstritt, Bernd Becker Grouping Heuristics for Word-level Decision Diagrams 1999 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 41 - 50