Blair Archibald

43 papers A 1B 7C 1Misc 1Journal 23Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formalising privacy regulations with bigraphs. Softw. Syst. Model. Ebtihal Althubiti, Blair Archibald, Michele Sevegnani
2025	J	`jnl`	A Digital Twinning Approach to Decarbonisation: Research Challenges. CoRR Blair Archibald, Paul Harvey, Michele Sevegnani
2025	J	`jnl`	A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction. ACM Trans. Hum. Robot Interact. Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Blair Archibald, Michele Sevegnani, Sarvapali D. Ramchurn, Joel E. Fischer, Mohammad Divband Soorati
2025	Misc	`conf`	BiCoq : Bigraphs Formalisation with Coq. SAC Cécile Marcon, Cyril Allignol, Célia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux
2025	J	`jnl`	CAN-Verify: Automated analysis for BDI agents. Sci. Comput. Program. Mengwei Xu, Blair Archibald, Michele Sevegnani
2025	—	`conf`	Formal Analysis of Resilience in Transport Systems with Bigraphs. SAFECOMP (Workshops) Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani
2025	—	`conf`	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. RSSRail Ricardo Almeida, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani
2025	J	`jnl`	Modelling and verifying BDI agents under uncertainty. Sci. Comput. Program. Blair Archibald, Michele Sevegnani, Mengwei Xu
2025	J	`jnl`	Practical Modelling with Bigraphs. Formal Aspects Comput. Blair Archibald, Muffy Calder, Michele Sevegnani
2025	J	`jnl`	Signalling Health for Improved Kubernetes Microservice Availability. CoRR Jacob Roberts, Blair Archibald, Phil Trinder
2024	B	`conf`	A Bigraphs Paper of Sorts. ICGT Blair Archibald, Michele Sevegnani
2024	—	`conf`	Modelling Real-time Systems with Bigraphs. GCM Maram Albalwe, Blair Archibald, Michele Sevegnani
2024	J	`jnl`	Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. Formal Aspects Comput. Maram Albalwe, Blair Archibald, Michele Sevegnani
2024	J	`jnl`	Practical Modelling with Bigraphs. CoRR Blair Archibald, Muffy Calder, Michele Sevegnani
2024	J	`jnl`	Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2024	—	`conf`	The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. HRI (Companion) Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani
2024	J	`jnl`	The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. CoRR Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani
2023	B	`conf`	CAN-verify: A Verification Tool For BDI Agents. iFM Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani
2023	J	`jnl`	Generic Exact Combinatorial Search at HPC Scale. Int. J. Parallel Program. Ruairidh MacGregor, Blair Archibald, Phil Trinder
2023	—	`conf`	Quantitative Verification and Strategy Synthesis for BDI Agents. NFM Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2023	B	`conf`	Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. RO-MAN Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati
2022	J	`jnl`	Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2022	J	`jnl`	Parallel Flowshop in YewPar. CoRR Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan
2022	J	`jnl`	Probabilistic Bigraphs. Formal Aspects Comput. Blair Archibald, Muffy Calder, Michele Sevegnani
2022	C	`conf`	Verifying BDI Agents in Dynamic Environments. SEKE Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	J	`jnl`	A tale of two graph models: a case study in wireless sensor networks. Formal Aspects Comput. Blair Archibald, Géza Kulcsár, Michele Sevegnani
2021	J	`jnl`	FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows. CoRR 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
2021	J	`jnl`	Modelling and Verifying BDI Agents with Bigraphs. CoRR Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	—	`conf`	Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	A	`conf`	Practical Bigraphs via Subgraph Isomorphism. CP Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani
2021	B	`conf`	Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	J	`jnl`	Probablistic Bigraphs. CoRR Blair Archibald, Muffy Calder, Michele Sevegnani
2020	J	`jnl`	BigraphTalk: Verified Design of IoT Applications. IEEE Internet Things J. Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin
2020	B	`conf`	Conditional Bigraphs. ICGT Blair Archibald, Muffy Calder, Michele Sevegnani
2020	B	`conf`	YewPar: skeletons for exact combinatorial search. PPoPP Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder
2019	—	`conf`	Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder
2019	B	`conf`	Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. CPAIOR Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
2018	—	`—`	Algorithmic skeletons for exact combinatorial search at scale. Blair Archibald
2018	J	`jnl`	Replicable parallel branch and bound search. J. Parallel Distributed Comput. Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder
2017	—	`conf`	Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. TFPIE@TFP Jeremy Singer, Blair Archibald
2017	J	`jnl`	Replicable Parallel Branch and Bound Search. CoRR Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder
2017	—	`conf`	Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule
1999	J	`jnl`	Learning approaches for detecting and tracking news events. IEEE Intell. Syst. Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, Thomas Pierce, Blair Archibald, Xin Liu