| A Formal Approach to Constructing Secure Air Vehicle Software. | 4 | 0.57 | 2018 |
| Formally verified software in the real world. | 4 | 0.43 | 2018 |
| Composing Patterns to Construct Secure Systems | 2 | 0.57 | 2015 |
| Automated verification of RPC stub code | 1 | 0.35 | 2015 |
| An Architectural Approach for Cost Effective Trustworthy Systems | 4 | 0.42 | 2012 |
| Multicore OS benchmarks: we can do better | 1 | 0.37 | 2011 |
| Architecture optimisation with currawong | 1 | 0.48 | 2011 |
| The road to trustworthy systems | 3 | 0.42 | 2010 |
| capDL: a language for describing capability-based systems | 12 | 0.71 | 2010 |
| Towards automatic performance optimisation of componentised systems | 1 | 0.36 | 2009 |
| Dingo: taming device drivers | 45 | 1.50 | 2009 |
| Automatic device driver synthesis with termite | 43 | 1.57 | 2009 |
| Towards trustworthy computing systems: taking microkernels to the next level | 37 | 2.72 | 2007 |
| Formalising device driver interfaces | 3 | 0.44 | 2007 |
| CAmkES: A component model for secure microkernel-based embedded systems | 25 | 1.25 | 2007 |
| Tools for Model Driven Development | 0 | 0.34 | 2007 |
| Extending the capabilities of component models for embedded systems | 5 | 0.47 | 2007 |
| Adapting Distributed Shared Memory Applications in Diverse Environments | 0 | 0.34 | 2006 |
| Securely Replicated Web Documents | 2 | 3.62 | 2005 |
| The globe infrastructure directory service | 9 | 0.73 | 2002 |
| A Distributed-Object Infrastructure for Corporate Websites | 0 | 0.34 | 2000 |
| The distributed ASCI Supercomputer project | 66 | 6.70 | 2000 |
| A scalable middleware solution for advanced wide-area web services | 16 | 3.76 | 1999 |
| A framework for consistent, replicated Web objects | 20 | 1.84 | 1998 |
