| 2009 | APSEC | Selecting Usability Evaluation Methods for Software Process Descriptions. | Mohd Naz'ri Mahrin, Paul A. Strooper, David A. Carrington |
| 2006 | APSEC | A Pattern based Model Evolution Approach. | Soon-Kyeong Kim, David A. Carrington |
| 2006 | EuroSPI | An Industry-Based Evaluation of Process Modeling Techniques. | Brent Cahill, David A. Carrington, Brian Song, Paul A. Strooper |
| 2006 | ICFEM | A Tool for a Formal Pattern Modeling Language. | Soon-Kyeong Kim, David A. Carrington |
| 2005 | APSEC | A Passive Test Oracle Using a Component's API. | Rakesh Shukla, David A. Carrington, Paul A. Strooper |
| 2005 | APSEC | Tool Support for Statistical Testing of Software Components. | Rakesh Shukla, Paul A. Strooper, David A. Carrington |
| 2005 | FM | An MDA Approach Towards Integrating Formal and Informal Modeling Languages. | Soon-Kyeong Kim, Damian Burger, David A. Carrington |
| 2004 | APSEC | Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML. | Soon-Kyeong Kim, David A. Carrington |
| 2004 | APSEC | Systematic Operational Profile Development for Software Components. | Rakesh Shukla, David A. Carrington, Paul A. Strooper |
| 2004 | EuroSPI | Using Measurement Data in a TSP | Noopur Davis, Julia Mullaney, David A. Carrington |
| 2002 | APSEC | Integrating Use-Case Analysis and Task Analysis for Interactive Systems. | Soon-Kyeong Kim, David A. Carrington |
| 2002 | ICFEM | A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. | Soon-Kyeong Kim, David A. Carrington |
| 2002 | VISSOFT | UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. | Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington |
| 2000 | APSEC | An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. | Soon-Kyeong Kim, David A. Carrington |
| 2000 | DIAGRAMS | Experimenting with Aesthetics-Based Graph Layout. | Helen C. Purchase, David A. Carrington, Jo-Anne Allder |
| 2000 | GD | User Preference of Graph Layout Aesthetics: A UML Study. | Helen C. Purchase, Jo-Anne Allder, David A. Carrington |
| 2000 | ICFEM | Translating UAN into CSP. | Ian MacColl, David A. Carrington |
| 1999 | APSEC | Visualization of Formal Specifications. | Soon-Kyeong Kim, David A. Carrington |
| 1999 | FM | A Model of Specification-Based Testing of Interactive Systems. | Ian MacColl, David A. Carrington |
| 1999 | IFM | Specifying Interactive Systems in Object-Z and CSP. | Ian MacColl, David A. Carrington |
| 1998 | ICFEM | Specification-Based Class Testing: A Case Study. | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
| 1997 | APSEC | Specifying the UQ* user-interface with Object-Z. | Andrew Hussey, David A. Carrington |
| 1993 | ICSE | Test Templates: A Specification-Based Testing Framework. | Phil Stocks, David A. Carrington |
| 1993 | ISSTA | Test Template Framework: A Specification-Based Testing Case Study. | Phil Stocks, David A. Carrington |
| 1990 | CAV | Computer Assistance for Program Refinement. | David A. Carrington, Kenneth Arthur Robinson |
| 1989 | FORTE | Object-Z: An Object-Oriented Extension to Z. | David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith |