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

Import to contacts

ORCID iDhttps://orcid.org/0000-0003-3699-6658

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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei (2025) Modelling and verifying BDI agents under uncertainty. Science of Computer Programming, 242, 103254. (doi: 10.1016/j.scico.2024.103254)

Althubiti, Ebtihal, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formalising privacy regulations with bigraphs. Software and Systems Modeling, (Accepted for Publication)

Abioye, Ayodeji O., Hunt, William, Gu, Yue ORCID logoORCID: https://orcid.org/0000-0002-8134-5822, Schneiders, Eike, Naiseh, Mohammad, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481, Ramchurn, Sarvapali D., Fishcer, Joel E. and Soorati, Mohammad (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, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)

Albalwe, Maram, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Modelling Real-time Systems with Bigraphs. In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024, pp. 96-116. (doi: 10.4204/EPTCS.417.6)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Practical modelling with bigraphs. Formal Aspects of Computing, (doi: 10.1145/3721142) (Early Online Publication)

2024

Albalwe, Maram, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, 36(3), 17. (doi: 10.1145/3685934)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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)

Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Yue, Hunt, William, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Soorati, Mohammad 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, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Rivoalen, Thibault, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Ruairidh, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

2021

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Kulcsár, Géza and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Burns, Kyle ORCID logoORCID: https://orcid.org/0000-0003-4812-0098, McCreesh, Ciaran ORCID logoORCID: https://orcid.org/0000-0002-6106-4871 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Shieh, Min-Zheng, Hu, Yu-Hsuan, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Lin, Yi-Bing (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Dunlop, Fraser, Hoffmann, Ruth, McCreesh, Ciaran ORCID logoORCID: https://orcid.org/0000-0002-6106-4871, Prosser, Patrick ORCID logoORCID: https://orcid.org/0000-0003-4460-6912 and Trimble, James (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)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi: 10.1007/978-3-030-29400-7_14)

2018

Singer, Jeremy ORCID logoORCID: https://orcid.org/0000-0001-9462-6802 and Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 (2018) Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. Electronic Proceedings in Theoretical Computer Science, 270, pp. 37-51. (doi: 10.4204/EPTCS.270.3)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, McCreesh, Ciaran ORCID logoORCID: https://orcid.org/0000-0002-6106-4871, Stewart, Robert and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

2017

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert, Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 and De Beule, Jan (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi: 10.1145/3115936.3115942)

This list was generated on Sun Jun 15 05:21:03 2025 BST.
Jump to: Articles | Conference Proceedings
Number of items: 30.

Articles

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei (2025) Modelling and verifying BDI agents under uncertainty. Science of Computer Programming, 242, 103254. (doi: 10.1016/j.scico.2024.103254)

Althubiti, Ebtihal, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formalising privacy regulations with bigraphs. Software and Systems Modeling, (Accepted for Publication)

Abioye, Ayodeji O., Hunt, William, Gu, Yue ORCID logoORCID: https://orcid.org/0000-0002-8134-5822, Schneiders, Eike, Naiseh, Mohammad, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481, Ramchurn, Sarvapali D., Fishcer, Joel E. and Soorati, Mohammad (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, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Practical modelling with bigraphs. Formal Aspects of Computing, (doi: 10.1145/3721142) (Early Online Publication)

Albalwe, Maram, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, 36(3), 17. (doi: 10.1145/3685934)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)

MacGregor, Ruairidh, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (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)

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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Kulcsár, Géza and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Shieh, Min-Zheng, Hu, Yu-Hsuan, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Lin, Yi-Bing (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)

Singer, Jeremy ORCID logoORCID: https://orcid.org/0000-0001-9462-6802 and Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 (2018) Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. Electronic Proceedings in Theoretical Computer Science, 270, pp. 37-51. (doi: 10.4204/EPTCS.270.3)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, McCreesh, Ciaran ORCID logoORCID: https://orcid.org/0000-0002-6106-4871, Stewart, Robert and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi: 10.1016/j.jpdc.2017.10.010)

Conference Proceedings

Albalwe, Maram, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Modelling Real-time Systems with Bigraphs. In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024, pp. 96-116. (doi: 10.4204/EPTCS.417.6)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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)

Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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)

Gu, Yue, Hunt, William, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Soorati, Mohammad 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, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061, Rivoalen, Thibault, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID logoORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Burns, Kyle ORCID logoORCID: https://orcid.org/0000-0003-4812-0098, McCreesh, Ciaran ORCID logoORCID: https://orcid.org/0000-0002-6106-4871 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (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)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Dunlop, Fraser, Hoffmann, Ruth, McCreesh, Ciaran ORCID logoORCID: https://orcid.org/0000-0002-6106-4871, Prosser, Patrick ORCID logoORCID: https://orcid.org/0000-0003-4460-6912 and Trimble, James (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)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert and Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, pp. 184-196. ISBN 9783030293994 (doi: 10.1007/978-3-030-29400-7_14)

Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Maier, Patrick, Stewart, Robert, Trinder, Phil ORCID logoORCID: https://orcid.org/0000-0003-0190-7010 and De Beule, Jan (2017) Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017, ISBN 9781450352888 (doi: 10.1145/3115936.3115942)

This list was generated on Sun Jun 15 05:21:03 2025 BST.

Supervision

Research datasets

Jump to: 2023 | 2021 | 2019 | 2018
Number of items: 4.

2023

Sevegnani, M. , Archibald, B. and Albalwe, M. M. S. (2023) RPL Bigraphs model with contikiRPL. [Data Collection]

2021

Archibald, B. , Burns, K., Mccreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances. [Data Collection]

2019

Archibald, B. , Maier, P., Trinder, P. and Stewart, R. (2019) YewPar: Skeletons for Exact Combinatorial Search. [Data Collection]

2018

Archibald, B. (2018) Algorithmic Skeletons for Exact Combinatorial Search at Scale. [Data Collection]

This list was generated on Sun Jun 15 01:12:23 2025 BST.

Dr Blair Archibald on Twitter