| 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 | 53 | 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 | 32 | 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 | 28 | 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 | 25 | 2008 |
| Using program synthesis for program analysis C David, D Kroening, M Lewis Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 22 | 2015 |
| Danger invariants C David, P Kesseli, D Kroening, M Lewis FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 18 | 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 | 14 | 2015 |
| Proving safety with trace automata and bounded model checking D Kroening, M Lewis, G Weissenbacher FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 12 | 2015 |
| 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, 156704, 2022 | 9 | 2022 |
| 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 | 8 | 2018 |
| Second-order SAT solving using program synthesis D Kroening, M Lewis CoRR, abs/1409.4925, 2014 | 8 | 2014 |
| Unrestricted termination and non-termination proofs for bit-vector programs C David, D Kroening, M Lewis ESOP, 2015 | 5 | 2015 |
| 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 | 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 |
| Corrigendum to" Priorities to inform research on marine plastic pollution in Southeast Asia"[Sci. Total Environ. volume 841 (2022) Article 156704] LCM Omeyer, EM Duncan, K Aiemsomboon, N Beaumont, S Bureekul, ... The Science of the total environment 857 (Pt 3), 159595, 2023 | | 2023 |
| 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 |
| Program Analysis. In M. Davis, A. Fehnker, A. McIver, & A. Voronkov C David, D Kroening, M Lewis | | |
Daniel KroeningAmazonVerified email at amazon.com
