Seguir
Tom Melham
Tom Melham
Professor of Computer Science, University of Oxford
Dirección de correo verificada de cs.ox.ac.uk - Página principal
Título
Citado por
Citado por
Año
Introduction to HOL: A theorem proving environment for higher order logic
MJC Gordon, TF Melham
Cambridge University Press, 1993
27291993
Hardware verification using higher-order logic
A Camilleri, M Gordon, T Melham
University of Cambridge, Computer Laboratory, 1986
2271986
Automating recursive type definitions in higher order logic
TF Melham
Current trends in hardware verification and automated theorem proving, 341-386, 1989
2141989
Higher order logic and hardware verification
TF Melham
Cambridge University Press, 2009
1842009
Abstraction mechanisms for hardware verification
TF Melham
VLSI Specification, Verification and Synthesis, 267-291, 1988
1661988
An industrially effective environment for formal hardware verification
CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ...
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2005
1302005
Five axioms of alpha-conversion
AD Gordon, T Melham
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs …, 1996
1271996
A mechanized theory of the π-calculus in HOL
TF Melham
University of Cambridge, Computer Laboratory, 1992
1181992
A package for inductive relation definitions in HOL
T Melham
IEEE, 1992
1161992
The PROSPER toolkit
LA Dennis, G Collins, M Norrish, R Boulton, K Slind, G Robinson, ...
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
1112000
Reasoning with inductively defined relations in the HOL theorem prover
J Camilleri, T Melham
Computer Laboratory ‚University of Cambridge, 1992
991992
A reflective functional language for hardware design and theorem proving
J Grundy, T Melham, J O'leary
Journal of Functional Programming 16 (2), 157-196, 2006
912006
Automatic heap layout manipulation for exploitation
S Heelan, T Melham, D Kroening
27th USENIX Security Symposium (USENIX Security 18), 763-779, 2018
712018
Practical formal verification in microprocessor design
RB Jones, JW O'Leary, CJH Seger, MD Aagaard, TF Melham
IEEE design & test of computers 18 (4), 16-25, 2001
652001
Hardware verification using software analyzers
R Mukherjee, D Kroening, T Melham
2015 IEEE Computer Society Annual Symposium on VLSI, 7-12, 2015
612015
Dynamic specialisation of XC6200 FPGAs by partial evaluation
N McKay, T Melham, KW Susanto
Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998
531998
Deepsynth: Automata synthesis for automatic task segmentation in deep reinforcement learning
M Hasanbeig, NY Jeppu, A Abate, T Melham, D Kroening
Proceedings of the AAAI Conference on Artificial Intelligence 35 (9), 7647-7656, 2021
522021
A methodology for large-scale hardware verification
MD Aagaard, RB Jones, TF Melham, JW O’Leary, CJH Seger
Formal Methods in Computer-Aided Design: Third International Conference …, 2000
522000
Gollum: Modular and greybox exploit generation for heap overflows in interpreters
S Heelan, T Melham, D Kroening
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
492019
Formal co-validation of low-level hardware/software interfaces
A Horn, M Tautschnig, C Val, L Liang, T Melham, J Grundy, D Kroening
2013 Formal Methods in Computer-Aided Design, 121-128, 2013
472013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20