Number of items: 30.
2025
Archibald, B. , Sevegnani, M. and Xu, M.
(2025)
Modelling and verifying BDI agents under uncertainty.
Science of Computer Programming, 242,
103254.
(doi: 10.1016/j.scico.2024.103254)
Althubiti, E., Archibald, B. and Sevegnani, M.
(2025)
Formalising privacy regulations with bigraphs.
Software and Systems Modeling,
(Accepted for Publication)
Abioye, A. O., Hunt, W., Gu, Y. , Schneiders, E., Naiseh, M., Archibald, B. , Sevegnani, M. , Ramchurn, S. D., Fishcer, J. E. and Soorati, M.
(2025)
A user study evaluation of predictive formal modelling at runtime in human-swarm interaction.
ACM Transactions on Human-Robot Interaction,
(doi: 10.1145/3727989)
(Early Online Publication)
Xu, M. , Archibald, B. and Sevegnani, M.
(2025)
CAN-Verify: automated analysis for BDI agents.
Science of Computer Programming, 241,
103233.
(doi: 10.1016/j.scico.2024.103233)
Albalwe, M., Archibald, B. and Sevegnani, M.
(2025)
Modelling Real-time Systems with Bigraphs.
In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024,
pp. 96-116.
(doi: 10.4204/EPTCS.417.6)
Archibald, B. , Calder, M. and Sevegnani, M.
(2025)
Practical modelling with bigraphs.
Formal Aspects of Computing,
(doi: 10.1145/3721142)
(Early Online Publication)
2024
Albalwe, M., Archibald, B. and Sevegnani, M.
(2024)
Modelling and analysing routing protocols diagrammatically with bigraphs.
Formal Aspects of Computing, 36(3),
17.
(doi: 10.1145/3685934)
Archibald, B. and Sevegnani, M.
(2024)
A Bigraphs Paper of Sorts.
In: 17th International Conference on Graph Transformation (ICGT 2024), Enschede, Netherlands, 10-11 July 2024,
pp. 21-38.
ISBN 9783031642845
(doi: 10.1007/978-3-031-64285-2_2)
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B. and Sevegnani, M.
(2024)
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction.
In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024,
pp. 172-176.
ISBN 9798400703232
(doi: 10.1145/3610978.3640725)
2023
Gu, Y., Hunt, W., Archibald, B. , Xu, M. , Sevegnani, M. and Soorati, M. D.
(2023)
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.
In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023,
pp. 541-548.
ISBN 9798350336702
(doi: 10.1109/RO-MAN57019.2023.10309626)
Xu, M. , Rivoalen, T., Archibald, B. and Sevegnani, M.
(2023)
CAN-verify: A Verification Tool for BDI Agents.
In: 8th International Conference on integrated Formal Methods (iFM 2023), Leiden, The Netherlands, 13-15 November 2023,
ISBN 9783031477058
(doi: 10.1007/978-3-031-47705-8_19)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M.
(2023)
Quantitative modelling and analysis of BDI agents.
Software and Systems Modeling,
(doi: 10.1007/s10270-023-01121-5)
(Early Online Publication)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M.
(2023)
Quantitative Verification and Strategy Synthesis for BDI Agents.
In: NASA Formal Methods Symposium (NFM), Houston, TX, USA, 16-18 May 2023,
pp. 241-259.
ISBN 9783031331695
(doi: 10.1007/978-3-031-33170-1_15)
MacGregor, R., Archibald, B. and Trinder, P.
(2023)
Generic exact combinatorial search at HPC scale.
International Journal of Parallel Programming, 51(1),
pp. 83-106.
(doi: 10.1007/s10766-022-00744-3)
2022
Mitchell, S. N. et al.
(2022)
FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 380(2233),
20210300.
(doi: 10.1098/rsta.2021.0300)
(PMID:35965468)
(PMCID:PMC9376726)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M.
(2022)
Verifying BDI Agents in Dynamic Environments.
In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022,
ISBN 1891706543
(doi: 10.18293/SEKE2022-149)
Archibald, B. , Calder, M. and Sevegnani, M.
(2022)
Probabilistic bigraphs.
Formal Aspects of Computing, 34(2),
10.
(doi: 10.1145/3545180)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M.
(2022)
Modelling and verifying BDI agents with bigraphs.
Science of Computer Programming, 215,
102760.
(doi: 10.1016/j.scico.2021.102760)
2021
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M.
(2021)
Probabilistic BDI Agents: Actions, Plans, and Intentions.
In: SEFM 2021, 6-10 Dec 2021,
pp. 262-281.
ISBN 9783030921231
(doi: 10.1007/978-3-030-92124-8_15)
Archibald, B. , Kulcsár, G. and Sevegnani, M.
(2021)
A tale of two graph models: a case study in wireless sensor networks.
Formal Aspects of Computing, 33(6),
pp. 1249-1277.
(doi: 10.1007/s00165-021-00558-z)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M.
(2021)
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.
In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021,
pp. 167-175.
(doi: 10.4204/EPTCS.348.12)
Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M.
(2021)
Practical Bigraphs via Subgraph Isomorphism.
In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021,
15.1-15.17.
ISBN 9783959772112
2020
Archibald, B. , Calder, M. and Sevegnani, M.
(2020)
Conditional Bigraphs.
In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020,
pp. 3-19.
ISBN 9783030513719
(doi: 10.1007/978-3-030-51372-6_1)
Archibald, B. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B.
(2020)
BigraphTalk: verified design of IoT applications.
IEEE Internet of Things Journal, 7(4),
pp. 2955-2967.
(doi: 10.1109/JIOT.2020.2964026)
Archibald, B. , Maier, P., Stewart, R. and Trinder, P.
(2020)
YewPar: Skeletons for Exact Combinatorial Search.
In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020,
pp. 292-307.
ISBN 9781450368186
(doi: 10.1145/3332466.3374537)
2019
Archibald, B. , Dunlop, F., Hoffmann, R., McCreesh, C. , Prosser, P. and Trimble, J.
(2019)
Sequential and parallel solution-biased search for subgraph algorithms.
In: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2019), Thessaloniki, Greece, 4-7 June 2019,
pp. 20-38.
ISBN 9783030192112
(doi: 10.1007/978-3-030-19212-9_2)
Archibald, B. , Maier, P., Stewart, R. and Trinder, P.
(2019)
Implementing YewPar: a Framework for Parallel Tree Search.
In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019,
pp. 184-196.
ISBN 9783030293994
(doi: 10.1007/978-3-030-29400-7_14)
2018
Singer, J. and Archibald, B.
(2018)
Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers.
Electronic Proceedings in Theoretical Computer Science, 270,
pp. 37-51.
(doi: 10.4204/EPTCS.270.3)
Archibald, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P.
(2018)
Replicable parallel branch and bound search.
Journal of Parallel and Distributed Computing, 113,
pp. 92-114.
(doi: 10.1016/j.jpdc.2017.10.010)
2017
Archibald, B. , Maier, P., Stewart, R., Trinder, P. and De Beule, J.
(2017)
Towards Generic Scalable Parallel Combinatorial Search.
In: PASCO 2017, Kaiserslautern, Germany, 23-24 July 2017,
ISBN 9781450352888
(doi: 10.1145/3115936.3115942)
This list was generated on Fri Apr 25 18:11:55 2025 BST.