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

About

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

    Teaching

    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