Follow
Blair Archibald
Blair Archibald
Verified email at glasgow.ac.uk - Homepage
Title
Cited by
Cited by
Year
Sequential and parallel solution-biased search for subgraph algorithms
B Archibald, F Dunlop, R Hoffmann, C McCreesh, P Prosser, J Trimble
International Conference on Integration of Constraint Programming …, 2019
472019
Replicable parallel branch and bound search
B Archibald, P Maier, C McCreesh, R Stewart, P Trinder
Journal of Parallel and Distributed Computing 113, 92-114, 2018
292018
FAIR data pipeline: provenance-driven data management for traceable scientific workflows
SN Mitchell, A Lahiff, N Cummings, J Hollocombe, B Boskamp, R Field, ...
Philosophical Transactions of the Royal Society A 380 (2233), 20210300, 2022
232022
Conditional bigraphs
B Archibald, M Calder, M Sevegnani
International Conference on Graph Transformation, 3-19, 2020
172020
Probabilistic bigraphs
B Archibald, M Calder, M Sevegnani
Formal Aspects of Computing 34 (2), 1-27, 2022
162022
Modelling and verifying BDI agents with bigraphs
B Archibald, M Calder, M Sevegnani, M Xu
Science of Computer Programming 215, 102760, 2022
122022
YewPar: skeletons for exact combinatorial search
B Archibald, P Maier, R Stewart, P Trinder
Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020
122020
BigraphTalk: Verified design of IoT applications
B Archibald, MZ Shieh, YH Hu, M Sevegnani, YB Lin
IEEE Internet of Things Journal 7 (4), 2955-2967, 2020
122020
Probabilistic BDI agents: actions, plans, and intentions
B Archibald, M Calder, M Sevegnani, M Xu
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
112021
Algorithmic skeletons for exact combinatorial search at scale
B Archibald
University of Glasgow, 2018
112018
Towards generic scalable parallel combinatorial search
B Archibald, P Maier, R Stewart, P Trinder, J De Beule
Proceedings of the International Workshop on Parallel Symbolic Computation, 1-10, 2017
102017
Practical bigraphs via subgraph isomorphism
B Archibald, K Burns, C McCreesh, M Sevegnani
27th International Conference on Principles and Practice of Constraint …, 2021
82021
Implementing YewPar: A framework for parallel tree search
B Archibald, P Maier, R Stewart, P Trinder
Euro-Par 2019: Parallel Processing: 25th International Conference on …, 2019
82019
CAN-verify: A Verification Tool For BDI Agents
M Xu, T Rivoalen, B Archibald, M Sevegnani
International Conference on Integrated Formal Methods, 364-373, 2023
72023
Functional baby talk: Analysis of code fragments from novice haskell programmers
J Singer, B Archibald
arXiv preprint arXiv:1805.05126, 2018
62018
Quantitative modelling and analysis of BDI agents
B Archibald, M Calder, M Sevegnani, M Xu
Software and Systems Modeling 23 (2), 343-367, 2024
52024
Quantitative verification and strategy synthesis for BDI agents
B Archibald, M Calder, M Sevegnani, M Xu
NASA Formal Methods Symposium, 241-259, 2023
42023
Verifying BDI agents in dynamic environments
B Archibald, M Calder, M Sevegnani, M Xu
42022
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime
Y Gu, W Hunt, B Archibald, M Xu, M Sevegnani, MD Soorati
2023 32nd IEEE International Conference on Robot and Human Interactive …, 2023
32023
A tale of two graph models: a case study in wireless sensor networks
B Archibald, G Kulcsár, M Sevegnani
Formal Aspects of Computing 33 (6), 1249-1277, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20