Volgen
Matt Lewis
Matt Lewis
Computer Science Department, University of Oxford
Geverifieerd e-mailadres voor cs.ox.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
532015
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
322015
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
282015
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
252008
Using program synthesis for program analysis
C David, D Kroening, M Lewis
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
222015
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
182016
Accelerating invariant generation
K Madhukar, B Wachter, D Kroening, M Lewis, M Srivas
2015 Formal Methods in Computer-Aided Design (FMCAD), 105-111, 2015
142015
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
122015
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
82018
Second-order SAT solving using program synthesis
D Kroening, M Lewis
CoRR, abs/1409.4925, 2014
82014
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
72022
Unrestricted termination and non-termination proofs for bit-vector programs
C David, D Kroening, M Lewis
ESOP, 2015
52015
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
52015
Second-order propositional satisfiability
C David, D Kroening, M Lewis
arXiv preprint arXiv:1409.4925, 2014
32014
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
12020
Precise verification of C programs
M Lewis
Oxford University, UK, 2014
12014
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20