| 2008 | CADE | Exploring Model-Based Development for the Verification of Real-Time Java Code. | Niusha Hakimipour, Paul A. Strooper, Roger Duke |
| 2006 | ICECCS | Formal Specification-based Online Monitoring. | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora |
| 2005 | ICECCS | Integrating Object-Z with Timed Automata. | Jin Song Dong, Roger Duke, Ping Hao |
| 2004 | IFM | Viewpoint-Based Testing of Concurrent Components. | Luke Wildman, Roger Duke, Paul A. Strooper |
| 2003 | ICALT | Using Student-Computer Interactions to Categorize Educational Software. | Janelle Pollard, Roger Duke |
| 2003 | SEFM | Modelling Java Concurrency with Object-Z. | Roger Duke, Luke Wildman, Brad Long |
| 2002 | ICCE | A Software Design Process to Facilitate the Teaching of Mathematics. | Janelle Pollard, Roger Duke |
| 2002 | IFM | Model Checking Object-Z Using ASM. | Kirsten Winter, Roger Duke |
| 1995 | ICECCS | The role of secondary attributes in formal object modelling. | Jin Song Dong, Gordon A. Rose, Roger Duke |
| 1991 | OOPSLA | Formal Techniques for OO Software Development (Panel). | Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes |
| 1990 | FM | Towards a Semantics for Object-Z. | David J. Duke, Roger Duke |
| 1990 | FORTE | Transferring Formal Techniques to Industry. | Roger Duke, Gordon A. Rose, Graeme Smith |
| 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 |