Rob Ashmore

According to our database, Rob Ashmore authored at least 10 papers between 2014 and 2022.

Collaborative distances:

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

2022

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.

Rob Ashmore, Radu Calinescu, Colin Paterson

ACM Comput. Surv., 2022

Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain.

Rob Ashmore, Andrew Howe, Rhiannon Chilton, Shamal Faily

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

The Utility of Neural Network Test Coverage Measures.

Rob Ashmore, Alec Banks

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

2020

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware.

Rob Ashmore, James Sharp

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

2019

Structural Test Coverage Criteria for Deep Neural Networks.

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore

ACM Trans. Embed. Comput. Syst., 2019

DeepConcolic: testing and debugging deep neural networks.

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Requirements Assurance in Machine Learning.

Alec Banks, Rob Ashmore

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI-19), 2019

2018

"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift.

Rob Ashmore, Matthew Hill

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

2017

Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems.

Kate Gill, Rob Ashmore

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2014

The Utility and Practicality of Quantifying Software Reliability.

Rob Ashmore

CoRR, 2014