Iain Whiteside

According to our database, Iain Whiteside authored at least 12 papers between 2011 and 2020.

Collaborative distances:

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

2020

PaRoT: A Practical Framework for Robust Deep Neural Network Training.

Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

The role of safety architectures in aviation safety cases.

Ewen Denney, Ganesh Pai, Iain Whiteside

Reliab. Eng. Syst. Saf., 2019

2017

Modeling the Safety Architecture of UAS Flight Operations.

Ewen Denney, Ganesh Pai, Iain Whiteside

Proceedings of the Computer Safety, Reliability, and Security, 2017

Model-Driven Development of Safety Architectures.

Ewen Denney, Ganesh Pai, Iain Whiteside

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2015

Formal Foundations for Hierarchical Safety Cases.

Ewen Denney, Ganesh J. Pai, Iain Whiteside

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

A Model for Capturing and Replaying Proof Strategies.

Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Proof Patterns for Formal Methods.

Leo Freitas, Iain Whiteside

Proceedings of the FM 2014: Formal Methods, 2014

2013

Refactoring proofs.

Iain Whiteside

PhD thesis, 2013

Hierarchical Safety Cases.

Ewen Denney, Ganesh Pai, Iain Whiteside

Proceedings of the NASA Formal Methods, 2013

Polar: A Framework for Proof Refactoring.

Dominik Dietrich, Iain Whiteside, David Aspinall

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

An Essence of SSReflect.

Iain Whiteside, David Aspinall, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Towards Formal Proof Script Refactoring.

Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011