| 2009 |
|---|
| 11 | EE | Kelly Androutsopoulos,
David Clark,
Mark Harman,
Zheng Li,
Laurence Tratt:
Control Dependence for Extended Finite State Machines.
FASE 2009: 216-230 |
| 2007 |
|---|
| 10 | EE | George Spanoudakis,
Christos Kloukinas,
Kelly Androutsopoulos:
Towards security monitoring patterns.
SAC 2007: 1518-1525 |
| 2005 |
|---|
| 9 | EE | Kevin Lano,
Kelly Androutsopoulos,
David Clark:
Refinement Patterns for UML.
Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005) |
| 2004 |
|---|
| 8 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
UML to B: Formal Verification of Object-Oriented Models.
IFM 2004: 187-206 |
| 2003 |
|---|
| 7 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
RSDS, a Subset of UML with Precise Semantics.
L'OBJET 9(4): 53-73 (2003) |
| 2002 |
|---|
| 6 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
From Implicit Specifications to Explicit Designs in Reactive System Development.
IFM 2002: 49-68 |
| 5 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos:
Safety and Security Analysis of Object-Oriented Models.
SAFECOMP 2002: 82-93 |
| 2000 |
|---|
| 4 | EE | Kevin Lano,
Kelly Androutsopoulos,
David Clark:
Structuring and Design of Reactive Systems Using RSDS and B.
FASE 2000: 97-111 |
| 3 | EE | Kevin Lano,
David Clark,
Kelly Androutsopoulos,
Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems.
FTRTFT 2000: 46-57 |
| 2 | EE | Kevin Lano,
Kelly Androutsopoulos,
Pauline Kan:
Structuring Reactive Systems in B AMN.
ICFEM 2000: 25-34 |
| 1999 |
|---|
| 1 | | Kevin Lano,
Kelly Androutsopoulos:
Reactive System Refinement of Distributed Systems in B.
IFM 1999: 415-434 |
