Bill J. Ellis

According to our database, Bill J. Ellis authored at least 4 papers between 2003 and 2006.

Collaborative distances:

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

2006

An Integrated Approach to High Integrity Software Verification.

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

J. Autom. Reason., 2006

2004

Invariant Patterns for Program Reasoning.

Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

An Integration of Program Analysis and Automated Theorem Proving.

Bill J. Ellis, Andrew Ireland

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

2003

Automation for Exception Freedom Proofs.

Bill J. Ellis, Andrew Ireland

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003