Helen Treharne

2008
20	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
19	EE	Wilson Ifill, Steve A. Schneider, Helen Treharne: Augmenting B with Control Annotations. B 2007: 34-48
18	EE	Damien Karkinsky, Steve A. Schneider, Helen Treharne: Combining Mobility with State. IFM 2007: 373-392
17	EE	Neil Evans, Helen Treharne: Interactive tool support for CSP || B consistency checking. Formal Asp. Comput. 19(3): 277-302 (2007)
2006
16	EE	Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106
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

Coauthor Index

1	Marchia Bramble	[6]
2	Ana Cavalcanti	[16]
3	J. Draper	[1]
4	Neil Evans	[7] [9] [12] [15] [17] [20]
5	Marc Frappier	[7] [20]
6	Martin C. Henson	[13]
7	Thai Son Hoang	[11] [14]
8	Wilson Ifill	[19]
9	Damien Karkinsky	[18]
10	Steve King	[13]
11	Régine Laleau (Regine Laleau)	[7] [20]
12	Ken Robinson (Kenneth Arthur Robinson)	[11] [14]
13	Steve A. Schneider (Steve Schneider)	[1] [2] [3] [4] [6] [8] [10] [11] [12] [13] [14] [16] [18] [19]
14	Jim Woodcock (J. C. P. Woodcock)	[16]