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
1172005
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
582000
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
382010
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
292017
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
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
272007
Combining control executives and software specifications
HE Treharne
Royal Holloway, University of London, 2000
272000
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
262014
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
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
Towards a practical approach to check UML/fUML models consistency using CSP
I Abdelhalim, S Schneider, H Treharne
International Conference on Formal Engineering Methods, 33-48, 2011
242011
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
The system can't perform the operation now. Try again later.
Articles 1–20