| Priorities to inform research on marine plastic pollution in Southeast Asia LCM Omeyer, EM Duncan, K Aiemsomboon, N Beaumont, S Bureekul, ... Science of the Total Environment 841, 156704, 2022 | 66 | 2022 |
| Under-approximating loops in C programs for fast counterexample detection D Kroening, M Lewis, G Weissenbacher Formal methods in system design 47, 75-92, 2015 | 61 | 2015 |
| Evaluation of measures for statistical fault localisation and an optimising scheme D Landsberg, H Chockler, D Kroening, M Lewis Fundamental Approaches to Software Engineering: 18th International …, 2015 | 37 | 2015 |
| Using program synthesis for program analysis C David, D Kroening, M Lewis Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 30 | 2015 |
| Unrestricted termination and non-termination arguments for bit-vector programs C David, D Kroening, M Lewis Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 30 | 2015 |
| Steel, cast iron and concrete: Security engineering for real world wireless sensor networks F Stajano, D Cvrcek, M Lewis Applied Cryptography and Network Security: 6th International Conference …, 2008 | 26 | 2008 |
| Danger invariants C David, P Kesseli, D Kroening, M Lewis FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 25 | 2016 |
| Accelerating invariant generation K Madhukar, B Wachter, D Kroening, M Lewis, M Srivas 2015 Formal Methods in Computer-Aided Design (FMCAD), 105-111, 2015 | 18 | 2015 |
| Proving safety with trace automata and bounded model checking D Kroening, M Lewis, G Weissenbacher International Symposium on Formal Methods, 325-341, 2015 | 14 | 2015 |
| Program synthesis for program analysis C David, P Kesseli, D Kroening, M Lewis ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 1-45, 2018 | 12 | 2018 |
| Propositional reasoning about safety and termination of heap-manipulating programs C David, D Kroening, M Lewis Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 8 | 2015 |
| Second-order SAT solving using program synthesis D Kroening, M Lewis CoRR, abs/1409.4925, 2014 | 6 | 2014 |
| Unrestricted termination and non-termination proofs for bit-vector programs C David, D Kroening, M Lewis ESOP, 2015 | 5 | 2015 |
| Second-order propositional satisfiability C David, D Kroening, M Lewis arXiv preprint arXiv:1409.4925, 2014 | 3 | 2014 |
| Developing as a mathematics teacher educator: Learning from the Oxford MSc experience S Thornton, N Beaumont, M Lewis, C Penfold International Handbook of Mathematics Teacher Education: Volume 4, 35-52, 2020 | 1 | 2020 |
| Precise verification of C programs M Lewis Oxford University, UK, 2014 | 1 | 2014 |
| Proceedings-International Conference on Software Engineering: Preface S Kim, S Uchitel, D Garbervetsky, B Aktemur, D Kroening, A Orso, ... Proceedings-International Conference on Software Engineering, v-vi, 2011 | | 2011 |
| Basic Integer Overflows blexim Phrack, 2002 | | 2002 |
| Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme H Chockler, D Kroening, D Landsberg, M Lewis | | |
| King’s Research Portal D Landsberg, H Chockler, D Kroening, M Lewis | | |
Daniel KroeningAmazonVerified email at amazon.com