2025

Fraser, Douglas, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717, Cook, Marco ORCID: https://orcid.org/0000-0002-5232-2381 and Pezaros, Dimitrios ORCID: https://orcid.org/0000-0003-0939-378X (2025) Online Model Checking for Anomaly Detection in Industrial Control Systems. In: 20th International Conference on Integrated Formal Methods (iFM 2025), Paris, France, 17-18 November 2025, pp. 162-181. ISBN 9783032107947 (doi: 10.1007/978-3-032-10794-7_9)

2022

Kavanagh, William, Fraser, Douglas, Hunter, Ethan ORCID: https://orcid.org/0000-0002-4309-6861, Pancheva, Alexandrina, Parkinson, Jack ORCID: https://orcid.org/0000-0001-6175-7638, Paun, Iulia, Wallis, Tom ORCID: https://orcid.org/0000-0002-7563-0133, Ada, Mireilla Bikanga, Border, Helen and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2022) Experience report: challenges and opportunities of remote labs for a computer science department. Postgraduate Pedagogies, 2(1), pp. 173-207.

2020

Fraser, Douglas, Giaquinta, Ruben, Hoffmann, Ruth, Ireland, Murray, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717 and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2020) Collaborative models for autonomous systems controller synthesis. Formal Aspects of Computing, 32, pp. 157-186. (doi: 10.1007/s00165-020-00508-1)

Articles

Kavanagh, William, Fraser, Douglas, Hunter, Ethan ORCID: https://orcid.org/0000-0002-4309-6861, Pancheva, Alexandrina, Parkinson, Jack ORCID: https://orcid.org/0000-0001-6175-7638, Paun, Iulia, Wallis, Tom ORCID: https://orcid.org/0000-0002-7563-0133, Ada, Mireilla Bikanga, Border, Helen and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2022) Experience report: challenges and opportunities of remote labs for a computer science department. Postgraduate Pedagogies, 2(1), pp. 173-207.

Fraser, Douglas, Giaquinta, Ruben, Hoffmann, Ruth, Ireland, Murray, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717 and Norman, Gethin ORCID: https://orcid.org/0000-0001-9326-4344 (2020) Collaborative models for autonomous systems controller synthesis. Formal Aspects of Computing, 32, pp. 157-186. (doi: 10.1007/s00165-020-00508-1)

Conference Proceedings

Fraser, Douglas, Miller, Alice ORCID: https://orcid.org/0000-0002-0941-1717, Cook, Marco ORCID: https://orcid.org/0000-0002-5232-2381 and Pezaros, Dimitrios ORCID: https://orcid.org/0000-0003-0939-378X (2025) Online Model Checking for Anomaly Detection in Industrial Control Systems. In: 20th International Conference on Integrated Formal Methods (iFM 2025), Paris, France, 17-18 November 2025, pp. 162-181. ISBN 9783032107947 (doi: 10.1007/978-3-032-10794-7_9)