Jonathan Billington

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