Blair Archibald

According to our database, Blair Archibald authored at least 30 papers between 1999 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CAN-Verify: Automated analysis for BDI agents.

Mengwei Xu, Blair Archibald, Michele Sevegnani

Sci. Comput. Program., 2025

2024

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs.

Maram Albalwe, Blair Archibald, Michele Sevegnani

Formal Aspects Comput., September, 2024

Quantitative modelling and analysis of BDI agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Softw. Syst. Model., April, 2024

Practical Modelling with Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

CoRR, 2024

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, Michele Sevegnani

Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

A Bigraphs Paper of Sorts.

Blair Archibald, Michele Sevegnani

Proceedings of the Graph Transformation - 17th International Conference, 2024

2023

Generic Exact Combinatorial Search at HPC Scale.

Ruairidh MacGregor, Blair Archibald, Phil Trinder

Int. J. Parallel Program., February, 2023

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.

Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Quantitative Verification and Strategy Synthesis for BDI Agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CAN-verify: A Verification Tool For BDI Agents.

Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Modelling and verifying BDI agents with bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Sci. Comput. Program., 2022

Probabilistic Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

Formal Aspects Comput., 2022

Parallel Flowshop in YewPar.

Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan

CoRR, 2022

Verifying BDI Agents in Dynamic Environments.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

A tale of two graph models: a case study in wireless sensor networks.

Blair Archibald, Géza Kulcsár, Michele Sevegnani

Formal Aspects Comput., 2021

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows.

Sonia Natalie Mitchell, Andrew Lahiff, Nathan Cummings, Jonathan Hollocombe, Bram Boskamp, Dennis Reddyhoff, Ryan Field, Kristian Zarebski, Antony Wilson, Martin Burke, Blair Archibald, Paul Bessell, Richard Blackwell, Lisa A. Boden, Alys Brett, Sam Brett, Ruth Dundas, Jessica A. Enright, Alejandra N. González-Beltrán, 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, Richard E. Reeve

CoRR, 2021

Probablistic Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

CoRR, 2021

Probabilistic BDI Agents: Actions, Plans, and Intentions.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Practical Bigraphs via Subgraph Isomorphism.

Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

BigraphTalk: Verified Design of IoT Applications.

Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin

IEEE Internet Things J., 2020

YewPar: skeletons for exact combinatorial search.

Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Conditional Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Implementing YewPar: A Framework for Parallel Tree Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

Sequential and Parallel Solution-Biased Search for Subgraph Algorithms.

Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

Algorithmic skeletons for exact combinatorial search at scale.

Blair Archibald

PhD thesis, 2018

Replicable parallel branch and bound search.

Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder

J. Parallel Distributed Comput., 2018

2017

Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers.

Jeremy Singer, Blair Archibald

Proceedings of the Proceedings Sixth Workshop on Trends in Functional Programming in Education, 2017

Towards Generic Scalable Parallel Combinatorial Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule

Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

1999

Learning approaches for detecting and tracking news events.

Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, Thomas Pierce, Blair Archibald, Xin Liu

IEEE Intell. Syst., 1999