Iain Whiteside

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Topics

Hierarchical Representation

Provably Correct

Neural Network Training

Top Venues

AISC/MKM/Calculemus

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
PaRoT: A Practical Framework for Robust Deep Neural Network Training. NFM (2020)
Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
PaRoT: A Practical Framework for Robust Deep Neural Network Training. CoRR (2020)
Ewen Denney, Ganesh Pai, Iain Whiteside
The role of safety architectures in aviation safety cases. Reliab. Eng. Syst. Saf. 191 (2019)
Ewen Denney, Ganesh Pai, Iain Whiteside
Modeling the Safety Architecture of UAS Flight Operations. SAFECOMP (2017)
Ewen Denney, Ganesh Pai, Iain Whiteside
Model-Driven Development of Safety Architectures. MoDELS (2017)
Ewen Denney, Ganesh J. Pai, Iain Whiteside
Formal Foundations for Hierarchical Safety Cases. HASE (2015)
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
A Model for Capturing and Replaying Proof Strategies. VSTTE (2014)
Leo Freitas, Iain Whiteside
Proof Patterns for Formal Methods. FM (2014)
Dominik Dietrich, Iain Whiteside, David Aspinall
Polar: A Framework for Proof Refactoring. LPAR (2013)
Ewen Denney, Ganesh Pai, Iain Whiteside
Hierarchical Safety Cases. NASA Formal Methods (2013)
Iain Whiteside, David Aspinall, Gudmund Grov
An Essence of SSReflect. AISC/MKM/Calculemus (2012)
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
Towards Formal Proof Script Refactoring. Calculemus/MKM (2011)