| Software Verification Using k-Induction AF Donaldson, L Haller, D Kroening, P Rümmer Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 155 | 2011 |
| Deciding floating-point logic with abstract conflict driven clause learning M Brain, V D’silva, A Griggio, L Haller, D Kroening Formal Methods in System Design 45 (2), 213-245, 2014 | 77 | 2014 |
| Deciding Floating-Point Logic with Systematic Abstraction L Haller, A Griggio, M Brain, D Kroening Formal Methods in Computer-Aided Design (FMCAD), 131--140, 2012 | 73 | 2012 |
| Abstract conflict driven learning V D'Silva, L Haller, D Kroening ACM SIGPLAN Notices 48 (1), 143-154, 2013 | 54 | 2013 |
| Numeric bounds analysis with conflict-driven learning V D’Silva, L Haller, D Kroening, M Tautschnig International Conference on Tools and Algorithms for the Construction and …, 2012 | 54 | 2012 |
| Satisfiability solvers are static analysers V D’Silva, L Haller, D Kroening International Static Analysis Symposium, 317-333, 2012 | 32 | 2012 |
| Interpolation-based verification of floating-point programs with abstract CDCL M Brain, V D’Silva, A Griggio, L Haller, D Kroening Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 26 | 2013 |
| Abstract satisfaction V D'Silva, L Haller, D Kroening Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 20 | 2014 |
| An Abstract Interpretation of DPLL(T) M Brain, V D'Silva, A Griggio, D Kroening Verification Model Checking and Abstract Interpretation, to appear, 2013 | 19 | 2013 |
| Strengthening induction-based race checking with lightweight static analysis AF Donaldson, L Haller, D Kroening International Workshop on Verification, Model Checking, and Abstract …, 2011 | 17 | 2011 |
| Relieving capacity limits on FPGA-based SAT-solvers L Haller, S Singh Formal Methods in Computer Aided Design, 217-220, 2010 | 16 | 2010 |
| Abstract satisfaction L Haller University of Oxford, 2013 | 5 | 2013 |
| A SAT solver for circuits based on the tableau method U Egly, L Haller KI-Künstliche Intelligenz 24, 15-23, 2010 | 5 | 2010 |
| Formal property verification L Fix, K McMillan EDA for IC System Design, Verification, and Testing, 20-1-20-14, 2018 | 4 | 2018 |
| Lifting CDCL to template-based abstract domains for program verification R Mukherjee, P Schrammel, L Haller, D Kroening, T Melham Automated Technology for Verification and Analysis: 15th International …, 2017 | 4 | 2017 |
| Finding lean induced cycles in binary hypercubes Y Chebiryak, T Wahl, D Kroening, L Haller Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 3 | 2009 |
| Extending a tableau-based SAT procedure with techniques from CNF-based SAT LCR Haller na, 2008 | 1 | 2008 |
Daniel KroeningAmazonVerified email at amazon.com
