Neil Evans

	2010
17		Neil Evans: Integrating Formal Methods with Informal Digital Hardware Development. ECEASST 35: (2010)
	2009
16		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
	2008
15		Helen Treharne, Edward Turner, Steve Schneider, Neil Evans: Object Modelling in the SystemB Industrial Project. ABZ 2008: 359
14		Edward Turner, Helen Treharne, Steve Schneider, Neil Evans: Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC 2008: 364-379
13		Neil Evans, Neil Grant: Towards the Formal Verification of a Java Processor in Event-B. Electr. Notes Theor. Comput. Sci. 201: 45-67 (2008)
12		Neil Evans: Refinement for Pipelining in Event-B. Electr. Notes Theor. Comput. Sci. 214: 183-202 (2008)
11		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
10		Neil Evans, Wilson Ifill: Hardware Verification and Beyond: Using B at AWE. B 2007: 260-261
9		Neil Grant, Neil Evans: Towards the Formal Verification of a Java Processor in Event-B. CPA 2007: 425-442
8		Neil Evans, Helen Treharne: Interactive tool support for CSP || B consistency checking. Formal Asp. Comput. 19(3): 277-302 (2007)
	2006
7		Neil Evans, Michael J. Butler: A Proposal for Records in Event-B. FM 2006: 221-235
6		Neil Evans, Helen Treharne: Linking Semantic Models to Support CSP || B Consistency Checking. Electr. Notes Theor. Comput. Sci. 145: 201-217 (2006)
	2005
5		Steve A. Schneider, Helen Treharne, Neil Evans: Chunks: Component Verification in CSP||B. IFM 2005: 89-108
4		Neil Evans, Steve A. Schneider: Verifying security protocols with PVS: widening the rank function approach. J. Log. Algebr. Program. 64(2): 253-284 (2005)
3		Neil Evans, Helen Treharne: Investigating a file transfer protocol using CSP and B. Software and System Modeling 4(3): 258-276 (2005)
	2004
2		Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425
	2000
1		Neil Evans, Steve Schneider: Analysing Time Dependent Security Properties in CSP Using PVS. ESORICS 2000: 222-237

Coauthor Index

1	Michael J. Butler	[7]
2	Marc Frappier	[2] [11]
3	Neil Grant	[9] [13] [16]
4	Wilson Ifill	[10] [16]
5	Régine Laleau (Regine Laleau)	[2] [11]
6	Steve A. Schneider (Steve Schneider)	[1] [4] [5] [14] [15] [16]
7	Helen Treharne	[2] [3] [5] [6] [8] [11] [14] [15] [16]
8	Edward Turner	[14] [15]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page