Distributed Theorem Proving for Distributed Hybrid Systems. - David W. Renshaw; Sarah M. Loos; André Platzer (ICFEM, 2011)

Certifying the safe design of a virtual fixture control algorithm for a surgical robot. - Yanni Kouskoulas; David W. Renshaw; André Platzer; Peter Kazanzides (HSCC, 2013)

Formal verification of distributed aircraft controllers. - Sarah M. Loos; David W. Renshaw; André Platzer (HSCC, 2013)