Ruth Hoffmann

Identifiers

• name variant Ruth Hoffmann 0.60 · backfill

Papers (4)

1. Memory Consistency Models using Constraints cs.PL · 2018 · author #1
2. Verification of a lazy cache coherence protocol against a weak memory model cs.LO · 2017 · author #3
3. A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods cs.RO · 2016 · author #2
4. Autonomous Agent Behaviour Modelled in PRISM -- A Case Study cs.SY · 2016 · author #1

Mentions

• 1602.00646 #1 · arxiv_oai · confidence 0.70 Ruth Hoffmann

Frequent Coauthors

• Alice Miller 2 shared papers
• Gethin Norman 2 shared papers
• Susmit Sarkar 2 shared papers
• Christopher J. Banks 1 shared papers
• Marco Elver 1 shared papers
• Murray Ireland 1 shared papers
• Murray L. Ireland 1 shared papers
• \"Ozg\"ur Akg\"un 1 shared papers
• Paul Jackson 1 shared papers
• Sandor M. Veres 1 shared papers
• Sandor Veres 1 shared papers
• Vijay Nagarajan 1 shared papers