Search the dblp DataBase

Publications of Author

1. Neil Evans, Wilson Ifill
   Hardware Verification and Beyond: Using B at AWE. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:260-261 [Conf]
   
2. Neil Evans, Steve Schneider
   Analysing Time Dependent Security Properties in CSP Using PVS. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2000, pp:222-237 [Conf]
   
3. Neil Evans, Michael Butler
   A Proposal for Records in Event-B. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:221-235 [Conf]
   
4. Steve A. Schneider, Helen Treharne, Neil Evans
   Chunks: Component Verification in CSP||B. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:89-108 [Conf]
   
5. Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
   How to Verify Dynamic Properties of Information Systems. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:416-425 [Conf]
   
6. Neil Evans, Helen Treharne
   Linking Semantic Models to Support CSP || B Consistency Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:201-217 [Journal]
   
7. Neil Evans, Steve A. Schneider
   Verifying security protocols with PVS: widening the rank function approach. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:2, pp:253-284 [Journal]
   
8. Neil Evans, Helen Treharne
   Investigating a file transfer protocol using CSP and B. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:258-276 [Journal]
   
9. Neil Evans, Helen Treharne
   Interactive tool support for CSP || B consistency checking. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:3, pp:277-302 [Journal]
   
10. 
    Object Modelling in the SystemB Industrial Project. [Citation Graph (, )][DBLP]
    
    
11. 
    A Step towards Merging xUML and CSP || {\| \ }B. [Citation Graph (, )][DBLP]
    
    
12. 
    Automatic Generation of CSP || B Skeletons from xUML Models. [Citation Graph (, )][DBLP]
    
    
13. 
    Towards the Formal Verification of a Java Processor in Event-B. [Citation Graph (, )][DBLP]
    
    
14. 
    Towards the Formal Verification of a Java Processor in Event-B. [Citation Graph (, )][DBLP]
    
    
15. 
    Refinement for Pipelining in Event-B. [Citation Graph (, )][DBLP]