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
Using a process algebra to control B operations
H Treharne, S Schneider
IFM’99, 437-456, 1999
1141999
CSP theorems for communicating B machines
S Schneider, H Treharne
Formal Aspects of Computing 17 (4), 390-422, 2005
1112005
Communicating B machines
S Schneider, H Treharne
International Conference of B and Z Users, 416-435, 2002
942002
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
412010
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
342010
Verifying controlled components
S Schneider, H Treharne
International Conference on Integrated Formal Methods, 87-107, 2004
332004
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
322014
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
312012
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
302014
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, ...
272013
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
Combining control executives and software specifications
HE Treharne
Royal Holloway, University of London, 2000
262000
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
252007
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
252004
Supplementing a UML development process with B
H Treharne
International Symposium of Formal Methods Europe, 568-586, 2002
232002
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
231996
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
222017
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
222013
The system can't perform the operation now. Try again later.
Articles 1–20