Ruth Hoffmann
Ruth Hoffmann
School of Computer Science, University of St Andrews
Verified email at st-andrews.ac.uk
TitleCited byYear
Between subgraph isomorphism and maximum common subgraph
R Hoffmann, C McCreesh, C Reilly
Thirty-First AAAI Conference on Artificial Intelligence, 2017
72017
Autonomous agent behaviour modelled in PRISM–a case study
R Hoffmann, M Ireland, A Miller, G Norman, S Veres
International Symposium on Model Checking Software, 104-110, 2016
72016
Verification of a lazy cache coherence protocol against a weak memory model
CJ Banks, M Elver, R Hoffmann, S Sarkar, P Jackson, V Nagarajan
Proceedings of the 17th Conference on Formal Methods in Computer-Aided …, 2017
42017
A continuous-time model of an autonomous aerial vehicle to inform and validate formal verification methods
ML Ireland, R Hoffmann, A Miller, G Norman, SM Veres
arXiv preprint arXiv:1609.00177, 2016
42016
PatternClass–Permutation Pattern Classes
M Albert, S Linton, R Hoffmann
42012
Strategy synthesis for autonomous agents using PRISM
R Giaquinta, R Hoffmann, M Ireland, A Miller, G Norman
NASA Formal Methods Symposium, 220-236, 2018
32018
Towards the Automated Verification of Weibull Distributions for System Failure Rates
Y Lu, AA Miller, R Hoffmann, CW Johnson
Critical Systems: Formal Methods and Automated Verification, 81-96, 2016
32016
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms
R Hoffmann, C McCreesh, SN Ndiaye, P Prosser, C Reilly, C Solnon, ...
International Conference on the Integration of Constraint Programming …, 2018
22018
Regular Languages of Plus-and Minus-(In) Decomposable Permutations
R Hoffmann, S Linton
Permutation Patterns 24 (2), 143 -- 150, 2013
22013
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms⋆
B Archibald, F Dunlop, R Hoffmann, C McCreesh, P Prosser, J Trimble
Lecture Notes in Computer Science, 2019
12019
On dots in boxes, or permutation pattern classes and regular languages
R Hoffmann
University of St Andrews, 2015
12015
Memory Consistency Models using Constraints
R Hoffmann, Ö Akgün, S Sarkar
ModRef 2018 - The 17th workshop on Constraint Modelling and Reformulation, 2018
2018
Geometric grid permutation classes and regular languages
R Hoffmann
2015
The Regular Language of Simple Permutations
R Hoffmann
2014
Algorithms in grid classes
R Hoffmann
2013
PatternClass -- A permutation pattern class package
M Albert, R Hoffmann, S Linton
http://ruthhoffmann.github.io/PatternClass/, 2012
2012
The doctrine of the Christ in St. Mark's Gospel
AA Morrison
University of St Andrews, 1948
1948
Probabilistic Model Checking for Autonomous Agent Strategy Synthesis
R Giaquinta, R Hoffmann, M Ireland, A Miller, G Norman
PatternClass
R Hoffmann, S Linton, M Albert
Token Passing Networks and Permutation Pattern Classes
R Hoffmann
The system can't perform the operation now. Try again later.
Articles 1–20