Blair Archibald

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 29

Top Venues

CoRR

ICGT

Formal Aspects Comput.

PASCO@ISSAC

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Blair Archibald, Muffy Calder, Michele Sevegnani
Practical Modelling with Bigraphs. CoRR (2024)
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. HRI (Companion) (2024)
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. CoRR (2024)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. 23 (2) (2024)
Blair Archibald, Michele Sevegnani
A Bigraphs Paper of Sorts. ICGT (2024)
Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. RO-MAN (2023)
Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani
CAN-verify: A Verification Tool For BDI Agents. iFM (2023)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative Verification and Strategy Synthesis for BDI Agents. NFM (2023)
Ruairidh MacGregor, Blair Archibald, Phil Trinder
Generic Exact Combinatorial Search at HPC Scale. Int. J. Parallel Program. 51 (1) (2023)
Blair Archibald, Muffy Calder, Michele Sevegnani
Probabilistic Bigraphs. Formal Aspects Comput. 34 (2) (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Verifying BDI Agents in Dynamic Environments. SEKE (2022)
Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan
Parallel Flowshop in YewPar. CoRR (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. 215 (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS (2021)
Blair Archibald, Géza Kulcsár, Michele Sevegnani
A tale of two graph models: a case study in wireless sensor networks. Formal Aspects Comput. 33 (6) (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Modelling and Verifying BDI Agents with Bigraphs. CoRR (2021)
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 Reeve
FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows. CoRR (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM (2021)
Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani
Practical Bigraphs via Subgraph Isomorphism. CP (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani
Probablistic Bigraphs. CoRR (2021)
Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder
YewPar: skeletons for exact combinatorial search. PPoPP (2020)
Blair Archibald, Muffy Calder, Michele Sevegnani
Conditional Bigraphs. ICGT (2020)
Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin
BigraphTalk: Verified Design of IoT Applications. IEEE Internet Things J. 7 (4) (2020)
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. CPAIOR (2019)
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par (2019)
Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113 (2018)
Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder
Replicable Parallel Branch and Bound Search. CoRR (2017)
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC (2017)
Jeremy Singer, Blair Archibald
Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. TFPIE@TFP (2017)
Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, Thomas Pierce, Blair Archibald, Xin Liu
Learning approaches for detecting and tracking news events. IEEE Intell. Syst. 14 (4) (1999)

Blair Archibald.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Blair Archibald