Test Case Preparation Using a Prototype. - Helen Treharne; J. Draper; Steve A. Schneider (B, 1998)

Using a Process Algebra to Control B Operations. - Helen Treharne; Steve A. Schneider (IFM, 1999)

How to Drive a B Machine. - Helen Treharne; Steve A. Schneider (ZB, 2000)

Combining control executives and software specifications. - Helen Treharne (2000)

Supplementing a UML Development Process with B. - Helen Treharne (FME, 2002)

Communicating B Machines. - Steve A. Schneider; Helen Treharne (ZB, 2002)

Composing Specifications Using Communication. - Helen Treharne; Steve A. Schneider; Marchia Bramble (ZB, 2003)

Verifying Controlled Components. - Steve A. Schneider; Helen Treharne (IFM, 2004)

How to Verify Dynamic Properties of Information Systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (SEFM, 2004)

Chunks: Component Verification in CSP||B. - Steve A. Schneider; Helen Treharne; Neil Evans (IFM, 2005)

Linking Semantic Models to Support CSP || B Consistency Checking. - Neil Evans; Helen Treharne (AVoCS, 2005)

CSP theorems for communicating B machines. - Steve A. Schneider; Helen Treharne (Formal Aspects Comput., 2005)

Investigating a file transfer protocol using CSP and B. - Neil Evans; Helen Treharne (Softw. Syst. Model., 2005)

A Layered Behavioural Model of Platelets. - Steve A. Schneider; Helen Treharne; Ana Cavalcanti 001; Jim Woodcock 001 (ICECCS, 2006)

A New Multi-set Modulation Technique for Increasing Hiding Capacity of Binary Watermark for Print and Scan Processes. - Chris Culnane; Helen Treharne; Anthony T. S. Ho (IWDW, 2006)

Tank monitoring: a pAMN case study. - Steve A. Schneider; Thai Son Hoang; Ken Robinson; Helen Treharne (Formal Aspects Comput., 2006)

Augmenting B with Control Annotations. - Wilson Ifill; Steve A. Schneider; Helen Treharne (B, 2007)

Combining Mobility with State. - Damien Karkinsky; Steve A. Schneider; Helen Treharne (IFM, 2007)

A Novel Semi-Fragile Image Watermarking, Authentication and Self-Restoration Technique Using the Slant Transform. - Xi Zhao; Anthony T. S. Ho; Helen Treharne; Vinod Pankajakshan; Chris Culnane; Weina Jiang (IIH-MSP, 2007)

Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning. - Chris Culnane; Helen Treharne; Anthony T. S. Ho (IWDW, 2007)

Least Distortion Halftone Image Data Hiding Watermarking by Optimizing an Iterative Linear Gain Control Model. - Weina Jiang; Anthony T. S. Ho; Helen Treharne (IWDW, 2007)

Interactive tool support for CSP || B consistency checking. - Neil Evans; Helen Treharne (Formal Aspects Comput., 2007)

Object Modelling in the SystemB Industrial Project. - Helen Treharne; Edward Turner; Steve A. Schneider; Neil Evans (ABZ, 2008)

Automatic Generation of CSP || B Skeletons from xUML Models. - Edward Turner; Helen Treharne; Steve A. Schneider; Neil Evans (ICTAC, 2008)

Formal Analysis of Two Buyer-Seller Watermarking Protocols. - David M. Williams; Helen Treharne; Anthony T. S. Ho; Adrian Waller (IWDW, 2008)

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. - David M. Williams; Helen Treharne; Anthony T. S. Ho; Chris Culnane (MM&Sec, 2008)

Experiments in Translating CSP || B to Handel-C. - Steve A. Schneider; Helen Treharne; Alistair A. McEwan; Wilson Ifill (CPA, 2008)

Applying CSP || B to information systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (Softw. Syst. Model., 2008)

A Step towards Merging xUML and CSP || { | }B. - Helen Treharne; Steve A. Schneider; Neil Grant; Neil Evans; Wilson Ifill (Rigorous Methods for Software Construction and Analysis, 2009)

Automatic Generation of Integrated Formal Models Corresponding to UML System Models. - Helen Treharne; Edward Turner; Richard F. Paige; Dimitrios S. Kolovos (TOOLS (47), 2009)

Mobile CSP||B. - Beeta Vajar; Steve A. Schneider; Helen Treharne (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

A Novel Least Distortion Linear Gain Model for Halftone Image Watermarking Incorporating Perceptual Quality Metrics. - Weina Jiang; Anthony T. S. Ho; Helen Treharne (Trans. Data Hiding Multim. Secur., 2009)

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. - Islam Abdelhalim; James Sharp; Steve A. Schneider; Helen Treharne (ICFEM, 2010)

A CSP Approach to Control in Event-B. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (IFM, 2010)

A Novel Multi-size Block Benford's Law Scheme for Printer Identification. - Weina Jiang; Anthony T. S. Ho; Helen Treharne; Yun Q. Shi 001 (PCM (1), 2010)

On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. - David M. Williams; Helen Treharne; Anthony T. S. Ho (SECRYPT, 2010)

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (ICFEM, 2011)

A CSP Account of Event-B Refinement - Steve A. Schneider; Helen Treharne; Heike Wehrheim (Refine@FM, 2011)

Preface. - Marie-Laure Potet; Helen Treharne (B@FM, 2011)

Bounded Retransmission in Event-B∥CSP: a Case Study. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (B@FM, 2011)

Changing system interfaces consistently: A new refinement strategy for CSP||B. - Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2011)

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. - Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Haifa Verification Conference, 2012)

An Optimization Approach for Effective Formalized fUML Model Checking. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (SEFM, 2012)

Railway modelling in CSP||B: the double junction case study. - Markus Roggenbach; Faron Moller; Steve A. Schneider; Helen Treharne; Hoang Nga Nguyen (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

OnTrack: An Open Tooling Environment for Railway Verification. - Phillip James; Matthew Trumble; Helen Treharne; Markus Roggenbach; Steve A. Schneider (NASA Formal Methods, 2013)

Policy templates for relationship-based access control. - Evangelos Aktoudianakis; Jason Crampton; Steve A. Schneider; Helen Treharne; Adrian Waller (PST, 2013)

Verification of Scheme Plans Using CSP $$||$$ | | B. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne; Matthew Trumble; David M. Williams (SEFM Workshops, 2013)

An integrated framework for checking the behaviour of fUML models using CSP. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2013)

Managing LTL Properties in Event-B Refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim; David M. Williams (IFM, 2014)

The behavioural semantics of Event-B refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (Formal Aspects Comput., 2014)

On modelling and verifying railway interlockings: Tracking train lengths. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2014)

Techniques for modelling and verifying railway interlockings. - Phillip James; Faron Moller; Nguyen Hoang Nga; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2014)

Special issue on Automated Verification of Critical Systems (AVoCS 2013). - Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2015)

Event-B and Linear Temporal Logic. - Steve A. Schneider; Helen Treharne; David M. Williams (From Action Systems to Distributed Systems, 2016)

Symbolic Reachability Analysis of B Through ProB and LTSmin. - Jens Bendisposto; Philipp Körner; Michael Leuschel; Jeroen Meijer; Jaco van de Pol; Helen Treharne; Jorden Whitefield (IFM, 2016)

OnTrack: The Railway Verification Toolset - Extended Abstract. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Helen Treharne; Xu Wang 001 (ISoLA (2), 2016)

Foundations for using linear temporal logic in Event-B refinement. - Thai Son Hoang; Steve A. Schneider; Helen Treharne; David M. Williams (Formal Aspects Comput., 2016)

Formal Analysis of V2X Revocation Protocols. - Jorden Whitefield; Liqun Chen 002; Frank Kargl; Andrew Paverd; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (STM, 2017)

Privacy-enhanced capabilities for VANETs using direct anonymous attestation. - Jorden Whitefield; Liqun Chen 002; Thanassis Giannetsos; Steve A. Schneider; Helen Treharne (VNC, 2017)

PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne (CoRR, 2017)

Anonymous Single-Sign-On for n Designated Services with Traceability. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (ESORICS (1), 2018)

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. - Jorden Whitefield; Liqun Chen 002; Ralf Sasse; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (EuroS&P, 2019)

VMV: Augmenting an Internet Voting System with Selene Verifiability. - Muntadher Sallal; Steve A. Schneider; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Helen Treharne; Joe Wadsworth; Phil Wright (CoRR, 2019)

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. - Stephan Wesemeyer; Christopher J. P. Newton; Helen Treharne; Liqun Chen 002; Ralf Sasse; Jorden Whitefield (AsiaCCS, 2020)

An Interoperable Architecture for Usable Password-Less Authentication. - Matthew Casey 001; Mark Manulis; Christopher J. P. Newton; Robin Savage; Helen Treharne (ETAA@ESORICS, 2020)

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. - Stephan Wesemeyer; Ioana Boureanu; Zach Smith; Helen Treharne (EuroS&P, 2020)

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. - Muntadher Sallal; Steve Schneider; Matthew Casey 001; François Dupressoir; Helen Treharne; Constantin Catalin Dragan; Luke Riley; Phil Wright (ICDCS, 2020)

Lessons Learnt from a 2FA roll out within a higher education organisation. - Abideen Tetlay; Helen Treharne; Tom Ascroft; Sotiris Moschoyiannis (CoRR, 2020)

Anonymous Single Sign-On With Proxy Re-Verification. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer; Nick Wilson (IEEE Trans. Inf. Forensics Secur., 2020)

Technical Report on a Virtual CTAP2 WebAuthn Authenticator. - Chris Culnane; Christopher J. P. Newton; Helen Treharne (CoRR, 2021)

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials. - Jinguang Han; Liqun Chen 002; Steve Schneider; Helen Treharne; Stephan Wesemeyer (IEEE Trans. Dependable Secur. Comput., 2021)

Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. - Chris Culnane; Ioana Boureanu; Jean Snyman; Stephan Wesemeyer; Helen Treharne (AsiaCCS, 2023)

Verifying List Swarm Attestation Protocols. - Jay Le-Papin; Brijesh Dongol; Helen Treharne; Stephan Wesemeyer (WISEC, 2023)

Formal Modelling of Peercoin and Proof-of-Stake Protocols. - Kent Leeding; Steve Schneider; Helen Treharne (The Application of Formal Methods, 2024)

Phish and Tips: - Phishing Awareness and Education for Older Adults. - Stella Kazamia; Chris Culnane; Daniel Gardham; Suzanne Prior; Helen Treharne (HAISA (1), 2024)

On the Design and Security of Collective Remote Attestation Protocols. - Sharar Ahmadi; Jay Le-Papin; Liqun Chen 002; Brijesh Dongol; Sasa Radomirovic; Helen Treharne (CoRR, 2024)

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. - Mohammed Alsadi 001; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Muntadher Sallal; Steve Schneider; Helen Treharne; Joe Wadsworth; Phil Wright (IEEE Trans. Dependable Secur. Comput., 2024)

A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure. - Ioana Boureanu; Stephan Wesemeyer; Fortunat Rajaona; Steve Schneider; Helen Treharne (EuroS&P, 2025)

Towards a Robust Framework for Multimodal Hate Detection: A Study on Video vs. Image-based Content. - Girish A. Koushik; Diptesh Kanojia; Helen Treharne (WWW (Companion Volume), 2025)

Towards a Robust Framework for Multimodal Hate Detection: A Study on Video vs. Image-based Content. - Girish A. Koushik; Diptesh Kanojia; Helen Treharne (CoRR, 2025)

CAMU: Context Augmentation for Meme Understanding. - Girish A. Koushik; Diptesh Kanojia; Helen Treharne; Aditya Joshi (CoRR, 2025)