Blair Archibald: Publications

Published

Modelling and verifying BDI agents under uncertainty
Blair Archibald, Michele Sevegnani, Mengwei Xu
Science of Computer Programming 242 2025
pdf doi
CAN-Verify: Automated analysis for BDI agents
Mengwei Xu, Blair Archibald, Michele Sevegnani
Science of Computer Programming 241 2025
pdf doi

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs
Maram Albalwe, Blair Archibald, and Michele Sevegnani
Formal Aspects of Computing, volume 36, issue 3, pp 1–25, 2024
pdf doi
A Bigraphs Paper of Sorts
Blair Archibald and Michele Sevegnani
International Conference on Graph Transformation (ICGT 2024), 2024
pdf
Modelling Real-time Systems with Bigraphs
Maram Albalwe, Blair Archibald, and Michele Sevegnani
International Workshop on Graph Computation Models (GCM), 2024
pdf
Quantitative modelling and analysis of BDI agents
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
Journal of Software And Systems Modelling
pdf doi
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, and Michele Sevegnani
ACM/IEEE International Conference on Human Robot Interaction (HRI), Boulder, Colorado, USA, March 2024
pdf doi video

Generic Exact Combinatorial Search at HPC Scale
Ruairidh MacGregor, Blair Archibald, and Phil Trinder
International Journal of Parallel Programming, 2023
pdf doi
CAN-verify: A Verification Tool for BDI Agents
Mengwei Xu, Thibault Rivoalen, Blair Archibald, and Michele Sevegnani
International Conference on integrated Formal Methods (iFM), Leiden, the Netherlands, November 2023
pdf doi
Quantitative Verification and Strategy Synthesis for BDI Agents
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
NASA Formal Methods Symposium (NFM 2023), Houston, TX, USA, 2023
pdf doi
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime
Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, and Mohammad D. Soorati
IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2023), Busan, Korea, 28-31 August 2023
pdf doi

Probabilistic Bigraphs
Blair Archibald, Muffy Calder and Michele Sevegnani
Formal Aspects of Computing, ACM, 2022
pdf doi
Modelling and Verifying BDI Agents with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
Science of Computer Programming, Volume 215, pp 288-310, Elsevier, March 2022
pdf doi
Verifying BDI Agents in Dynamic Environments
Mengwei Xu, Blair Archibald, Muffy Calder, and Michele Sevegnani
34th International Conference on Software Engineering & Knowledge Engineering (SEKE 2022), Pittsburgh, USA, July 2022
pdf doi
FAIR data pipeline: provenance-driven data management for traceable scientific workflows
Sonia Natalie Mitchell, Andrew Lahiff, Nathan Cummings, Jonathan Hollocombe, Bram Boskamp, Ryan Field, Dennis Reddyhoff, Kristian Zarebski, Antony Wilson, Bruno Viola, Martin Burke, Blair Archibald, Paul Bessell, Richard Blackwell, Lisa A. Boden, Alys Brett, Sam Brett, Ruth Dundas, Jessica Enright, Alejandra N. Gonzalez-Beltran, Claire Harris, Ian Hinder, Christopher David Hughes, Martin Knight, Vino Mano, Ciaran McMonagle, Dominic Mellor, Sibylle Mohr, Glenn Marion, Louise Matthews, Iain J. McKendrick, Christopher Mark Pooley, Thibaud Porphyre, Aaron Reeves, Edward Townsend, Robert Turner, Jeremy Walton and Richard Reeve
Philosophical Transactions of the Royal Society A. 2022
pdf doi
Parallel Flowshop in YewPar
Ignas Knizikevicius, Phil Trinder, Blair Archibald, and Jinghua Yin
Tech Report, ArXiv, 2022
pdf doi

Probabilistic BDI Agents: Actions, Plans, and Intentions
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
pdf doi
Practical Bigraphs via Subgraph Isomorphism
Blair Archibald, Kyle Burns, Ciaran McCreesh, and Michele Sevegnani
27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
pdf doi video
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 2021
pdf doi
A Tale of Two Graph Models: A Case Study in Wireless Sensor Networks
Blair Archibald, Géza Kulcsár and Michele Sevegnani
Formal Aspects of Computing
pdf doi

Conditional Bigraphs
Blair Archibald, Muffy Calder and Michele Sevegnani
International Conference on Graph Transformation (ICGT 2020), 2020, LNCS, volume 12150, pp 3–19
pdf doi video
YewPar: Skeletons for Exact Combinatorial Search
Blair Archibald, Patrick Maier, Robert Stewart, Phil Trinder
Principles and Practice of Parallel Programming (PPoPP), 2020, San Diego, California, ACM Press
pdf doi artifact data
BigraphTalk: Verified Design of IoT Applications
Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani and Yi-Bing Lin
IEEE Internet of Things Journal, January 2020
pdf doi artifact

Implementing YewPar: a Framework for Parallel Tree Search
Blair Archibald, Patrick Maier, Robert Stewart, Phil Trinder
Euro-Par, 2019, Göttingen, Germany, Springer
pdf doi
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
CPAIOR, 2019. LNCS, vol 11494.
pdf doi source-code

Algorithmic skeletons for exact combinatorial search at scale
Blair Archibald
PhD Thesis. 2018.
thesis-pdf
Replicable Parallel Branch and Bound Search
Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert Stewart, Phil Trinder
Journal of Parallel and Distributed Computing (JPDC), Volume 113, 2018
pdf doi dataset

Towards Generic Scalable Parallel Combinatorial Search
Blair Archibald, Patrick Maier, Robert Stewart, Phil Trinder, and Jan De Beule
Proceedings of the International Workshop on Parallel Symbolic Computation (PASCO), 2017
pdf doi dataset
Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers
Jeremy Singer and Blair Archibald
Proceedings of the Conference on Trends in Functional Programming in Education (TFPIE), 2017.
pdf