| Sigref – A Symbolic Bisimulation Tool Box R Wimmer, M Herbstritt, H Hermanns, K Strampp, B Becker International Symposium on Automated Technology for Verification and …, 2006 | 77 | 2006 |
| Compositional dependability evaluation for STATEMATE E Bode, M Herbstritt, H Hermanns, S Johr, T Peikenkamp, R Pulungan, ... IEEE Transactions on Software Engineering 35 (2), 274-292, 2008 | 60 | 2008 |
| Compositional performability evaluation for statemate B Becker, R Wimmer, R Pulungan, T Peikenkamp, S Johr, H Hermanns, ... Third International Conference on the Quantitative Evaluation of Systems …, 2006 | 50 | 2006 |
| Advanced SAT-techniques for bounded model checking of blackbox designs M Herbstritt, B Becker, C Scholl Seventh International Workshop on Microprocessor Test and Verification (MTV …, 2006 | 35 | 2006 |
| On combining 01X-logic and QBF M Herbstritt, B Becker International Conference on Computer Aided Systems Theory, 531-538, 2007 | 30 | 2007 |
| Probabilistic model checking and reliability of results R Wimmer, A Kortus, M Herbstritt, B Becker 2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and …, 2008 | 21 | 2008 |
| Conflict-based selection of branching rules M Herbstritt, B Becker International Conference on Theory and Applications of Satisfiability …, 2003 | 17 | 2003 |
| Minimization of large state spaces using symbolic branching bisimulation R Wimmer, M Herbstritt, B Becker 2006 IEEE Design and Diagnostics of Electronic Circuits and systems, 7-12, 2006 | 14 | 2006 |
| On SAT-based bounded invariant checking of blackbox designs M Herbstritt, B Becker 2005 Sixth International Workshop on Microprocessor Test and Verification, 23-28, 2005 | 14 | 2005 |
| Optimization techniques for BDD-based bisimulation computation R Wimmer, M Herbstritt, B Becker Proceedings of the 17th ACM Great Lakes symposium on VLSI, 405-410, 2007 | 12 | 2007 |
| Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. B Becker, M Behle, F Eisenbrand, M Fränzle, M Herbstritt, C Herde, ... MBMV, 65-75, 2004 | 11 | 2004 |
| Workflows zur Bereitstellung von Zeitschriftenartikeln auf Open-Access-Repositorien-Herausforderungen und Lösungsansätze P Vierkant, O Siegert, G Deinzer, A Gebert, M Herbstritt, H Pampel, ... o-bib. Das offene Bibliotheksjournal/Herausgeber VDB 4 (1), 151-169, 2017 | 9 | 2017 |
| Grouping heuristics for word-level decision diagrams R Drechsler, M Herbstritt, B Becker 1999 IEEE International Symposium on Circuits and Systems (ISCAS) 1, 411-414, 1999 | 9 | 1999 |
| Satisfiability & verification: from core algorithms to novel application domains M Herbstritt (No Title), 2009 | 6 | 2009 |
| Analysis of large safety-critical systems: a quantitative approach. REPORTS of SFB M Herbstritt, R Wimmer, T Peikenkamp, E Böde, M Adelaide, S Johr, ... TR 14 AVACS 8, 2006 | 6 | 2006 |
| Publication culture in computing research (Dagstuhl Perspectives Workshop 12452) K Mehlhorn, MY Vardi, M Herbstritt Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2013 | 5 | 2013 |
| Analysis of large safety-critical systems: A quantitative approach M Herbstritt, R Wimmer, T Peikenkamp, E Böde, H Hermanns, S Johr, ... Reports of SFB/TR 14, 2009 | 5 | 2009 |
| Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. R Wimmer, M Herbstritt, B Becker MBMV, 203-212, 2007 | 5 | 2007 |
| On the impact of structural circuit partitioning on SAT-based combinational circuit verification M Herbstritt, T Kmieciak, B Becker Fifth International Workshop on Microprocessor Test and Verification (MTV'04 …, 2004 | 5 | 2004 |
| zChaff: Modifications and extensions. report00188, Institut für Informatik, Universität Freiburg, July 17 2003 M Herbstritt Thu 17, 11, 2003 | 5 | 2003 |
