| |
| 2006 | ||
|---|---|---|
| 3 | EE | Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006 |
| 2004 | ||
| 2 | EE | Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427 |
| 2003 | ||
| 1 | EE | Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340- |
| 1 | John A. Clark (John Andrew Clark) | [1] [2] [3] |
| 2 | Tim Kelly (Tim P. Kelly) | [3] |
| 3 | Fiona Polack | [1] [2] [3] |
| 4 | Susan Stepney | [1] |