Concepedia

Helen Treharne

HT

Statistics

Publications

17

Citations

423

H-Index

13

Active since

2004

Affiliations

University of Surrey(Current)

Swansea University

Royal Holloway University of London

Queen's University Belfast

Helen Treharne is an author at University of Surrey specializing in computing, computer science, and formal methods.

Publications per year

2004–2020

17

Publications

17

CSP theorems for communicating B machines

Steve Schneider, Helen Treharne · Formal Aspects of Computing · 2005 · 83 citations · Full text

Computing, Computer Science, Computer Systems +10

Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · International Journal on Software Tools for Technology Transfer · 2014 · 49 citations

Computing, Systems Engineering, Formal Methods +11

Privacy-enhanced capabilities for VANETs using direct anonymous attestation

Jorden Whitefield, Liqun Chen, Thanassis Giannetsos et al. · 2017 · 34 citations

Computing, Computer Science, Cybersecurity +17

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme

Stephan Wesemeyer⋆, Christopher J. P. Newton, Helen Treharne et al. · 2020 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +17

The behavioural semantics of Event-B refinement

Steve Schneider, Helen Treharne, Heike Wehrheim · Formal Aspects of Computing · 2012 · 28 citations · Full text

Computing, Computer Science, Formal Methods +5

1–5 of 17