- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j8 |      | Neil Evans: Integrating Formal Methods with Informal Digital Hardware Development. ECEASST 35 (2010) |
| 2009 | ||
| c9 | | 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 | ||
| j7 | | Neil Evans, Neil Grant: Towards the Formal Verification of a Java Processor in Event-B. Electr. Notes Theor. Comput. Sci. 201: 45-67 (2008) |
| j6 | | Neil Evans: Refinement for Pipelining in Event-B. Electr. Notes Theor. Comput. Sci. 214: 183-202 (2008) |
| j5 | | Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: Applying CSP || B to information systems. Software and System Modeling 7(1): 85-102 (2008) |
| c8 | | Helen Treharne, Edward Turner, Steve Schneider, Neil Evans: Object Modelling in the SystemB Industrial Project. ABZ 2008: 359 |
| c7 | | Edward Turner, Helen Treharne, Steve Schneider, Neil Evans: Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC 2008: 364-379 |
| 2007 | ||
| j4 | | Neil Evans, Helen Treharne: Interactive tool support for CSP || B consistency checking. Formal Asp. Comput. 19(3): 277-302 (2007) |
| c6 | | |
| c5 | | Neil Grant, Neil Evans: Towards the Formal Verification of a Java Processor in Event-B. CPA 2007: 425-442 |
| 2006 | ||
| j3 | | Neil Evans, Helen Treharne: Linking Semantic Models to Support CSP || B Consistency Checking. Electr. Notes Theor. Comput. Sci. 145: 201-217 (2006) |
| c4 | | |
| 2005 | ||
| j2 | | Neil Evans, Steve A. Schneider: Verifying security protocols with PVS: widening the rank function approach. J. Log. Algebr. Program. 64(2): 253-284 (2005) |
| j1 | | Neil Evans, Helen Treharne: Investigating a file transfer protocol using CSP and B. Software and System Modeling 4(3): 258-276 (2005) |
| c3 | | Steve A. Schneider, Helen Treharne, Neil Evans: Chunks: Component Verification in CSP||B. IFM 2005: 89-108 |
| 2004 | ||
| c2 | | Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425 |
| 2000 | ||
| c1 | | Neil Evans, Steve Schneider: Analysing Time Dependent Security Properties in CSP Using PVS. ESORICS 2000: 222-237 |
| 1 | Michael J. Butler | |
| 2 | Marc Frappier | |
| 3 | Neil Grant | |
| 4 | Wilson Ifill | |
| 5 | Régine Laleau (Regine Laleau) | |
| 6 | Steve A. Schneider (Steve Schneider) | |
| 7 | Helen Treharne | |
| 8 | Edward Turner |
Data released under the ODC-BY 1.0 license — See also our legal information page