Dr Blair Archibald

Lecturer (School of Computing Science)

email: Blair.Archibald@glasgow.ac.uk

502c, School of Computing Science, Sir Alwyn Williams Building, University of Glasgow, G12 8RZ

Biography

I am Lecturer in Computing Science with an interest in how we can (computationally) model and reason about complex systems, e.g. using Milner's Bigraphs and associated formal modelling techniques such as probabilistic model checking.

I was formerly a Research Associate working on the Science of Sensor Systems (S4) project which aims to deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments.

I have a keen interest in reproducible research and how software is built and managed across research domains and was named a Software Sustainability Institute Fellow in 2017.

I obtained a Ph.D in Computing Science from the University of Glasgow in 2018. My thesis focused on creating re-usable high level abstractions (algorithmic skeletons) for parallel tree search problems. This led to the creation of YewPar, a C++ framework for parallel search.

I am an active member of the Systems, PLUG, and FATA research groups.

Research interests

Bigraphical modelling
(Wireless) Sensor Systems
Search, e.g. Constraint Programming
Parallel and Distributed Computing
Programming Languages/Functional Programming

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017

Number of items: 30.

2025

Archibald, B. , Sevegnani, M. and Xu, M. (2025) Modelling and verifying BDI agents under uncertainty. Science of Computer Programming, 242, 103254. (doi: 10.1016/j.scico.2024.103254)

Althubiti, E., Archibald, B. and Sevegnani, M. (2025) Formalising privacy regulations with bigraphs. Software and Systems Modeling, (Accepted for Publication)

Abioye, A. O., Hunt, W., Gu, Y. , Schneiders, E., Naiseh, M., Archibald, B. , Sevegnani, M. , Ramchurn, S. D., Fishcer, J. E. and Soorati, M. (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction, (doi: 10.1145/3727989) (Early Online Publication)

Xu, M. , Archibald, B. and Sevegnani, M. (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)

Archibald, B. , Calder, M. and Sevegnani, M. (2025) Practical modelling with bigraphs. Formal Aspects of Computing, (doi: 10.1145/3721142) (Early Online Publication)

2024

Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, 36(3), 17. (doi: 10.1145/3685934)

Archibald, B. and Sevegnani, M. (2024) A Bigraphs Paper of Sorts. In: 17th International Conference on Graph Transformation (ICGT 2024), Enschede, Netherlands, 10-11 July 2024, pp. 21-38. ISBN 9783031642845 (doi: 10.1007/978-3-031-64285-2_2)

Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling Real-time Systems with Bigraphs. In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024, (Accepted for Publication)

Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B. and Sevegnani, M. (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)

2023

Gu, Y., Hunt, W., Archibald, B. , Xu, M. , Sevegnani, M. and Soorati, M. D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)

Xu, M. , Rivoalen, T., Archibald, B. and Sevegnani, M. (2023) CAN-verify: A Verification Tool for BDI Agents. In: 8th International Conference on integrated Formal Methods (iFM 2023), Leiden, The Netherlands, 13-15 November 2023, ISBN 9783031477058 (doi: 10.1007/978-3-031-47705-8_19)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative Verification and Strategy Synthesis for BDI Agents. In: NASA Formal Methods Symposium (NFM), Houston, TX, USA, 16-18 May 2023, pp. 241-259. ISBN 9783031331695 (doi: 10.1007/978-3-031-33170-1_15)

MacGregor, R., Archibald, B. and Trinder, P. (2023) Generic exact combinatorial search at HPC scale. International Journal of Parallel Programming, 51(1), pp. 83-106. (doi: 10.1007/s10766-022-00744-3)

2022

Mitchell, S. N. et al. (2022) FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 380(2233), 20210300. (doi: 10.1098/rsta.2021.0300) (PMID:35965468) (PMCID:PMC9376726)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, ISBN 1891706543 (doi: 10.18293/SEKE2022-149)

Archibald, B. , Calder, M. and Sevegnani, M. (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

2021

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)

Archibald, B. , Kulcsár, G. and Sevegnani, M. (2021) A tale of two graph models: a case study in wireless sensor networks. Formal Aspects of Computing, 33(6), pp. 1249-1277. (doi: 10.1007/s00165-021-00558-z)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)

Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021, 15.1-15.17. ISBN 9783959772112

2020

Archibald, B. , Calder, M. and Sevegnani, M. (2020) Conditional Bigraphs. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 3-19. ISBN 9783030513719 (doi: 10.1007/978-3-030-51372-6_1)

Archibald, B. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B. (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi: 10.1145/3332466.3374537)

2019

Archibald, B. , Dunlop, F., Hoffmann, R., McCreesh, C. , Prosser, P. and Trimble, J. (2019) Sequential and parallel solution-biased search for subgraph algorithms. In: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2019), Thessaloniki, Greece, 4-7 June 2019, pp. 20-38. ISBN 9783030192112 (doi: 10.1007/978-3-030-19212-9_2)