Helen Treharne
Helen Treharne
Professor, Department of Computer Science, University of Surrey
Verified email at surrey.ac.uk - Homepage
TitleCited byYear
Using a process algebra to control B operations
H Treharne, S Schneider
IFM’99, 437-456, 1999
1131999
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
922002
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
432010
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
332010
Verifying controlled components
S Schneider, H Treharne
International Conference on Integrated Formal Methods, 87-107, 2004
332004
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
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
302014
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
272014
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
Chunks: component verification in CSP∥ b
S Schneider, H Treharne, N Evans
International Conference on Integrated Formal Methods, 89-108, 2005
262005
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
Composing specifications using communication
H Treharne, S Schneider, M Bramble
International Conference of B and Z Users, 58-78, 2003
252003
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
241996
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
Supplementing a UML development process with B
H Treharne
International Symposium of Formal Methods Europe, 568-586, 2002
222002
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, ...
212013
ZB 2005: Formal Specification and Development in Z and B
H Treharne, S King, MC Henson, SA Schneider
4th International Conference of B and Z Users. Lecture Notes in Computer …, 2005
212005
The system can't perform the operation now. Try again later.
Articles 1–20