Follow
Helen Treharne
Helen Treharne
Professor, Department of Computer Science, University of Surrey
Verified email at surrey.ac.uk - Homepage
Title
Cited by
Cited by
Year
CSP theorems for communicating B machines
S Schneider, H Treharne
Formal Aspects of Computing 17 (4), 390-422, 2005
1222005
Using a process algebra to control B operations
H Treharne, S Schneider
IFM’99, 437-456, 1999
1161999
Communicating B machines
S Schneider, H Treharne
International Conference of B and Z Users, 416-435, 2002
922002
How to drive a B machine
H Treharne, S Schneider
International Conference of B and Z Users, 188-208, 2000
622000
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
462014
A CSP approach to control in Event-B
S Schneider, H Treharne, H Wehrheim
International Conference on Integrated Formal Methods, 260-274, 2010
462010
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
412012
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
382014
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
382010
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
352017
Verifying controlled components
S Schneider, H Treharne
International Conference on Integrated Formal Methods, 87-107, 2004
332004
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, ...
292013
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
272014
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
272013
Chunks: Component verification in CSP∥ B
S Schneider, H Treharne, N Evans
International Conference on Integrated Formal Methods, 89-108, 2005
272005
Composing specifications using communication
H Treharne, S Schneider, M Bramble
International Conference of B and Z Users, 58-78, 2003
272003
Combining control executives and software specifications
HE Treharne
Royal Holloway, University of London, 2000
272000
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
262007
Supplementing a UML development process with B
H Treharne
International Symposium of Formal Methods Europe, 568-586, 2002
262002
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
252017
The system can't perform the operation now. Try again later.
Articles 1–20