The role of safety architectures in aviation safety cases E Denney, G Pai, I Whiteside Reliability Engineering & System Safety 191, 106502, 2019 | 39 | 2019 |
Towards formal proof script refactoring I Whiteside, D Aspinall, L Dixon, G Grov Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011 | 34 | 2011 |
Formal foundations for hierarchical safety cases E Denney, G Pai, I Whiteside 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 21 | 2015 |
PaRoT: A practical framework for robust deep neural network training EW Ayers, F Eiras, M Hawasly, I Whiteside NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 20 | 2020 |
Modeling the safety architecture of UAS flight operations E Denney, G Pai, I Whiteside Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 20 | 2017 |
Refactoring proofs IJ Whiteside The University of Edinburgh, 2013 | 19 | 2013 |
Hierarchical safety cases E Denney, G Pai, I Whiteside NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 17 | 2013 |
Model-driven development of safety architectures E Denney, G Pai, I Whiteside 2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017 | 13 | 2017 |
Proof patterns for formal methods L Freitas, I Whiteside FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 11 | 2014 |
An essence of ssreflect I Whiteside, D Aspinall, G Grov Intelligent Computer Mathematics: 11th International Conference, AISC 2012 …, 2012 | 11 | 2012 |
Polar: A Framework for Proof Refactoring D Dietrich, I Whiteside, D Aspinall International Conference on Logic for Programming Artificial Intelligence …, 2013 | 10 | 2013 |
A model for capturing and replaying proof strategies L Freitas, CB Jones, A Velykis, I Whiteside Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 1 | 2014 |
How to say why (in AI4FM) L Freitas, CB Jones, A Velykis, I Whiteside Newcastle University, Computing Science, 2013 | 1 | 2013 |
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013) C Lange, D Aspinall, J Carette, J Davenport, A Kohlhase, M Kohlhase, ... CEUR Vol. 1010 editors, 2013 | | 2013 |
How to say why (in AI4FM) CB Jones, L Freitas, A Velykis, I Whiteside School of Computing Science Technical Report Series, 2013 | | 2013 |
Refactoring Proof: Thesis Proposal IJ Whiteside | | 2011 |
An Automated Proof of a Multilinear Generalisation of the Cauchy-Schwarz Inequality IJ Whiteside | | 2009 |
ASSURE 2014 Workshop Organizers Workshop Chairs E Denney, I Habli, G Pai, R Bloomfield, R Hawkins, P Jones, T Kelly, ... | | |