(2006) Using i* to Model Access Policies: Relating Roles to their Organisational Context Social Modelling for Requirements Engineering, Giorgini, P., Maiden, N., Mylopoulos, J., and Yu, E (ed.) MIT Press (click for full details)

(2004) Using Abuse Frames to Bound the Scope of Security Problems Proceedings of 3rd international Workshop on Requirements for high Assurance Systems (RHAS’04), Kyoto, Japan (click for full details)

(2004) Using Abuse Frames to Bound the Scope of Security Problems Proceedings of the 12th International Requirements Engineering Conference (RE'04), Kyoto, Japan IEEE Computer Society Press (click for full details)

(2004) Unit testing in practice Proc 15th IEEE International Symposium on Software Reliability Engineering, (click for full details)

(2004) Unit Testing in Practice (click for full details)

(2004) Unit testing in practice Proc 15th IEEE International Symposium on Software Reliability Engineering, (click for full details)

(2003) Introducing Abuse Frames for Analysing Security Requirements Proceedings of 11th IEEE International Requirements Engineering Conference (RE'03), Monterey, USA pp. 371-372 (click for full details)

(2003) Modelling Access Policies Using Roles in Requirements Engineering Information and Software Technology, vol. 45 issue 1 pp. 979-991 Elsevier (click for full details)

(2002) Security Requirements Engineering: When Anti-requirements Hit the Fan Proceedings of 10th International Requirements Engineering Conference (RE’02), Essen, Germany IEEE CS Press (click for full details)

(2001) A high-level debugger for parser generators Software Practice and Experience, vol. 31 issue 10 (click for full details)

(2000) Quotient machines, the interface equation and protocol conversion Computer Journal, vol. 43 pp. 24-39 (click for full details)

(2000) The evaluation of access costs in object databases Information and Software Technology Journal, vol. 42 pp. 556-570 (click for full details)

(1997) Action systems for security specification Journal of Computer Security, vol. 5 pp. 129-154 (click for full details)

(1997) A graph theoretic solution to the interface equation Applications of Combinatorial Mathematics, pp. 185-197 (click for full details)

(1995) A case study of a difficult refinement: A fast dictionary for a spell-checking program Information and Software Technology, vol. 37 pp. 671-680 (click for full details)

(1995) Synthesising metrics in software engineering and knowledge engineering Software Engineering and Knowledge, pp. 253-269 D Hurley (ed.) World Scientific (click for full details)

(1994) A Critique of 3 Metrics Journal of Systems and Software, vol. 26 pp. 197-210 (click for full details)

(1993) The Derivation and Validation of Software Metrics International Computer Science Monographs, Osford University Press (click for full details)

(1992) Introduction to Software Project Management and Quality Assurance McGraw-Hill (click for full details)

(1992) Towards an Analytical Role Modelling Framework for Security Requirements Proceedings of 8th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ-02), Essen, Germany (click for full details)

(1991) Software Metrics in Software Engineering and Artificial- Intelligence International Journal of Software Engineering and Knowledge Engineering, vol. 1 pp. 463-476 (click for full details)

(1990) An Annotated-Bibliography of Software Metrics Sigplan Notices, vol. 25 pp. 15-23 (click for full details)