Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Valkov, I., Donaldson, A. and Miller, A. (2024) Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking. In: 30th International SPIN symposium on Model Checking of Software (SPIN 2024), Luxembourg, 10-11 Apr 2024, (Accepted for Publication)

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)

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)

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)

Pagojus, D., Miller, A. , Porr, B. and Valkov, I. (2021) Simulation and Model Checking for Close to Real-time Overtaking Planning. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS2021), 21-22 Oct 2021, pp. 20-37. (doi: 10.4204/EPTCS.348.2)

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

Kavanagh, W. , Miller, A. , Norman, G. and Andrei, O. (2021) Balancing turn-based games with chained strategy generation. IEEE Transactions on Games, 13(2), pp. 113-122. (doi: 10.1109/TG.2019.2943227)

Miller, A. , Barr, M. , Kavanagh, W. , Valkov, I. and Purchase, H. C. (2021) Breakout group allocation schedules and the social golfer problem with adjacent group sizes. Symmetry, 13(1), 13. (doi: 10.3390/sym13010013)

Xin, X., Keoh, S. L. , Sevegnani, M. and Saerbeck, M. (2020) Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. In: IEEE International Conference on Smart Internet of Things (IEEE SmartIoT 2020), Beijing, China, 14-16 Aug 2020, ISBN 9781728165158 (doi: 10.1109/SmartIoT49966.2020.00016)

Linker, S., Papacchini, F. and Sevegnani, M. (2020) Analysing Spatial Properties on Neighbourhood Spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prague, Czech Republic, 24-28 Aug 2020, (doi: 10.4230/LIPIcs.MFCS.2020.66)

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)

Mccreesh, C. , Prosser, P. and Trimble, J. (2020) The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 316-324. ISBN 9783030513719 (doi: 10.1007/978-3-030-51372-6)

Linker, S. and Sevegnani, M. (2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society of London Series A: Mathematical, Physical and Engineering Sciences, 475, 20190278. (doi: 10.1098/rspa.2019.0278)

Andrei, O. , Calder, M. , Chalmers, M. and Morrison, A. (2019) Interpreting Computational Models of Interactive Software Usage. Computational Modeling in Human-Computer Interaction Workshop at the ACM CHI Conference on Human Factors in Computing Systems 2019, Glasgow, UK, 05 May 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)

This list was generated on Fri Mar 29 09:50:50 2024 GMT.