Helen Treharne

Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen: Railway modelling in CSP||B: the double junction case study. ECEASST 53 (2012)

Islam Abdelhalim, Steve Schneider, Helen Treharne: An Optimization Approach for Effective Formalized fUML Model Checking. SEFM 2012: 248-262

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (Eds.): Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7321, Springer 2012, isbn 978-3-642-30728-7

Marie-Laure Potet, Helen Treharne: Preface. Electr. Notes Theor. Comput. Sci. 280: 1-2 (2011)

Steve Schneider, Helen Treharne, Heike Wehrheim: Bounded Retransmission in Event-B∥CSP: a Case Study. Electr. Notes Theor. Comput. Sci. 280: 69-80 (2011)

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

Islam Abdelhalim, Steve Schneider, Helen Treharne: Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. ICFEM 2011: 33-48

Steve Schneider, Helen Treharne, Heike Wehrheim: A CSP Account of Event-B Refinement. Refine 2011: 139-154

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

Steve Schneider, Helen Treharne, Heike Wehrheim: A CSP Approach to Control in Event-B. IFM 2010: 260-274

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

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

Beeta Vajar, Steve Schneider, Helen Treharne: Mobile CSP||B. ECEASST 23 (2009)

Weina Jiang, Anthony T. S. Ho, Helen Treharne: A Novel Least Distortion Linear Gain Model for Halftone Image Watermarking Incorporating Perceptual Quality Metrics. T. Data Hiding and Multimedia Security 4: 65-83 (2009)

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

Steve Schneider, Helen Treharne: Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. IFM 2009: 103-117

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

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: Applying CSP || B to information systems. Software and System Modeling 7(1): 85-102 (2008)

Helen Treharne, Edward Turner, Steve Schneider, Neil Evans: Object Modelling in the SystemB Industrial Project. ABZ 2008: 359

Edward Turner, Helen Treharne, Steve Schneider, Neil Evans: Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC 2008: 364-379

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

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

Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill: Experiments in Translating CSP || B to Handel-C. CPA 2008: 115-133

Neil Evans, Helen Treharne: Interactive tool support for CSP || B consistency checking. Formal Asp. Comput. 19(3): 277-302 (2007)

Wilson Ifill, Steve A. Schneider, Helen Treharne: Augmenting B with Control Annotations. B 2007: 34-48

Damien Karkinsky, Steve A. Schneider, Helen Treharne: Combining Mobility with State. IFM 2007: 373-392

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

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

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

Neil Evans, Helen Treharne: Linking Semantic Models to Support CSP || B Consistency Checking. Electr. Notes Theor. Comput. Sci. 145: 201-217 (2006)

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank monitoring: a pAMN case study. Formal Asp. Comput. 18(3): 308-328 (2006)

Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106

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

Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank Monitoring: A pAMN Case Study. Electr. Notes Theor. Comput. Sci. 137(2): 183-204 (2005)

Steve Schneider, Helen Treharne: CSP theorems for communicating B machines. Formal Asp. Comput. 17(4): 390-422 (2005)

Neil Evans, Helen Treharne: Investigating a file transfer protocol using CSP and B. Software and System Modeling 4(3): 258-276 (2005)

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

Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider (Eds.): ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science 3455, Springer 2005, isbn 3-540-25559-1

Steve Schneider, Helen Treharne: Verifying Controlled Components. IFM 2004: 87-107

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425

Helen Treharne, Steve Schneider, Marchia Bramble: Composing Specifications Using Communication. ZB 2003: 58-78

Helen Treharne: Supplementing a UML Development Process with B. FME 2002: 568-586

Steve Schneider, Helen Treharne: Communicating B Machines. ZB 2002: 416-435

Helen Treharne, Steve Schneider: How to Drive a B Machine. ZB 2000: 188-208

Helen Treharne, Steve Schneider: Using a Process Algebra to Control B Operations. IFM 1999: 437-456

Helen Treharne, J. Draper, Steve Schneider: Test Case Preparation Using a Prototype. B 1998: 293-311