Jonathan Billington

Publication Activity (10 Years)

Years Active: 1982-2012
Publications (10 Years): 0

Top Topics

Production Process

Petri Net Model

Transmission Control Protocol

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Sonya Arnold, Jonathan Billington
An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Jonathan Billington, Guy Edward Gallasch
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet. Petri Nets (2011)
Jonathan Billington, Guy Edward Gallasch
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. ICFEM (2010)
Guy Edward Gallasch, Jonathan Billington
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. ATVA (2010)
Jonathan Billington, Cong Yuan
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch
Parameterised Coloured Petri Net Channel Models. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Lin Liu, Jonathan Billington
Recursive Parametric Automata and epsilon-Removal. FMOODS/FORTE (2009)
Jonathan Billington, Smit Saboo
An investigation of credit-based flow control protocols. SimuTools (2008)
Jonathan Billington, Somsak Vanit-Anunchai
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. Fundam. Informaticae 88 (3) (2008)
Guy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington
Modelling personnel within a defence logistics maintenance process. SimuTools (2008)
Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis
Modelling defence logistics networks. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Guy Edward Gallasch, Jonathan Billington
Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets (2008)
Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. FORTE (2008)
Jonathan Billington, Bing Han
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundam. Informaticae 80 (1-3) (2007)
Lin Liu, Jonathan Billington
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. PDCAT (2007)
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Lin Liu, Jonathan Billington
Verification of the Capability Exchange Signalling protocol. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Somsak Vanit-Anunchai, Jonathan Billington
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. ICATPN (2007)
Jonathan Billington, Bing Han
Modelling and analysing the functional behaviour of TCP's connection management procedures. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Guy Edward Gallasch, Jonathan Billington
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. SPIN (2006)
Somsak Vanit-Anunchai, Jonathan Billington
Effect of Sequence Number Wrap on DCCP Connection Establishment. MASCOTS (2006)
Nimrod Lilith, Jonathan Billington, Jörn Freiheit
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. VALUETOOLS (2006)
Guy Edward Gallasch, Jonathan Billington
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ATVA (2005)
Bing Han, Jonathan Billington
Termination Properties of TCP's Connection Management Procedures. ICATPN (2005)
Guy Edward Gallasch, Bing Han, Jonathan Billington
Sweep-Line Analysis of TCP Connection Management. ICFEM (2005)
Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. Nord. J. Comput. 12 (3) (2005)
Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. FORTE (2005)
Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A 34 (1) (2004)
Lin Liu, Jonathan Billington
Reducing Parametric Automata: A Multimedia Protocol Service Case Study. ATVA (2004)
Jörn Freiheit, Jonathan Billington
Using TimeNET to Evaluate Operational Planning Processes. Business Process Management (2004)
Lin Liu, Jonathan Billington
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. MMM (2004)
Chun Ouyang, Jonathan Billington
Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops (2004)
Chun Ouyang, Jonathan Billington
An improved formal specification of the Internet Open Trading Pprotocol. SAC (2004)
Jonathan Billington, Bing Han
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. ACSC (2004)
Jonathan Billington, Guy Edward Gallasch, Bing Han
A Coloured Petri Net Approach to Protocol Verification. Lectures on Concurrency and Petri Nets (2003)
Jörn Freiheit, Jonathan Billington
New Developments in Closed-Form Computation for GSPN Aggregation. ICFEM (2003)
Chun Ouyang, Jonathan Billington
On Verifying the Internet Open Trading Protocol. EC-Web (2003)
María E. Villapol, Jonathan Billington
A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. CLEI Electron. J. 6 (1) (2003)
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN (2003)
Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. ACSD (2003)
Jonathan Billington, Guy Edward Gallasch
How Stop and Wait Protocols Can Fail over the Internet. FORTE (2003)
María E. Villapol, Jonathan Billington
Analysing Properties of the Resource Reservation Protocol. ICATPN (2003)
Jonathan Billington, Bing Han
On Defining the Service Provided by TCP. ACSC (2003)
Lin Liu, Jonathan Billington
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. ICATPN (2002)
Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
A Formal Service Specification for the Internet Open Trading Protocol. ICATPN (2002)
Abhishek Singh, Jonathan Billington
A Formal Service Specification for IIOP based on ISO/IEC 14752. FMOODS (2002)
Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web (2002)
Steven Gordon, Lars Michael Kristensen, Jonathan Billington
Verification of a Revised WAP Wireless Transaction Protocol. ICATPN (2002)
Steven Gordon, Jonathan Billington
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. ICATPN (2000)
Steven Gordon, Jonathan Billington
Modelling the WAP Transaction Service using Coloured Petri Nets. MDA (1999)
María E. Villapol, Jonathan Billington
RSVP for LEO satellites. ICON (1999)
Andrew Tokmakoff, Jonathan Billington
An Approach to the Analysis of Interworking Traders. ICATPN (1999)
Steven Gordon, Jonathan Billington
Analysing a Missile Simulator with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Andrew Tokmakoff, Jonathan Billington
Coloured Petri net modelling of the ODP Trader for use in resource discovery. Comput. Commun. 19 (1) (1996)
D. J. Floreani, Jonathan Billington, A. J. Dadej
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. Application and Theory of Petri Nets (1996)
Jonathan Billington
Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. Petri Nets (2) (1996)
Jonathan Billington
ISO Standards in Software Engineering. Software Quality and Productivity (1994)
Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker
Tool Demonstration: FORSEE. FORTE (1991)
Jonathan Billington
Many-Sorted High-Level Nets. PNPM (1989)
Jonathan Billington
Extensions to Coloured Petri Nets. PNPM (1989)
Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. IEEE Trans. Software Eng. 14 (3) (1988)
Jonathan Billington
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. Specification and Verification of Concurrent Systems (1988)
Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham
A Methodology for Protocol Engineering. ICCC (1986)
Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman
Automated protocol verification. PSTV (1985)
Jonathan Billington
On Specifying Performance Aspects of Protocol Services. PNPM (1985)
Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
Protocol analysis using numerical Petri nets. Applications and Theory in Petri Nets (1985)
Jonathan Billington
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification (1983)
Jonathan Billington
Specification of the Transport Service Using Numerical Petri Nets. PSTV (1982)