Using a process algebra to control B operations H Treharne, S Schneider IFM’99, 437-456, 1999 | 117 | 1999 |
CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005 | 115 | 2005 |
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 | 57 | 2000 |
A CSP approach to control in Event-B S Schneider, H Treharne, H Wehrheim International Conference on Integrated Formal Methods, 260-274, 2010 | 43 | 2010 |
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 | 37 | 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 | 37 | 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 | 35 | 2014 |
Verifying controlled components S Schneider, H Treharne International Conference on Integrated Formal Methods, 87-107, 2004 | 33 | 2004 |
The behavioural semantics of Event-B refinement S Schneider, H Treharne, H Wehrheim Formal aspects of computing 26 (2), 251-280, 2014 | 30 | 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 | 27 | 2017 |
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, ... | 27 | 2013 |
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 | 27 | 2007 |
Combining control executives and software specifications HE Treharne Royal Holloway, University of London, 2000 | 27 | 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 | 26 | 2014 |
Chunks: Component verification in CSP∥ B S Schneider, H Treharne, N Evans International Conference on Integrated Formal Methods, 89-108, 2005 | 26 | 2005 |
Composing specifications using communication H Treharne, S Schneider, M Bramble International Conference of B and Z Users, 58-78, 2003 | 26 | 2003 |
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 | 24 | 2013 |
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 | 24 | 2004 |
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 | 24 | 1996 |