dblp.uni-trier.dewww.uni-trier.de

Helen Treharne Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Marchia Bramble [6]
2Ana Cavalcanti [17]
3Chris Culnane [16] [20] [24]
4J. Draper [1]
5Neil Evans [7] [9] [12] [15] [18] [23] [25] [27]
6Marc Frappier [7] [23]
7Martin C. Henson [13]
8Anthony Tung Shuen Ho (Anthony T. S. Ho) [16] [19] [20] [24] [28]
9Thai Son Hoang [11] [14]
10Wilson Ifill [22] [26]
11Weina Jiang [19] [28]
12Damien Karkinsky [21]
13Steve King [13]
14Dimitrios S. Kolovos [29]
15Régine Laleau (Regine Laleau) [7] [23]
16Alistair McEwan [26]
17Richard F. Paige [29]
18Ken Robinson (Kenneth Arthur Robinson) [11] [14]
19Steve A. Schneider (Steve Schneider) [1] [2] [3] [4] [6] [8] [10] [11] [12] [13] [14] [17] [21] [22] [25] [26] [27] [30]
20Edward Turner [25] [27] [29]
21David M. Williams [24]
22Jim Woodcock (J. C. P. Woodcock) [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)