# Thomas F. Melham

Affiliations:- University of Oxford, UK

According to our database

Collaborative distances:

^{1}, Thomas F. Melham authored at least 56 papers between 1991 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2022

CoRR, 2022

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Active Learning of Abstract System Models from Traces using Model Checking [Extended].

CoRR, 2021

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers.

Proceedings of the Formal Methods in Computer Aided Design, 2021

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

CoRR, 2020

CoRR, 2020

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

CoRR, 2019

CoRR, 2019

Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training.

CoRR, 2019

Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters.

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Proceedings of the Handbook of Model Checking., 2018

ACM Trans. Embed. Comput. Syst., 2018

Proceedings of the 27th USENIX Security Symposium, 2018

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Int. J. Softw. Tools Technol. Transf., 2016

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).

CoRR, 2016

Proceedings of the FM 2016: Formal Methods, 2016

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013

CoRR, 2013

CoRR, 2013

Proceedings of the Testing Software and Systems, 2013

Relational STE and theorem proving for formal verification of industrial circuit designs.

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2009

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

A Refinement Approach to Design and Verification of On-Chip Communication Protocols.

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

J. Funct. Program., 2006

Electron. Notes Theor. Comput. Sci., 2006

2005

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

2004

Integrating Model Checking and Theorem Proving in a Reflective Functional Language.

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Int. J. Softw. Tools Technol. Transf., 2003

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

J. Supercomput., 2001

IEEE Des. Test Comput., 2001

2000

Interact. Comput., 2000

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

J. Symb. Comput., 1998

Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

1996

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1994

A Mechanized Theory of the Pi-Calculus in HOL.

Nord. J. Comput., 1994

1993

Formal Methods Syst. Des., 1993

Proceedings of the Typed Lambda Calculi and Applications, 1993

Cambridge Tracts in Theoretical Computer Science 31, Cambridge University Press, ISBN: 9780521417181, 1993

1991

A Package for Inductive Relation Definitions in HOL.

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991