2009 |
28 | EE | Steve Schneider,
Helen Treharne:
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B.
IFM 2009: 103-117 |
2008 |
27 | EE | Helen Treharne,
Edward Turner,
Steve Schneider,
Neil Evans:
Object Modelling in the SystemB Industrial Project.
ABZ 2008: 359 |
26 | EE | Steve Schneider,
Helen Treharne,
Alistair McEwan,
Wilson Ifill:
Experiments in Translating CSP || B to Handel-C.
CPA 2008: 115-133 |
25 | EE | Edward Turner,
Helen Treharne,
Steve Schneider,
Neil Evans:
Automatic Generation of CSP || B Skeletons from xUML Models.
ICTAC 2008: 364-379 |
24 | EE | 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 |
23 | EE | Neil Evans,
Helen Treharne,
Régine Laleau,
Marc Frappier:
Applying CSP || B to information systems.
Software and System Modeling 7(1): 85-102 (2008) |
2007 |
22 | EE | Wilson Ifill,
Steve A. Schneider,
Helen Treharne:
Augmenting B with Control Annotations.
B 2007: 34-48 |
21 | EE | Damien Karkinsky,
Steve A. Schneider,
Helen Treharne:
Combining Mobility with State.
IFM 2007: 373-392 |
20 | EE | 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 |
19 | EE | 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 |
18 | EE | Neil Evans,
Helen Treharne:
Interactive tool support for CSP || B consistency checking.
Formal Asp. Comput. 19(3): 277-302 (2007) |
2006 |
17 | EE | Steve Schneider,
Helen Treharne,
Ana Cavalcanti,
Jim Woodcock:
A Layered Behavioural Model of Platelets.
ICECCS 2006: 98-106 |
16 | EE | 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 |
15 | EE | Neil Evans,
Helen Treharne:
Linking Semantic Models to Support CSP || B Consistency Checking.
Electr. Notes Theor. Comput. Sci. 145: 201-217 (2006) |
14 | EE | Steve Schneider,
Thai Son Hoang,
Ken Robinson,
Helen Treharne:
Tank monitoring: a pAMN case study.
Formal Asp. Comput. 18(3): 308-328 (2006) |
2005 |
13 | | Helen Treharne,
Steve King,
Martin C. Henson,
Steve A. Schneider:
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
Springer 2005 |
12 | EE | Steve A. Schneider,
Helen Treharne,
Neil Evans:
Chunks: Component Verification in CSP||B.
IFM 2005: 89-108 |
11 | EE | 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) |
10 | EE | Steve Schneider,
Helen Treharne:
CSP theorems for communicating B machines.
Formal Asp. Comput. 17(4): 390-422 (2005) |
9 | EE | Neil Evans,
Helen Treharne:
Investigating a file transfer protocol using CSP and B.
Software and System Modeling 4(3): 258-276 (2005) |
2004 |
8 | EE | Steve Schneider,
Helen Treharne:
Verifying Controlled Components.
IFM 2004: 87-107 |
7 | EE | Neil Evans,
Helen Treharne,
Régine Laleau,
Marc Frappier:
How to Verify Dynamic Properties of Information Systems.
SEFM 2004: 416-425 |
2003 |
6 | EE | Helen Treharne,
Steve Schneider,
Marchia Bramble:
Composing Specifications Using Communication.
ZB 2003: 58-78 |
2002 |
5 | EE | Helen Treharne:
Supplementing a UML Development Process with B.
FME 2002: 568-586 |
4 | EE | Steve Schneider,
Helen Treharne:
Communicating B Machines.
ZB 2002: 416-435 |
2000 |
3 | EE | Helen Treharne,
Steve Schneider:
How to Drive a B Machine.
ZB 2000: 188-208 |
1999 |
2 | | Helen Treharne,
Steve Schneider:
Using a Process Algebra to Control B Operations.
IFM 1999: 437-456 |
1998 |
1 | EE | Helen Treharne,
J. Draper,
Steve Schneider:
Test Case Preparation Using a Prototype.
B 1998: 293-311 |