Blair Archibald
University of Glasgow
H-index: 8
Europe-United Kingdom
Top articles of Blair Archibald
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction | Ayodeji O Abioye William Hunt Yue Gu Eike Schneiders Mohammad Naiseh | 2024/3/11 | |
Quantitative verification and strategy synthesis for BDI agents | Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu | 2023/5/16 | |
CAN-verify: A Verification Tool For BDI Agents | Mengwei Xu Thibault Rivoalen Blair Archibald Michele Sevegnani | 2023/11/6 | |
Generic exact combinatorial search at HPC scale | International Journal of Parallel Programming | Ruairidh MacGregor Blair Archibald Phil Trinder | 2023/2 |
Quantitative modelling and analysis of BDI agents | Software and Systems Modeling | Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu | 2023/8/28 |
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime | Yue Gu William Hunt Blair Archibald Mengwei Xu Michele Sevegnani | 2023/8/28 | |
University of Glasgow, Glasgow, UK {blair. archibald, muffy. calder, michele. sevegnani, mengwei. xu}@ glasgow. ac. uk | NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings | Blair Archibald | 2023/6/2 |
Probabilistic bigraphs | Formal Aspects of Computing | Blair Archibald Muffy Calder Michele Sevegnani | 2022/9/19 |
Parallel Flowshop in YewPar | arXiv preprint arXiv:2207.06902 | Ignas Knizikevičius Phil Trinder Blair Archibald Jinghua Yan | 2022/7/14 |
Modelling and verifying BDI agents with bigraphs | Science of Computer Programming | Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu | 2022/3/1 |
Successful Swarms: Operator Situational Awareness via Runtime Formal Methods | Michele Sevegnani William Hunt Blair Archibald Mengwei Xu Mohammad Divband Soorati | 2022/12/14 | |
FAIR data pipeline: provenance-driven data management for traceable scientific workflows | Philosophical Transactions of the Royal Society A | Sonia Natalie Mitchell Andrew Lahiff Nathan Cummings Jonathan Hollocombe Bram Boskamp | 2022/10/3 |
Verifying BDI agents in dynamic environments | Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu | 2022/9/21 | |
Probabilistic BDI agents: actions, plans, and intentions | Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu | 2021 | |
Practical bigraphs via subgraph isomorphism | Blair Archibald Kyle Burns Ciaran McCreesh Michele Sevegnani | 2021 | |
A tale of two graph models: a case study in wireless sensor networks | Formal Aspects of Computing | Blair Archibald Géza Kulcsár Michele Sevegnani | 2021/12 |
Observable and attention-directing BDI agents for human-autonomy teaming | arXiv preprint arXiv:2110.12579 | Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu | 2021/10/25 |
YewPar: skeletons for exact combinatorial search | Blair Archibald Patrick Maier Robert Stewart Phil Trinder | 2020/2/19 | |
BigraphTalk: Verified design of IoT applications | IEEE Internet of Things Journal | Blair Archibald Min-Zheng Shieh Yu-Hsuan Hu Michele Sevegnani Yi-Bing Lin | 2020/1/6 |
Check for Conditional Bigraphs Blair Archibald (), Muffy Calder, and Michele Sevegnani ID School of Computing Science, University of Glasgow, Glasgow, UK {blair. archibald … | Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings | Blair Archibald | 2020/6/25 |