Rob Ashmore

12 papers B 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.
ACM Comput. Surv.
Rob Ashmore, Radu Calinescu, Colin Paterson
2022 — conf
Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain.
ISSRE Workshops
Rob Ashmore, Andrew Howe, Rhiannon Chilton, Shamal Faily
2021 — conf
The Utility of Neural Network Test Coverage Measures.
SafeAI@AAAI
Rob Ashmore, Alec Banks
2020 B conf
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware.
SAFECOMP
Rob Ashmore, James Sharp
2019 J jnl
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.
CoRR
Rob Ashmore, Radu Calinescu, Colin Paterson
2019 — conf
DeepConcolic: testing and debugging deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 — conf
Requirements Assurance in Machine Learning.
SafeAI@AAAI
Alec Banks, Rob Ashmore
2019 J jnl
Structural Test Coverage Criteria for Deep Neural Networks.
ACM Trans. Embed. Comput. Syst.
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 — conf
Structural test coverage criteria for deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2018 — conf
"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift.
SAFECOMP Workshops
Rob Ashmore, Matthew Hill
2017 — conf
Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems.
DSN Workshops
Kate Gill, Rob Ashmore
2014 J jnl
The Utility and Practicality of Quantifying Software Reliability.
CoRR
Rob Ashmore