William Denman

According to our database, William Denman authored at least 8 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Automated verification of continuous and hybrid dynamical systems.

William Denman

PhD thesis, 2015

2014

Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving.

William Denman

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Automated Real Proving in PVS via MetiTarski.

William Denman, César A. Muñoz

Proceedings of the FM 2014: Formal Methods, 2014

2012

Abstracting Continuous Nonpolynomial Dynamical Systems.

William Denman

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

2011

Formal verification of bond graph modelled analogue circuits.

William Denman, Mohamed H. Zaki, Sofiène Tahar

IET Circuits Devices Syst., 2011

Towards Flight Control Verification Using Automated Theorem Proving.

William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues

Proceedings of the NASA Formal Methods, 2011

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

Formal verification of analog designs using MetiTarski.

William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson

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