(2021). DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. To appear at SAFECOMP 2021, Pre-print available on arxiv.
(2021). Guidance on the assurance of machine learning in autonomous systems (AMLAS) TPre-print available on arxiv.
(2021). Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Computing Surveys, Vol. 54, No. 5.
(2020). Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP 2020 (39th International Conference on Computer Safety, Reliability and Security).
(2020). Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020)
(2019). Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. Pre-print available on arxiv.
(2019). A pattern for arguing the assurance of machine learning in medical diagnosis systems. International Conference on Computer Safety, Reliability, and Security
(2019). Socio-cyber-physical systems: models, opportunities, open challenges. IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)
(2019). Efficient Parametric Model Checking Using Domain Knowledge. IEEE Transactions on Software Engineering. Vol 47, Issue 6 ePMC Website
(2019). Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans. Accepted for publication in the proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
(2018). Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering OMNI Website
(2018). Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns. New Ideas and Emerging Results track of ICSE 2018
(2018). Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software. Software Engineering for Self-Adaptive Systems III. Assurances, p223-248
(2017). Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. IEEE International Conference on Software Architecture (ICSA), 2017.
(2017). Self-Adaptive Role-Based Access Control for Business Processes Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE Press, 2017.
(2015). FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016. FACT Website
(2015). Stochastic modelling, analysis and verification of mission-critical software and business processes. 4th IMA Conference on Mathematics in Defence.