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
1182005
Using a process algebra to control B operations
H Treharne, S Schneider
IFM’99, 437-456, 1999
1171999
Communicating B machines
S Schneider, H Treharne
International Conference of B and Z Users, 416-435, 2002
902002
How to drive a B machine
H Treharne, S Schneider
International Conference of B and Z Users, 188-208, 2000
592000
A CSP approach to control in Event-B
S Schneider, H Treharne, H Wehrheim
International Conference on Integrated Formal Methods, 260-274, 2010
442010
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
392014
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
382012
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
372010
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
342014
Verifying controlled components
S Schneider, H Treharne
International Conference on Integrated Formal Methods, 87-107, 2004
332004
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
302017
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, ...
282013
Combining control executives and software specifications
HE Treharne
Royal Holloway, University of London, 2000
282000
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
Chunks: Component verification in CSP∥ B
S Schneider, H Treharne, N Evans
International Conference on Integrated Formal Methods, 89-108, 2005
262005
Composing specifications using communication
H Treharne, S Schneider, M Bramble
International Conference of B and Z Users, 58-78, 2003
262003
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
252014
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
252013
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
242004
Supplementing a UML development process with B
H Treharne
International Symposium of Formal Methods Europe, 568-586, 2002
242002
The system can't perform the operation now. Try again later.
Articles 1–20