| 2010 | ATVA | A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. | Guy Edward Gallasch, Jonathan Billington |
| 2010 | ICFEM | Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. | Jonathan Billington, Guy Edward Gallasch |
| 2009 | FORTE | Recursive Parametric Automata and epsilon-Removal. | Lin Liu, Jonathan Billington |
| 2008 | FORTE | Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. | Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch |
| 2007 | PDCAT | Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. | Lin Liu, Jonathan Billington |
| 2006 | MASCOTS | Effect of Sequence Number Wrap on DCCP Connection Establishment. | Somsak Vanit-Anunchai, Jonathan Billington |
| 2005 | ATVA | Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. | Guy Edward Gallasch, Jonathan Billington |
| 2005 | FORTE | Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. | Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot |
| 2005 | ICFEM | Sweep-Line Analysis of TCP Connection Management. | Guy Edward Gallasch, Bing Han, Jonathan Billington |
| 2004 | ATVA | Reducing Parametric Automata: A Multimedia Protocol Service Case Study. | Lin Liu, Jonathan Billington |
| 2004 | BPM | Using TimeNET to Evaluate Operational Planning Processes. | Jrn Freiheit, Jonathan Billington |
| 2004 | FORTE | Formal Analysis of the Internet Open Trading Protocol. | Chun Ouyang, Jonathan Billington |
| 2004 | MMM | Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. | Lin Liu, Jonathan Billington |
| 2004 | SAC | An improved formal specification of the Internet Open Trading Pprotocol. | Chun Ouyang, Jonathan Billington |
| 2003 | FORTE | How Stop and Wait Protocols Can Fail over the Internet. | Jonathan Billington, Guy Edward Gallasch |
| 2003 | ICFEM | New Developments in Closed-Form Computation for GSPN Aggregation. | Jrn Freiheit, Jonathan Billington |
| 1991 | FORTE | Tool Demonstration: FORSEE. | Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker |
| 1986 | ICCC | A Methodology for Protocol Engineering. | Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham |