Jonathan Billington

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
64EEKurt Jensen, Wil M. P. van der Aalst, Jonathan Billington: Transactions on Petri Nets and Other Models of Concurrency I Springer 2008
63EEJonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch: Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. FORTE 2008: 169-184
62EEGuy Edward Gallasch, Jonathan Billington: Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets 2008: 191-210
61EEGuy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington: Modelling personnel within a defence logistics maintenance process. SimuTools 2008: 18
60EEJonathan Billington, Smit Saboo: An investigation of credit-based flow control protocols. SimuTools 2008: 34
59EEJonathan 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)
58EESomsak 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)
57EEGuy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis: Modelling defence logistics networks. STTT 10(1): 75-93 (2008)
56EESomsak Vanit-Anunchai, Jonathan Billington: Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. ICATPN 2007: 423-444
55EELin Liu, Jonathan Billington: Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. PDCAT 2007: 480-487
54EEJonathan Billington, Bing Han: Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundam. Inform. 80(1-3): 49-74 (2007)
53EEJonathan Billington, Bing Han: Modelling and analysing the functional behaviour of TCP's connection management procedures. STTT 9(3-4): 269-304 (2007)
52EELin Liu, Jonathan Billington: Verification of the Capability Exchange Signalling protocol. STTT 9(3-4): 305-326 (2007)
51EEGuy 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)
50EESomsak Vanit-Anunchai, Jonathan Billington: Effect of Sequence Number Wrap on DCCP Connection Establishment. MASCOTS 2006: 345-354
49EEGuy Edward Gallasch, Jonathan Billington: A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. SPIN 2006: 201-218
48EENimrod Lilith, Jonathan Billington, Jörn Freiheit: Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. VALUETOOLS 2006: 32
47EEGuy Edward Gallasch, Jonathan Billington: Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ATVA 2005: 457-473
46EESomsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot: Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. FORTE 2005: 143-158
45EEBing Han, Jonathan Billington: Termination Properties of TCP's Connection Management Procedures. ICATPN 2005: 228-249
44EEGuy 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)
42EEJonathan Billington, Bing Han: Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. ACSC 2004: 31-39
41EELin Liu, Jonathan Billington: Reducing Parametric Automata: A Multimedia Protocol Service Case Study. ATVA 2004: 483-486
40EEJörn Freiheit, Jonathan Billington: Using TimeNET to Evaluate Operational Planning Processes. Business Process Management 2004: 17-32
39EEChun Ouyang, Jonathan Billington: Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops 2004: 1-15
38EELin Liu, Jonathan Billington: Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. MMM 2004: 323-
37EEChun Ouyang, Jonathan Billington: An improved formal specification of the Internet Open Trading Pprotocol. SAC 2004: 779-783
36EEJonathan 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)
35EEJonathan Billington, Bing Han: On Defining the Service Provided by TCP. ACSC 2003: 129-138
34EELaure 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
33EEChun Ouyang, Jonathan Billington: On Verifying the Internet Open Trading Protocol. EC-Web 2003: 292-302
32EEJonathan Billington, Guy Edward Gallasch: How Stop and Wait Protocols Can Fail over the Internet. FORTE 2003: 209-223
31EEMaría E. Villapol, Jonathan Billington: Analysing Properties of the Resource Reservation Protocol. ICATPN 2003: 377-396
30EEJonathan 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
29EEJörn Freiheit, Jonathan Billington: New Developments in Closed-Form Computation for GSPN Aggregation. ICFEM 2003: 471-490
28EEJonathan Billington, Guy Edward Gallasch, Bing Han: A Coloured Petri Net Approach to Protocol Verification. Lectures on Concurrency and Petri Nets 2003: 210-290
27EEMaría E. Villapol, Jonathan Billington: A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. CLEI Electron. J. 6(1): (2003)
26EEChun 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
24EESteven Gordon, Lars Michael Kristensen, Jonathan Billington: Verification of a Revised WAP Wireless Transaction Protocol. ICATPN 2002: 182-202
23EELin Liu, Jonathan Billington: Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. ICATPN 2002: 273-293
22EEChun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373
21EESteven Gordon, Jonathan Billington: Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. ICATPN 2000: 207-226
20 Jonathan Billington, Michel Diaz, Grzegorz Rozenberg: Application of Petri Nets to Communication Networks, Advances in Petri Nets Springer 1999
19EEAndrew Tokmakoff, Jonathan Billington: An Approach to the Analysis of Interworking Traders. ICATPN 1999: 127-146
18EESteven Gordon, Jonathan Billington: Modelling the WAP Transaction Service using Coloured Petri Nets. MDA 1999: 109-118
17EESteven Gordon, Jonathan Billington: Analysing a Missile Simulator with Coloured Petri Nets. STTT 2(2): 144-159 (1998)
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
13EEAndrew Tokmakoff, Jonathan Billington: Coloured Petri net modelling of the ODP Trader for use in resource discovery. Computer Communications 19(1): 39-48 (1996)
12 Jonathan Billington: ISO Standards in Software Engineering. Software Quality and Productivity 1994: 189-192
11 Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker: Tool Demonstration: FORSEE. FORTE 1991: 457-461
10 Jonathan Billington: Many-Sorted High-Level Nets. PNPM 1989: 166-179
9 Jonathan Billington: Extensions to Coloured Petri Nets. PNPM 1989: 61-70
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
7EEJonathan 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)
6 Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham: A Methodology for Protocol Engineering. ICCC 1986: 525-530
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
2 Jonathan Billington: Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification 1983: 173-185
1 Jonathan Billington: Specification of the Transport Service Using Numerical Petri Nets. PSTV 1982: 77-100

Coauthor Index

1Wil M. P. van der Aalst [64]
2Timothy J. Batten [6]
3M. Y. Bearman [3]
4Axel Bender [57]
5Søren Christensen [30]
6A. J. Dadej [15]
7Michel Diaz [20]
8Zhenhua Duan [65]
9D. J. Floreani [15]
10Benjamin Francis [57] [61]
11Jörn Freiheit [29] [40] [48]
12Guy Edward Gallasch [28] [32] [36] [43] [44] [47] [49] [51] [57] [58] [61] [62] [63]
13J. A. Gilmour [5]
14Steven Gordon [17] [18] [21] [24]
15Amar Kumar Gupta [63]
16Bing Han [28] [35] [42] [44] [45] [53] [54]
17Kees M. van Hee [30]
18Kurt Jensen [64]
19Brian Keck [11]
20Ekkart Kindler [30]
21Tul Kongprakaiwoot [46]
22Maciej Koutny [65]
23Lars Michael Kristensen [22] [24] [26] [34] [36] [51]
24Olaf Kummer [30]
25Nimrod Lilith [48] [57]
26Lin Liu [23] [38] [41] [52] [55]
27Thomas Mailund [36]
28Christopher Moon [61]
29Chun Ouyang [22] [26] [33] [37] [39]
30Ken R. Parker [11]
31Laure Petrucci (Laure Petrucci-Dauchy) [30] [34] [43]
32Reinier Post (R. D. J. Post) [30]
33Zahid H. Qureshi [34]
34Wolfgang Reisig [16]
35Grzegorz Rozenberg [20]
36Smit Saboo [60]
37Abhishek Singh [25]
38Christian Stehno [30]
39Andrew Tokmakoff [13] [19]
40Somsak Vanit-Anunchai [46] [50] [51] [56] [58] [59]
41María E. Villapol [27] [31]
42Michael Weber [30]
43Geoffrey R. Wheeler [5] [6] [7] [11]
44Michael C. Wilbur-Ham [3] [5] [6] [7]
45Lin Zhang [57]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)