Ruth Hardy

According to our database, Ruth Hardy authored at least 5 papers between 2003 and 2013.

Collaborative distances:

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

2013

Applications of real number theorem proving in PVS.

Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin

Formal Aspects Comput., 2013

2006

Formal methods for control engineering: a validated decision procedure for Nichols plot analysis.

Ruth Hardy

PhD thesis, 2006

2005

Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.

Ruth Hardy

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

2004

Design Verification for Control Engineering.

Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin

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

2003

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Richard J. Boulton, Ruth Hardy, Ursula Martin

Proceedings of the Hybrid Systems: Computation and Control, 2003