Jonathan Billington - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join SubnetJonathan Billington, Guy Edward Gallasch. apn 2011: 268-287 [doi]

2010

Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join NetworkJonathan Billington, Guy Edward Gallasch. icfem 2010: 420-435 [doi]

A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join NetworkGuy Edward Gallasch, Jonathan Billington. ATVA 2010: 143-157 [doi]

2009

Parameterised Coloured Petri Net Channel ModelsJonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch. topnoc, 3:71-97, 2009. [doi]

On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing ProtocolJonathan Billington, Cong Yuan. topnoc, 3:98-126, 2009. [doi]

Transactions on Petri Nets and Other Models of Concurrency IIIKurt Jensen, Jonathan Billington, Maciej Koutny, editors, Volume 5800 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Recursive Parametric Automata and epsilon-RemovalLin Liu, Jonathan Billington. forte 2009: 90-105 [doi]

2008

Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri NetsJonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch. forte 2008: 169-184 [doi]

Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control ProtocolJonathan Billington, Somsak Vanit-Anunchai. FUIN, 88(3):357-385, 2008. [doi]

8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, IEEE, 2008.

An investigation of credit-based flow control protocolsJonathan Billington, Smit Saboo. simutools 2008: 34 [doi]

Modelling personnel within a defence logistics maintenance processGuy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington. simutools 2008: 18 [doi]

Modelling defence logistics networksGuy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis. STTT, 10(1):75-93, 2008. [doi]

Parametric Language Analysis of the Class of Stop-and-Wait ProtocolsGuy Edward Gallasch, Jonathan Billington. apn 2008: 191-210 [doi]

Transactions on Petri Nets and Other Models of Concurrency IKurt Jensen, Wil M. P. van der Aalst, Jonathan Billington, editors, Volume 5100 of Lecture Notes in Computer Science, Springer, 2008. [doi]

Analysis of the Datagram Congestion Control Protocol s connection management procedures using the sweep-line methodSomsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch. STTT, 10(1):29-56, 2008. [doi]

2007

Modelling and analysing the functional behaviour of TCP s connection management proceduresJonathan Billington, Bing Han. STTT, 9(3-4):269-304, 2007. [doi]

Formalising TCP s Data Transfer Service Language: A Symbolic Automaton and its PropertiesJonathan Billington, Bing Han. FUIN, 80(1-3):49-74, 2007. [doi]

Checking safety properties on-the-fly with the sweep-line methodGuy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen. STTT, 9(3-4):371-391, 2007. [doi]

Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling ProtocolLin Liu, Jonathan Billington. pdcat 2007: 480-487 [doi]

Verification of the Capability Exchange Signalling protocolLin Liu, Jonathan Billington. STTT, 9(3-4):305-326, 2007. [doi]

Modelling the Datagram Congestion Control Protocol s Connection Management and Synchronization ProceduresSomsak Vanit-Anunchai, Jonathan Billington. apn 2007: 423-444 [doi]

2006

A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait ProtocolsGuy Edward Gallasch, Jonathan Billington. spin 2006: 201-218 [doi]

Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri netsNimrod Lilith, Jonathan Billington, Jörn Freiheit. valuetools 2006: 32 [doi]

Effect of Sequence Number Wrap on DCCP Connection EstablishmentSomsak Vanit-Anunchai, Jonathan Billington. mascots 2006: 345-354 [doi]

2005

2004

Closed Form Expressions for the State Space of TCP s Data Transfer Service Operating over Unbounded ChannelsJonathan Billington, Bing Han. acsc 2004: 31-39 [doi]

Exploiting equivalence reduction and the sweep-line method for detecting terminal statesJonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund. tsmc, 34(1):23-37, 2004. [doi]

Using TimeNET to Evaluate Operational Planning ProcessesJörn Freiheit, Jonathan Billington. BPM 2004: 17-32 [doi]

Obtaining the Service Language for H.245 s Multimedia Capability Exchange Signalling Protocol: the Final StepLin Liu, Jonathan Billington. mmm 2004: 323 [doi]

Reducing Parametric Automata: A Multimedia Protocol Service Case StudyLin Liu, Jonathan Billington. ATVA 2004: 483-486 [doi]

An improved formal specification of the Internet Open Trading PprotocolChun Ouyang, Jonathan Billington. SAC 2004: 779-783 [doi]

Formal Analysis of the Internet Open Trading ProtocolChun Ouyang, Jonathan Billington. forte 2004: 1-15 [doi]

2003

The Petri Net Markup Language: Concepts, Technology, and ToolsJonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber. apn 2003: 483-505 [doi]

On Defining the Service Provided by TCPJonathan Billington, Bing Han. acsc 2003: 129-138 [doi]

A Coloured Petri Net Approach to Protocol VerificationJonathan Billington, Guy Edward Gallasch, Bing Han. ac 2004: 210-290 [doi]

How Stop and Wait Protocols Can Fail over the InternetJonathan Billington, Guy Edward Gallasch. forte 2003: 209-223 [doi]

New Developments in Closed-Form Computation for GSPN AggregationJörn Freiheit, Jonathan Billington. icfem 2003: 471-490 [doi]

On Verifying the Internet Open Trading ProtocolChun Ouyang, Jonathan Billington. ecweb 2003: 292-302 [doi]

Developing a Formal Specification for the Mission System of a Maritime Surveillance AircraftLaure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi. acsd 2003: 92-101 [doi]

Analysing Properties of the Resource Reservation ProtocolMaría E. Villapol, Jonathan Billington. apn 2003: 377-396 [doi]

A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation ProtocolMaría E. Villapol, Jonathan Billington. cleiej, 6(1), 2003. [doi]

2002

2000

Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri NetsSteven Gordon, Jonathan Billington. apn 2000: 207-226 [doi]

1999

Application of Petri Nets to Communication Networks, Advances in Petri NetsJonathan Billington, Michel Diaz, Grzegorz Rozenberg, editors, Volume 1605 of Lecture Notes in Computer Science, Springer, 1999.

Modelling the WAP Transaction Service using Coloured Petri NetsSteven Gordon, Jonathan Billington. massdata 1999: 109-118 [doi]

An Approach to the Analysis of Interworking TradersAndrew Tokmakoff, Jonathan Billington. apn 1999: 127-146 [doi]

1998

Analysing a Missile Simulator with Coloured Petri NetsSteven Gordon, Jonathan Billington. STTT, 2(2):144-159, 1998. [doi]

1996

Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, ProceedingsJonathan Billington, Wolfgang Reisig, editors, Volume 1091 of Lecture Notes in Computer Science, Springer, 1996.

Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri NetsJonathan Billington. ac 1998: 293-330

Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPND. J. Floreani, Jonathan Billington, A. J. Dadej. apn 1996: 153-171

Coloured Petri net modelling of the ODP Trader for use in resource discoveryAndrew Tokmakoff, Jonathan Billington. comcom, 19(1):39-48, 1996. [doi]

1994

ISO Standards in Software EngineeringJonathan Billington. icsqp 1995: 189-192

1991

Tool Demonstration: FORSEEJonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker. forte 1992: 457-461

1989

Many-Sorted High-Level NetsJonathan Billington. pnpm 1989: 166-179

Extensions to Coloured Petri NetsJonathan Billington. pnpm 1989: 61-70

1988

A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access ServiceJonathan Billington. facs 1990: 526-556

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication ProtocolsJonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham. TSE, 14(3):301-316, 1988. [doi]

1986

A Methodology for Protocol EngineeringGeoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham. iccc 1986: 525-530

1985

Automated protocol verificationJonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman. pstv 1985: 59-70

On Specifying Performance Aspects of Protocol ServicesJonathan Billington. pnpm 1985: 288-295

Protocol analysis using numerical Petri netsGeoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour. apn 1986: 435-452

1983

Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri NetsJonathan Billington. ifip 1983: 173-185

1982

Specification of the Transport Service Using Numerical Petri NetsJonathan Billington. pstv 1982: 77-100