| 2017 | IFM | Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. | Joo F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke |
| 2013 | APSEC | Linking the Semantics of BPEL Using Maude. | Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu |
| 2013 | ICECCS | Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. | Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu |
| 2012 | IFM | Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. | HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser |
| 2008 | MODELS | FPTC: Automated Safety Analysis for Domain-Specific Languages. | Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke |
| 2008 | SAFECOMP | Towards Agile Engineering of High-Integrity Systems. | Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
| 2007 | ICECCS | A Novel Approach to the Detection of Cheating in Multiplayer Online Games. | Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers |
| 2006 | ICWE | Agile development of secure web applications. | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke |
| 2006 | ISI | A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks - A Friend Approach. | Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke |
| 2005 | IFM | Agile Formal Method Engineering. | Richard F. Paige, Phillip J. Brooke |
| 2002 | IFM | The Design of a Tool-Supported Graphical Notation for Timed CSP. | Phillip J. Brooke, Richard F. Paige |