| Binary decision diagrams: theory and implementation R Drechsler, B Becker Springer Science & Business Media, 2013 | 363 | 2013 |
| Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski Proceedings of the 31st annual Design Automation Conference, 415-419, 1994 | 303 | 1994 |
| A definition and classification of timing anomalies J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ... 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06 …, 2006 | 298 | 2006 |
| How robust is the n-cube? B Becker, HU Simon Information and Computation 77 (2), 162-178, 1988 | 218 | 1988 |
| Genetic algorithm for variable ordering of OBDDs R Drechsler, B Becker, N Gockel IEE Proceedings-Computers and Digital Techniques 143 (6), 364-368, 1996 | 181 | 1996 |
| Multi-objective Optimisation Based on Relation Favour N Drechsler, R Drechsler, B Becker International conference on evolutionary multi-criterion optimization, 154-166, 2001 | 158 | 2001 |
| A family of logical fault models for reversible circuits I Polian, T Fiehn, B Becker, JP Hayes 14th Asian Test Symposium (ATS'05), 422-427, 2005 | 156 | 2005 |
| Testing for missing-gate faults in reversible circuits JP Hayes, I Polian, B Becker 13th Asian test symposium, 100-105, 2004 | 146 | 2004 |
| X-masking during logic BIST and its impact on defect coverage Y Tang, HJ Wunderlich, H Vranken, F Hapke, M Wittke, P Engelke, ... 2004 International Conferce on Test, 442-451, 2004 | 135 | 2004 |
| Multithreaded SAT solving M Lewis, T Schubert, B Becker 2007 Asia and South Pacific Design Automation Conference, 926-931, 2007 | 133 | 2007 |
| Checking equivalence for partial implementations C Scholl, B Becker Proceedings of the 38th Annual Design Automation Conference, 238-243, 2001 | 133 | 2001 |
| Fast OFDD-based minimization of fixed polarity Reed-Muller expressions R Drechsler, M Theobald, B Becker IEEE Transactions on Computers 45 (11), 1294-1299, 1996 | 121 | 1996 |
| K* BMDs: A new data structure for verification R Drechsler, B Becker, S Ruppertz Proceedings ED&TC European Design and Test Conference, 2-8, 1996 | 113 | 1996 |
| Simulating resistive-bridging and stuck-at faults P Engelke, I Polian, M Renovell, B Becker IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 106 | 2006 |
| Towards Verification of Artificial Neural Networks. K Scheibler, L Winterer, R Wimmer, B Becker MBMV, 30-40, 2015 | 105 | 2015 |
| PaMiraXT: Parallel SAT solving with threads and message passing T Schubert, M Lewis, B Becker Journal on Satisfiability, Boolean Modelling and Computation 6 (4), 203-222, 2010 | 93 | 2010 |
| Equivalence checking of digital circuits: fundamentals, principles, methods P Molitor, J Mohnke, B Becker, C Scholl Springer US, 2004 | 93 | 2004 |
| On the relation between BDDs and FDDs B Becker, R Drechsler, R Werchner Information and Computation 123 (2), 185-197, 1995 | 91 | 1995 |
| Finite-state controllers of POMDPs via parameter synthesis JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... Corvallis: AUAI Press, 2018 | 89 | 2018 |
| The K* BMD: A verification data structure R Drechsler, B Becker, S Ruppertz IEEE Design & Test of Computers 14 (2), 51-59, 2002 | 86 | 2002 |
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
