| CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005 | 119 | 2005 |
| Using a process algebra to control B operations H Treharne, S Schneider IFM’99, 437-456, 1999 | 118 | 1999 |
| Communicating B machines S Schneider, H Treharne International Conference of B and Z Users, 416-435, 2002 | 90 | 2002 |
| How to drive a B machine H Treharne, S Schneider International Conference of B and Z Users, 188-208, 2000 | 60 | 2000 |
| A CSP approach to control in Event-B S Schneider, H Treharne, H Wehrheim International Conference on Integrated Formal Methods, 260-274, 2010 | 45 | 2010 |
| 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 (6), 685-711, 2014 | 40 | 2014 |
| Defining and model checking abstractions of complex railway models using CSP|| B F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne Haifa Verification Conference, 193-208, 2012 | 39 | 2012 |
| Formal verification of tokeneer behaviours modelled in fuml using csp I Abdelhalim, J Sharp, S Schneider, H Treharne International Conference on Formal Engineering Methods, 371-387, 2010 | 38 | 2010 |
| The behavioural semantics of Event-B refinement S Schneider, H Treharne, H Wehrheim Formal aspects of computing 26 (2), 251-280, 2014 | 36 | 2014 |
| 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 | 33 | 2017 |
| Verifying controlled components S Schneider, H Treharne International Conference on Integrated Formal Methods, 87-107, 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, S Schneider, H Treharne, ... | 28 | 2013 |
| Combining control executives and software specifications HE Treharne Royal Holloway, University of London, 2000 | 28 | 2000 |
| Chunks: Component verification in CSP∥ B S Schneider, H Treharne, N Evans International Conference on Integrated Formal Methods, 89-108, 2005 | 27 | 2005 |
| 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 | 26 | 2007 |
| Composing specifications using communication H Treharne, S Schneider, M Bramble International Conference of B and Z Users, 58-78, 2003 | 26 | 2003 |
| 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 | 25 | 2014 |
| Verification of Scheme Plans Using CSP $$$$ B P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ... International Conference on Software Engineering and Formal Methods, 189-204, 2013 | 25 | 2013 |
| Supplementing a UML development process with B H Treharne International Symposium of Formal Methods Europe, 568-586, 2002 | 25 | 2002 |
| Formal analysis of V2X revocation protocols J Whitefield, L Chen, F Kargl, A Paverd, S Schneider, H Treharne, ... International Workshop on Security and Trust Management, 147-163, 2017 | 24 | 2017 |
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
