Professor Helen Treharne


Professor in Computer Science
+44 (0)1483 683161
12 BB 02
Student consultation 10-11 Wednesday - 7, 21 Oct, 4, 18 Nov, 2, 16 Dec zoom

Academic and research departments

Department of Computer Science.

Biography

University roles and responsibilities

  • Member of University Senate
  • Member of University Quality and Standards Subcommittee which involves chairing validation panels

Previous roles

March 2015 - August 2020
Head of Department
2014
Responsible for BCS validation
2011 - 2012
I was responsible for UCAS co-ordination and open days, and a member of the Department Policy and Strategy Group.
2008 - 2011
Undergraduate Director of Studies responsible for restructuring the undergraduate Computer Science programmes

Research

Research interests

Research collaborations

My teaching

My publications

Publications

Papers

Google Citations

2012

  • Steve Schneider, Helen Treharne, Heike Wehrheim, The behavioural semantics of Event-B Refinement, Formal Aspects of Computing, October 2012. DOI 10.1007/s00165-012-0265-0
  • Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne, Railway modelling in CSP||B: the double junction case study, AVOCS 2012 (to appear).
  • Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne, Defining and Model Checking Abstractions of Complex Railway Models using CSP||B, HVC 2012 (to appear).
  • Islam Abdelhalim, Steve Schneider, Helen Treharne: An Optimization Approach for Effective Formalized fUML Model Checking. SEFM2012: 248-262
  • Islam Abdelhalim, Steve Schneider, Helen Treharne: An integrated framework for checking the behaviour of fUML models using CSP, International Journal on Software Tools for Technology Transfer, 2012, DOI: 10.1007/s10009-012-0243-0
  • Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne, CSP||B modelling for railway verification: the Double Junction case study, Department of Computer Science Technical Report CS-12-03, 2012.
  • Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider & Helen Treharne, Combining event-based and state-based modelling for railway verification, Department of Computer Science Technical Report CS-12-02, 2012.

2011

  • Steve Schneider, Helen Treharne & Heike Wehrheim, “Bounded Retransmission in Event-B||CSP: a Case Study”, B2011 Workshop, Limerick, 2011. PDF.
  • Steve Schneider, Helen Treharne & Heike Wehrheim, “A CSP account of Event-B refinement”, REFINE'11: Refinement Workshop, Limerick, 2011. PDF.
  • Steve Schneider, Helen Treharne & Heike Wehrheim, “Bounded retransmission in Event-B||CSP: a Case Study”. Department of Computer Science Technical Report CS-11-04, University of Surrey 2011. PDF
  • Steve Schneider, Helen Treharne & Heike Wehrheim, “Stepwise Refinement in Event-B||CSP. Part 1: Safety”. Department of Computer Science Technical Report CS-11-03, University of Surrey 2011. PDF
  • Islam Abdelhalim, Steve Schneider & Helen Treharne, “Towards a practical approach to check UML/fUML models consistency using CSP”, ICFEM 2011, 6991 LNCS:33-48 2011. PDF

2010

2009

2008