The Utility and Practicality of Quantifying Software Reliability. - Rob Ashmore (CoRR, 2014)

Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems. - Kate Gill; Rob Ashmore (DSN Workshops, 2017)

"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift. - Rob Ashmore; Matthew Hill (SAFECOMP Workshops, 2018)

Requirements Assurance in Machine Learning. - Alec Banks; Rob Ashmore (SafeAI@AAAI, 2019)

DeepConcolic: testing and debugging deep neural networks. - Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; James Sharp; Matthew Hill; Rob Ashmore (ICSE (Companion Volume), 2019)

Structural test coverage criteria for deep neural networks. - Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; James Sharp; Matthew Hill; Rob Ashmore (ICSE (Companion Volume), 2019)

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. - Rob Ashmore; James Sharp (SAFECOMP, 2020)

The Utility of Neural Network Test Coverage Measures. - Rob Ashmore; Alec Banks (SafeAI@AAAI, 2021)

Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain. - Rob Ashmore; Andrew Howe; Rhiannon Chilton; Shamal Faily (ISSRE Workshops, 2022)

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. - Rob Ashmore; Radu Calinescu; Colin Paterson (ACM Comput. Surv., 2022)