2017

  • Model-driven Development of Safety Architectures Denney, Ewen, Pai, Ganesh, and Whiteside, Iain In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2017) 2017
  • Modeling the Safety Architecture of UAS Flight Operations Denney, Ewen, Pai, Ganesh, and Whiteside, Iain In Proceedings of the 36th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017) 2017 [PDF]

2015

  • Formal Foundations for Hierarchical Safety Cases Denney, Ewen, Pai, Ganesh, and Whiteside, Iain In Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015) 2015 [PDF]

2014

  • Proof Patterns for Formal Methods Freitas, Leo, and Whiteside, Iain In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings 2014 [PDF]
  • A Model for Capturing and Replaying Proof Strategies Freitas, Leo, Jones, Cliff B., Velykis, Andrius, and Whiteside, Iain In Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers 2014 [PDF]

2013

  • Hierarchical Safety Cases Denney, Ewen, Pai, Ganesh, and Whiteside, Iain In Proceedings of the 5th NASA Formal Methods Symposium 2013 [PDF]
  • Polar: A Framework for Proof Refactoring Dietrich, Dominik, Whiteside, Iain, and Aspinall, David In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings 2013 [PDF]
  • Whiteside, I. (2013). Refactoring Proofs. University of Edinburgh. [PDF]

2012

  • An Essence of SSReflect Whiteside, Iain, Aspinall, David, and Grov, Gudmund In Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings 2012 [PDF]

2011

  • Towards Formal Proof Script Refactoring Whiteside, Iain, Aspinall, David, Dixon, Lucas, and Grov, Gudmund In Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings 2011 [PDF]