David W. Renshaw

According to our database, David W. Renshaw authored at least 3 papers between 2011 and 2013.

Collaborative distances:

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

2013

Formal verification of distributed aircraft controllers.

Sarah M. Loos, David W. Renshaw, André Platzer

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Certifying the safe design of a virtual fixture control algorithm for a surgical robot.

Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2011

Distributed Theorem Proving for Distributed Hybrid Systems.

David W. Renshaw, Sarah M. Loos, André Platzer

Proceedings of the Formal Methods and Software Engineering, 2011