Publications

Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark Barrett (2021). DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. To appear at SAFECOMP 2021, Pre-print available on arxiv.
R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli (2021). Guidance on the assurance of machine learning in autonomous systems (AMLAS) TPre-print available on arxiv.
Rob Ashmore, Radu Calinescu, Colin Paterson (2021). Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Computing Surveys, Vol. 54, No. 5.
Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, and Ibrahim Habli (2020). Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP 2020 (39th International Conference on Computer Safety, Reliability and Security).
Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu and Ibrahim Habli (2020). Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020)
Colin Paterson, Radu Calinescu (2019). Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. Pre-print available on arxiv.
Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli (2019). A pattern for arguing the assurance of machine learning in medical diagnosis systems. International Conference on Computer Safety, Reliability, and Security
Radu Calinescu, Javier Cámara, and Colin Paterson (2019). Socio-cyber-physical systems: models, opportunities, open challenges. IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)
Radu Calinescu, Colin Paterson, Kenneth Johnson (2019). Efficient Parametric Model Checking Using Domain Knowledge. IEEE Transactions on Software Engineering. Vol 47, Issue 6 ePMC Website
Colin Paterson, Radu Calinescu, Di Wang and Suresh Manandhar (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)
Colin Paterson and Radu Calinescu (2018). Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering OMNI Website
Radu Calinescu, Kenneth Johnson and Colin Paterson (2018). Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns. New Ideas and Emerging Results track of ICSE 2018
Radu Calinescu, Simos Gerasimou, Kenneth Johnson and Colin Paterson (2018). Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software. Software Engineering for Self-Adaptive Systems III. Assurances, p223-248
Colin Paterson and Radu Calinescu (2017). Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. IEEE International Conference on Software Architecture (ICSA), 2017.
Carlos Eduardo da Silva, Jose Diego Saraiva da Silva, Colin Paterson and Radu Calinescu (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.
Radu Calinescu, Kenneth Johnson and Colin Paterson (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
Simos Gerasimou, George Mason, Colin Paterson, Alec Banks, Radu Calinescu, Daniel Kudenko and Stephen Rowe (2015). Stochastic modelling, analysis and verification of mission-critical software and business processes. 4th IMA Conference on Mathematics in Defence.

Older Publications

C.Paterson, CA and Postlethwaite, I and Walker, D and Bashagha, A (1996). The Development and Evaluation of an H-infinity Induction Motor Controller. IFAC Proceedings Volumes 29, no. 1, pp 3368-3373.
Paterson, CA and Burnham, KJ and James, DJG and Williams, RA (1994). A fixed parameter optimal controller design for an active suspension system—A sensitivity analysis. Mechatronics 4.3 pp 317-329.
Paterson, CA and Burnham, KJ and James, DJG and Williams, RA (1993). A quarter car active suspension viewed within the generalised minimum variance framework. International Conference on Systems Science, Wroclaw, 1992
Paterson, CA and Burnham, KJ and James, DJG and Williams, RA (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.
Paterson, CA and Burnham, KJ and James, DJG and Williams, RA (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
Paterson, CA and Burnham, KJ and James, DJG and Williams, RA (1991). A study of computer controlled suspension systems. Proc. IASTED Conf., Modelling, Identification and Control (1991), pp. 46–49.