Computer Science @ University of St Andrews

University of St Andrews crest

Dr Ruth Hoffmann

Research Fellow - School of Computer Science

Full research profile

Email: rh347@st-andrews.ac.uk

Office: JC0.28 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3691

Web: https://rh347.host.cs.st-andrews.ac.uk

Recent Publications

Akgün, Ö, Hoffmann, R & Sarkar, S 2018, Memory consistency models using constraints. in The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.

Hoffmann, R, McCreesh, C, Ndiaye, SN, Prosser, P, Reilly, C, Solnon, C & Trimble, J 2018, Observations from parallelising three maximum common (Connected) subgraph algorithms. in W-J van Hoeve (ed.), Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10848, Springer, Cham, pp. 298-315, 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Delft, Netherlands, 26/06/18. https://doi.org/10.1007/978-3-319-93031-2_22

Giaquinta, R, Hoffmann, R, Ireland, M, Miller, A & Norman, G 2018, Strategy synthesis for autonomous agents using PRISM. in A Dutle, C Muñoz & A Narkawicz (eds), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10811, Springer, Cham, pp. 220-236, 10th International Symposium on NASA Formal Methods, NFM 2018, Newport News, United States, 17/04/18. https://doi.org/10.1007/978-3-319-77935-5_16

Banks, C, Elver, M, Hoffmann, R, Sarkar, S, Jackson, P & Nagarajan, V 2017, Verification of a lazy cache coherence protocol against a weak memory model. in Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD). ACM, pp. 60-67, Formal Methods in Computer-Aided Design (FMCAD), Vienna, Austria, 2/10/17.

Hoffmann, R, McCreesh, C & Reilly, C 2017, Between subgraph isomorphism and maximum common subgraph. in Thirty-First AAAI Conference on Artificial Intelligence: February 4–9, 2017, San Francisco, California USA. AAAI Press, Palo Alto, pp. 3907-3914, 31st AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, United States, 4/02/17.

Lu, Y, Miller, AA, Hoffmann, R & Johnson, CW 2016, Towards the automated verification of weibull distributions for system failure rates. in Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Proceedings. vol. 9933 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9933 LNCS, Springer-Verlag, pp. 81-96, 21st International Workshop on Formal Methods for Industrial Critical Systems, FMICS-AVoCS 2016 and 16th International Workshop on Automated Verification of Critical Systems, AVoCS 2016, Pisa, Italy, 26/09/16. https://doi.org/10.1007/978-3-319-45943-1_6

Hoffmann, R, Ireland, M, Miller, A, Norman, G & Veres, S 2016, Autonomous agent behaviour modelled in PRISM -- a case study. in D Bošnački & A Wijs (eds), Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9641, Springer, Cham, pp. 104-110, 23rd International SPIN Symposium on Model Checking of Software, Eindhoven, Netherlands, 7/04/16. https://doi.org/10.1007/978-3-319-32582-8_7