William Denman

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Search Problems

Theorem Proving

Dynamic Systems

Qualitative Simulation

Top Venues

NASA Formal Methods

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

William Denman
Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving. NASA Formal Methods (2014)
William Denman, César A. Muñoz
Automated Real Proving in PVS via MetiTarski. FM (2014)
William Denman
Abstracting Continuous Nonpolynomial Dynamical Systems. ICCSW (2012)
William Denman, Mohamed H. Zaki, Sofiène Tahar
Formal verification of bond graph modelled analogue circuits. IET Circuits Devices Syst. 5 (3) (2011)
William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues
Towards Flight Control Verification Using Automated Theorem Proving. NASA Formal Methods (2011)
Mohamed H. Zaki, William Denman, Sofiène Tahar, Guy Bois
Integrating Abstraction Techniques for Formal Verification of Analog Designs. J. Aerosp. Comput. Inf. Commun. 6 (5) (2009)
William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson
Formal verification of analog designs using MetiTarski. FMCAD (2009)