| 2008 |
|---|
| 65 | | Jonathan Billington,
Zhenhua Duan,
Maciej Koutny:
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008
IEEE 2008 |
| 64 | EE | Kurt Jensen,
Wil M. P. van der Aalst,
Jonathan Billington:
Transactions on Petri Nets and Other Models of Concurrency I
Springer 2008 |
| 63 | EE | Jonathan Billington,
Amar Kumar Gupta,
Guy Edward Gallasch:
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.
FORTE 2008: 169-184 |
| 62 | EE | Guy Edward Gallasch,
Jonathan Billington:
Parametric Language Analysis of the Class of Stop-and-Wait Protocols.
Petri Nets 2008: 191-210 |
| 61 | EE | Guy Edward Gallasch,
Benjamin Francis,
Christopher Moon,
Jonathan Billington:
Modelling personnel within a defence logistics maintenance process.
SimuTools 2008: 18 |
| 60 | EE | Jonathan Billington,
Smit Saboo:
An investigation of credit-based flow control protocols.
SimuTools 2008: 34 |
| 59 | EE | Jonathan Billington,
Somsak Vanit-Anunchai:
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.
Fundam. Inform. 88(3): 357-385 (2008) |
| 58 | EE | Somsak Vanit-Anunchai,
Jonathan Billington,
Guy Edward Gallasch:
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
STTT 10(1): 29-56 (2008) |
| 57 | EE | Guy Edward Gallasch,
Nimrod Lilith,
Jonathan Billington,
Lin Zhang,
Axel Bender,
Benjamin Francis:
Modelling defence logistics networks.
STTT 10(1): 75-93 (2008) |
| 2007 |
|---|
| 56 | EE | Somsak Vanit-Anunchai,
Jonathan Billington:
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
ICATPN 2007: 423-444 |
| 55 | EE | Lin Liu,
Jonathan Billington:
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.
PDCAT 2007: 480-487 |
| 54 | EE | Jonathan Billington,
Bing Han:
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties.
Fundam. Inform. 80(1-3): 49-74 (2007) |
| 53 | EE | Jonathan Billington,
Bing Han:
Modelling and analysing the functional behaviour of TCP's connection management procedures.
STTT 9(3-4): 269-304 (2007) |
| 52 | EE | Lin Liu,
Jonathan Billington:
Verification of the Capability Exchange Signalling protocol.
STTT 9(3-4): 305-326 (2007) |
| 51 | EE | Guy Edward Gallasch,
Jonathan Billington,
Somsak Vanit-Anunchai,
Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method.
STTT 9(3-4): 371-391 (2007) |
| 2006 |
|---|
| 50 | EE | Somsak Vanit-Anunchai,
Jonathan Billington:
Effect of Sequence Number Wrap on DCCP Connection Establishment.
MASCOTS 2006: 345-354 |
| 49 | EE | Guy Edward Gallasch,
Jonathan Billington:
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.
SPIN 2006: 201-218 |
| 48 | EE | Nimrod Lilith,
Jonathan Billington,
Jörn Freiheit:
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets.
VALUETOOLS 2006: 32 |
| 2005 |
|---|
| 47 | EE | Guy Edward Gallasch,
Jonathan Billington:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
ATVA 2005: 457-473 |
| 46 | EE | Somsak Vanit-Anunchai,
Jonathan Billington,
Tul Kongprakaiwoot:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
FORTE 2005: 143-158 |
| 45 | EE | Bing Han,
Jonathan Billington:
Termination Properties of TCP's Connection Management Procedures.
ICATPN 2005: 228-249 |
| 44 | EE | Guy Edward Gallasch,
Bing Han,
Jonathan Billington:
Sweep-Line Analysis of TCP Connection Management.
ICFEM 2005: 156-172 |
| 43 | | 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): 251-274 (2005) |
| 2004 |
|---|
| 42 | EE | Jonathan Billington,
Bing Han:
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels.
ACSC 2004: 31-39 |
| 41 | EE | Lin Liu,
Jonathan Billington:
Reducing Parametric Automata: A Multimedia Protocol Service Case Study.
ATVA 2004: 483-486 |
| 40 | EE | Jörn Freiheit,
Jonathan Billington:
Using TimeNET to Evaluate Operational Planning Processes.
Business Process Management 2004: 17-32 |
| 39 | EE | Chun Ouyang,
Jonathan Billington:
Formal Analysis of the Internet Open Trading Protocol.
FORTE Workshops 2004: 1-15 |
| 38 | EE | Lin Liu,
Jonathan Billington:
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.
MMM 2004: 323- |
| 37 | EE | Chun Ouyang,
Jonathan Billington:
An improved formal specification of the Internet Open Trading Pprotocol.
SAC 2004: 779-783 |
| 36 | EE | Jonathan Billington,
Guy Edward Gallasch,
Lars Michael Kristensen,
Thomas Mailund:
Exploiting equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 23-37 (2004) |
| 2003 |
|---|
| 35 | EE | Jonathan Billington,
Bing Han:
On Defining the Service Provided by TCP.
ACSC 2003: 129-138 |
| 34 | EE | 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: 92-101 |
| 33 | EE | Chun Ouyang,
Jonathan Billington:
On Verifying the Internet Open Trading Protocol.
EC-Web 2003: 292-302 |
| 32 | EE | Jonathan Billington,
Guy Edward Gallasch:
How Stop and Wait Protocols Can Fail over the Internet.
FORTE 2003: 209-223 |
| 31 | EE | María E. Villapol,
Jonathan Billington:
Analysing Properties of the Resource Reservation Protocol.
ICATPN 2003: 377-396 |
| 30 | EE | 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: 483-505 |
| 29 | EE | Jörn Freiheit,
Jonathan Billington:
New Developments in Closed-Form Computation for GSPN Aggregation.
ICFEM 2003: 471-490 |
| 28 | EE | Jonathan Billington,
Guy Edward Gallasch,
Bing Han:
A Coloured Petri Net Approach to Protocol Verification.
Lectures on Concurrency and Petri Nets 2003: 210-290 |
| 27 | EE | 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) |
| 2002 |
|---|
| 26 | EE | Chun Ouyang,
Lars Michael Kristensen,
Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol.
EC-Web 2002: 377-387 |
| 25 | | Abhishek Singh,
Jonathan Billington:
A Formal Service Specification for IIOP based on ISO/IEC 14752.
FMOODS 2002: 111-125 |
| 24 | EE | Steven Gordon,
Lars Michael Kristensen,
Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol.
ICATPN 2002: 182-202 |
| 23 | EE | Lin Liu,
Jonathan Billington:
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.
ICATPN 2002: 273-293 |
| 22 | EE | Chun Ouyang,
Lars Michael Kristensen,
Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol.
ICATPN 2002: 352-373 |
| 2000 |
|---|
| 21 | EE | Steven Gordon,
Jonathan Billington:
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.
ICATPN 2000: 207-226 |
| 1999 |
|---|
| 20 | | Jonathan Billington,
Michel Diaz,
Grzegorz Rozenberg:
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Springer 1999 |
| 19 | EE | Andrew Tokmakoff,
Jonathan Billington:
An Approach to the Analysis of Interworking Traders.
ICATPN 1999: 127-146 |
| 18 | EE | Steven Gordon,
Jonathan Billington:
Modelling the WAP Transaction Service using Coloured Petri Nets.
MDA 1999: 109-118 |
| 1998 |
|---|
| 17 | EE | Steven Gordon,
Jonathan Billington:
Analysing a Missile Simulator with Coloured Petri Nets.
STTT 2(2): 144-159 (1998) |
| 1996 |
|---|
| 16 | | Jonathan Billington,
Wolfgang Reisig:
Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings
Springer 1996 |
| 15 | | 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: 153-171 |
| 14 | | Jonathan Billington:
Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets.
Petri Nets (2) 1996: 293-330 |
| 13 | EE | Andrew Tokmakoff,
Jonathan Billington:
Coloured Petri net modelling of the ODP Trader for use in resource discovery.
Computer Communications 19(1): 39-48 (1996) |
| 1994 |
|---|
| 12 | | Jonathan Billington:
ISO Standards in Software Engineering.
Software Quality and Productivity 1994: 189-192 |
| 1991 |
|---|
| 11 | | Jonathan Billington,
Geoffrey R. Wheeler,
Brian Keck,
Ken R. Parker:
Tool Demonstration: FORSEE.
FORTE 1991: 457-461 |
| 1989 |
|---|
| 10 | | Jonathan Billington:
Many-Sorted High-Level Nets.
PNPM 1989: 166-179 |
| 9 | | Jonathan Billington:
Extensions to Coloured Petri Nets.
PNPM 1989: 61-70 |
| 1988 |
|---|
| 8 | | Jonathan Billington:
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.
Specification and Verification of Concurrent Systems 1988: 526-556 |
| 7 | EE | 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): 301-316 (1988) |
| 1986 |
|---|
| 6 | | Geoffrey R. Wheeler,
Timothy J. Batten,
Jonathan Billington,
Michael C. Wilbur-Ham:
A Methodology for Protocol Engineering.
ICCC 1986: 525-530 |
| 1985 |
|---|
| 5 | | 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: 435-452 |
| 4 | | Jonathan Billington:
On Specifying Performance Aspects of Protocol Services.
PNPM 1985: 288-295 |
| 3 | | Jonathan Billington,
Michael C. Wilbur-Ham,
M. Y. Bearman:
Automated protocol verification.
PSTV 1985: 59-70 |
| 1983 |
|---|
| 2 | | Jonathan Billington:
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.
Protocol Specification, Testing, and Verification 1983: 173-185 |
| 1982 |
|---|
| 1 | | Jonathan Billington:
Specification of the Transport Service Using Numerical Petri Nets.
PSTV 1982: 77-100 |
