Home

Publications

Sort by: type, or by subject area.

Journals and Conferences

  1. A Theoretical and Empirical Study of EFSM Dependence PDF
    Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li , Laurence Tratt
    Proceedings of the International Conference on Software Maintenance (ICSM), September 2009


  2. Control Dependence for Extended Finite State Machines PDF
    Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li , Laurence Tratt
    Fundamental Approaches to Software Engineering (FASE), March 2009
    Best Software Science Paper Award, at the 12th European Join Conference on Theory and Practice ETAPS 2009.


  3. Dynamic Verification and Control of Mobile Peer-to-Peer Systems PDF
    George Spanoudakis, Christos Kloukinas, and Kelly Androutsopoulos
    Proceedings of the Third International Conference on Internet Monitoring and Protection (ICIMP) 2008, Bucharest, Romania


  4. Towards Security Monitoring Patterns PDF
    George Spanoudakis, Christos Kloukinas, and Kelly Androutsopoulos
    In ACM Symposium on Applied Computing (SAC07), Seoul, Korea, 2007


  5. Concurrency and Real-Time Specifications in UML
    Kevin Lano, Kelly Androutsopoulos, and David Clark.
    Proceedings of the International Workshop on Modelling and Analysis of Real-Time and Embedded Systems (MARTES) at
    MoDELS 2006. Universitet i Oslo, Institut for Informatikk Research Report.


  6. Refinement Patterns for UML
    Kevin Lano, Kelly Androutsopoulos, David Clark
    Electronic Notes in Theoretical Computer Science 137(2): 131-149, 2005


  7. UML to B: Formal Verification of Object-Oriented Models PS
    Kevin Lano, David Clark and Kelly Androutsopoulos
    IFM, Kent, 2004


  8. RSDS, a Subset of UML with Precise Semantics PS
    Kevin Lano, Kelly Androutsopoulos and David Clark
    Journal L'objet, Logiciel, bases de donnees, reseaux, 2003


  9. Formal Specification and Verification of Railway Systems Using UML PS
    Kevin Lano, Kelly Androutsopoulos and David Clark
    FORMS Symposium on Formal Methods for Railway Operation and Control Systems, Budapest, Hungary, 2003


  10. From Implicit Specifications to Explicit Designs in Reactive System Development
    Kevin Lano, David Clark and Kelly Androutsopoulos
    The Third International Conference, Integrated Formal Methods (IFM) Turku, Finland, 2002


  11. Safety and Security Analysis of Object-Oriented Models PS
    Kevin Lano, David Clark and Kelly Androutsopoulos
    SAFECOMP Italy, 82-93, 2002


  12. Design and Verification of Automation Systems using RSDS
    Kevin Lano, Kelly Androutsopoulos, David Clark and Pauline Kan
    Proceeding of INCOM, Vienna, 2001


  13. Structuring Reactive Systems in B AMN PS
    Kevin Lano, Kelly Androutsopoulos and Pauline Kan
    Third IEEE International Conference on Formal Methods (ICFEM), September 2000, York


  14. Invariant-based Synthesis of Fault-tolerant Systems PS
    Kevin Lano,David Clark, Kelly Androutsopoulos and Pauline Kan
    In the proceedings of FTRTFT 2000.


  15. Structuring and Design of Reactive Systems using RSDS and B PS
    Kevin Lano, Kelly Androutsopoulos, and David Clark
    In the proceedings of FASE, ETAPS 2000.


  16. Reactive System Refinement of Distributed Systems in B PS
    Kevin Lano, Kelly Androutsopoulos
    Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999, Springer

Workshops

  1. Correctness for Slicing EFSMs.
    Kelly Androutsopoulos, David Clark, Mark Harman and Laurie Tratt
    2nd International Workshop on Programming Language Interference and Dependence, PLID'05, London Sept 6, 2005


  2. Formalising Inter-model Consistency of the UML PS
    Kevin Lano, David Clark and Kelly Androutsopoulos
    UML 2002, Workshop on Consistency Problems in UML-Based Software Development, Dresden, Germany, 2002


  3. RSDS: A Subset of UML with Precise Semantics
    Kevin Lano, David Clark, Kelly Androutsopoulos,
    ROOM The fourth workshop, King's College,2002


  4. Reactive System Specification and Verification in RSDS
    Kelly Androutsopoulos, Kevin Lano
    AVOCS, Oxford, 2001

PhD Thesis

Home