Publications
(2022).
From Pluralistic Normative Principles to Autonomous‐Agent Rules
Minds and Machines, Vol 32, Issue 3.
(2022).
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
(2022).
Risk-aware Real-time Object Detection
18th European Dependable Computing Conference
(2022).
Mitigating Risk in Neural Network Classifiers
48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA)
(2022).
Quantitative Verification with Adaptive Uncertainty Reduction
Journal of Systems and Software 188 (2022): 111275
(2022).
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Science of Computer Programming (2022): 102809
(2022).
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
(2021).
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021
DeepCert Website
(2021).
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)
Technical report available on arxiv.
(2021).
Reinforcement learning with quantitative verification for assured multi-agent policies
13th International Conference on Agents and Artificial Intelligence
(2020).
Assuring the safety of machine learning for pedestrian detection at crossings.
International Conference on Computer Safety, Reliability, and Security
(2020).
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems.
SafeAI 2020
(2019).
Detection and Mitigation of Rare Subclasses in Neural Network Classifiers.
2021 IEEE International Conference on Artificial Intelligence Testing (AITest).
(2019).
A pattern for arguing the assurance of machine learning in medical diagnosis systems.
International Conference on Computer Safety, Reliability, and Security
(2019).
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.
Pre-print available on arxiv.
(2019).
Efficient Parametric Model Checking Using Domain Knowledge.
Accepted for publication in IEEE Transactions on Software Engineering.
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.
Older Publications
(1996).
The Development and Evaluation of an H-infinity Induction Motor Controller.
IFAC Proceedings Volumes 29, no. 1, pp 3368-3373.
(1994).
A fixed parameter optimal controller design for an active suspension system—A sensitivity analysis.
Mechatronics 4.3 pp 317-329.
(1993).
A quarter car active suspension viewed within the generalised minimum variance framework.
International Conference on Systems Science, Wroclaw, 1992
(1992).
The Effects Of A Restricted Wordlength Micro-controller On The Performance Of Advanced Suspension Systems.
Active Suspension Technology for Automotive and Railway Applications (Digest No: 1992/193), IEE Colloquium IET.
(1991).
A comparison of active and semi-active suspension systems utilising digital micro-processor control.
Proc. 8th International Conference on Systems Engineering (1991), pp. 420–427
(1991).
A study of computer controlled suspension systems.
Proc. IASTED Conf., Modelling, Identification and Control (1991), pp. 46–49.