| CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005 | 125 | 2005 |
| Using a process algebra to control B operations H Treharne, S Schneider IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999 | 120 | 1999 |
| Communicating B machines S Schneider, H Treharne ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002 | 93 | 2002 |
| How to drive a B machine H Treharne, S Schneider ZB 2000: Formal Specification and Development in Z and B: First …, 2000 | 62 | 2000 |
| Techniques for modelling and verifying railway interlockings P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne International Journal on Software Tools for Technology Transfer 16, 685-711, 2014 | 51 | 2014 |
| A CSP approach to control in Event-B S Schneider, H Treharne, H Wehrheim Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010 | 47 | 2010 |
| Privacy-enhanced capabilities for vanets using direct anonymous attestation J Whitefield, L Chen, T Giannetsos, S Schneider, H Treharne 2017 IEEE Vehicular Networking Conference (VNC), 123-130, 2017 | 45 | 2017 |
| The behavioural semantics of Event-B refinement S Schneider, H Treharne, H Wehrheim Formal aspects of computing 26, 251-280, 2014 | 43 | 2014 |
| Defining and model checking abstractions of complex railway models using CSP|| B F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 41 | 2013 |
| Formal verification of tokeneer behaviours modelled in fuml using csp I Abdelhalim, J Sharp, S Schneider, H Treharne Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 38 | 2010 |
| Verifying controlled components S Schneider, H Treharne Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 33 | 2004 |
| Functional and performance analysis of network-on-chips using actor-based modeling and formal verification Z Sharifi, M Mosaffa, S Mohammadi, M Sirjani ECEASST 66, 1-16, 2013 | 29 | 2013 |
| Combining control executives and software specifications HE Treharne Royal Holloway, University of London, 2000 | 29 | 2000 |
| On modelling and verifying railway interlockings: Tracking train lengths P James, HN Moller, Faron: Nguyen, M Roggenbach, S Schneider, ... Science of Computer Programming 96 (3), 315-336, 2014 | 28 | 2014 |
| A novel semi-fragile image watermarking, authentication and self-restoration technique using the slant transform X Zhao, ATS Ho, H Treharne, V Pankajakshan, C Culnane, W Jiang Third International Conference on Intelligent Information Hiding and …, 2007 | 28 | 2007 |
| Formal analysis of v2x revocation protocols J Whitefield, L Chen, F Kargl, A Paverd, S Schneider, H Treharne, ... Security and Trust Management: 13th International Workshop, STM 2017, Oslo …, 2017 | 27 | 2017 |
| Verification of Scheme Plans Using CSPB P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ... Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 27 | 2014 |
| Chunks: Component verification in CSP∥ B S Schneider, H Treharne, N Evans Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005 | 27 | 2005 |
| Evaluating the B-Method on an avionics example J Draper, H Treharne, T Boyce, B Ormsby Proceedings of Data Systems in Aerospace (DASIA) Conference, 89-97, 1996 | 27 | 1996 |
| How to verify dynamic properties of information systems N Evans, H Treharne, R Laleau, M Frappier Proceedings of the Second International Conference on Software Engineering …, 2004 | 26 | 2004 |
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
