Iain Whiteside

14 papers A 1B 3Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2020 — conf
PaRoT: A Practical Framework for Robust Deep Neural Network Training.
NFM
Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
2020 J jnl
PaRoT: A Practical Framework for Robust Deep Neural Network Training.
CoRR
Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
2019 J jnl
The role of safety architectures in aviation safety cases.
Reliab. Eng. Syst. Saf.
Ewen Denney, Ganesh Pai, Iain Whiteside
2017 A conf
Model-Driven Development of Safety Architectures.
MoDELS
Ewen Denney, Ganesh Pai, Iain Whiteside
2017 B conf
Modeling the Safety Architecture of UAS Flight Operations.
SAFECOMP
Ewen Denney, Ganesh Pai, Iain Whiteside
2015 — conf
Formal Foundations for Hierarchical Safety Cases.
HASE
Ewen Denney, Ganesh J. Pai, Iain Whiteside
2014 — conf
A Model for Capturing and Replaying Proof Strategies.
VSTTE
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
2014 B conf
Proof Patterns for Formal Methods.
FM
Leo Freitas, Iain Whiteside
2013 — conf
Hierarchical Safety Cases.
NASA Formal Methods
Ewen Denney, Ganesh Pai, Iain Whiteside
2013 — ed.
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK
CICM Workshops
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
2013 B conf
Polar: A Framework for Proof Refactoring.
LPAR
Dominik Dietrich, Iain Whiteside, David Aspinall
2013 — —
Refactoring proofs.
Iain Whiteside
2012 — conf
An Essence of SSReflect.
AISC/MKM/Calculemus
Iain Whiteside, David Aspinall, Gudmund Grov
2011 — conf
Towards Formal Proof Script Refactoring.
Calculemus/MKM
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov