Formal verification of analog designs using MetiTarski. - William Denman; Behzad Akbarpour; Sofiène Tahar; Mohamed H. Zaki; Lawrence C. Paulson (FMCAD, 2009)

Integrating Abstraction Techniques for Formal Verification of Analog Designs. - Mohamed H. Zaki; William Denman; Sofiène Tahar; Guy Bois (J. Aerosp. Comput. Inf. Commun., 2009)

Towards Flight Control Verification Using Automated Theorem Proving. - William Denman; Mohamed H. Zaki; Sofiène Tahar; Luis Rodrigues (NASA Formal Methods, 2011)

Formal verification of bond graph modelled analogue circuits. - William Denman; Mohamed H. Zaki; Sofiène Tahar (IET Circuits Devices Syst., 2011)

Abstracting Continuous Nonpolynomial Dynamical Systems. - William Denman (ICCSW, 2012)

Automated Real Proving in PVS via MetiTarski. - William Denman; César A. Muñoz (FM, 2014)

Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving. - William Denman (NASA Formal Methods, 2014)

Automated verification of continuous and hybrid dynamical systems. - William Denman (2015)