Recent works submitted for publication:
Probabilistic Bigraphs
Blair Archibald, Muffy Calder and Michele Sevegnani
Formal Aspects of Computing, ACM, 2022
author-pdf doi
Modelling and Verifying BDI Agents with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
Science of Computer Programming, Volume 215, pp 288-310, Elsevier, March 2022
author-pdf doi
Probabilistic BDI Agents: Actions, Plans, and Intentions
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
author-pdf doi
Practical Bigraphs via Subgraph Isomorphism
Blair Archibald, Kyle Burns, Ciaran McCreesh, and Michele Sevegnani
27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
author-pdf doi video
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 2021
author-pdf doi
A Tale of Two Graph Models: A Case Study in Wireless Sensor Networks
Blair Archibald, Géza Kulcsár and Michele Sevegnani
Formal Aspects of Computing
author-pdf doi
Conditional Bigraphs
Blair Archibald, Muffy Calder and Michele Sevegnani International Conference on Graph Transformation (ICGT 2020), 2020, LNCS, volume 12150, pp 3–19
author-pdf doi video
YewPar: Skeletons for Exact Combinatorial Search
B Archibald, P Maier, R Stewart, P Trinder
Principles and Practice of Parallel Programming (PPoPP), 2020, San Diego, California, ACM Press
author-pdf doi artifact data
BigraphTalk: Verified Design of IoT Applications
Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani and Yi-Bing Lin
IEEE Internet of Things Journal, January 2020
author-pdf doi artifact
Implementing YewPar: a Framework for Parallel Tree Search
B Archibald, P Maier, R Stewart, P Trinder
Euro-Par, 2019, Göttingen, Germany, Springer
author-pdf doi
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms
Archibald B., Dunlop F., Hoffmann R., McCreesh C., Prosser P., Trimble J.
CPAIOR, 2019. LNCS, vol 11494.
author-pdf doi source-code
Algorithmic skeletons for exact combinatorial search at scale
B Archibald
PhD Thesis. 2018.
thesis-pdf
Replicable Parallel Branch and Bound Search
B Archibald, P Maier, C McCreesh, R Stewart, P Trinder
Journal of Parallel and Distributed Computing (JPDC), Volume 113, 2018
author-pdf doi dataset
Towards Generic Scalable Parallel Combinatorial Search
B Archibald, P Maier, R Stewart, P Trinder, and J De Beule
Proceedings of the International Workshop on Parallel Symbolic Computation (PASCO), 2017
author-pdf doi dataset
Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers
J Singer and B Archibald
Proceedings of the Conference on Trends in Functional Programming in Education (TFPIE), 2017.
author-pdf