| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan Billington, Guy Edward Gallasch |
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet.  |
Petri Nets  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Guy Edward Gallasch |
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Edward Gallasch, Jonathan Billington |
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Jensen, Jonathan Billington, Maciej Koutny (eds.) |
Transactions on Petri Nets and Other Models of Concurrency III |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch |
Parameterised Coloured Petri Net Channel Models. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis |
| 1 | Jonathan Billington, Cong Yuan |
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
DYMO, MANETs, Coloured Petri Nets, Reachability Analysis, On-Demand Routing |
| 1 | Lin Liu, Jonathan Billington |
Recursive Parametric Automata and epsilon-Removal. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification |
| 1 | Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (eds.) |
Transactions on Petri Nets and Other Models of Concurrency I |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Somsak Vanit-Anunchai |
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis |
Modelling defence logistics networks. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
Defence logistics, Modelling experience, CPN support tools, Coloured Petri nets |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
Sweep-line, Coloured Petri Nets, State explosion, State space methods, DCCP |
| 1 | Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch |
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Verification, extension, Coloured Petri Nets, Contract Net Protocol |
| 1 | Guy Edward Gallasch, Jonathan Billington |
Parametric Language Analysis of the Class of Stop-and-Wait Protocols. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Zhenhua Duan, Maciej Koutny (eds.) |
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 |
ACSD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Guy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington |
Modelling personnel within a defence logistics maintenance process. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
models of personnel, maintenance, coloured petri nets, simulation performance |
| 1 | Jonathan Billington, Smit Saboo |
An investigation of credit-based flow control protocols. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
exhaustive simulation, flow control, coloured petri nets |
| 1 | Jonathan Billington, Bing Han |
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen |
Checking safety properties on-the-fly with the sweep-line method. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Sweep-line method, On-the-fly model checking, Datagram Congestion Control Protocol |
| 1 | Lin Liu, Jonathan Billington |
Verification of the Capability Exchange Signalling protocol. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Capability Exchange Signalling protocol, Language equivalence, Coloured Petri Nets, Protocol verification, State space analysis |
| 1 | Jonathan Billington, Bing Han |
Modelling and analysing the functional behaviour of TCP's connection management procedures. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis |
| 1 | Somsak Vanit-Anunchai, Jonathan Billington |
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP |
| 1 | Lin Liu, Jonathan Billington |
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nimrod Lilith, Jonathan Billington, Jörn Freiheit |
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Somsak Vanit-Anunchai, Jonathan Billington |
Effect of Sequence Number Wrap on DCCP Connection Establishment. |
MASCOTS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Edward Gallasch, Jonathan Billington |
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Infinite Families of Systems, Parametric Reachability Graphs, Coloured Petri Nets |
| 1 | Jonathan Billington, Guy Edward Gallasch, Laure Petrucci |
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot |
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
Internet Protocols, Coloured Petri Nets, State space methods, DCCP |
| 1 | Guy Edward Gallasch, Bing Han, Jonathan Billington |
Sweep-Line Analysis of TCP Connection Management. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
TCP Connection Management, Sweep-line analysis, Verification, Coloured Petri Nets, Reachability analysis, State Space methods |
| 1 | Bing Han, Jonathan Billington |
Termination Properties of TCP's Connection Management Procedures. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Edward Gallasch, Jonathan Billington |
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Ouyang, Jonathan Billington |
Formal Analysis of the Internet Open Trading Protocol. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Liu, Jonathan Billington |
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets |
| 1 | Chun Ouyang, Jonathan Billington |
An improved formal specification of the Internet Open Trading Pprotocol. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
Internet trading protocols, specification and analysis, formal methods, e-commerce, coloured petri nets |
| 1 | Lin Liu, Jonathan Billington |
Reducing Parametric Automata: A Multimedia Protocol Service Case Study. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Bing Han |
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörn Freiheit, Jonathan Billington |
Using TimeNET to Evaluate Operational Planning Processes. |
Business Process Management |
2004 |
DBLP DOI BibTeX RDF |
Operational planning processes, performance analysis |
| 1 | María E. Villapol, Jonathan Billington |
A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. |
CLEI Electron. J. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington, Guy Edward Gallasch |
How Stop and Wait Protocols Can Fail over the Internet. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Protocol Analysis and Verification, TCP, Coloured Petri Nets, State space methods |
| 1 | Jörn Freiheit, Jonathan Billington |
New Developments in Closed-Form Computation for GSPN Aggregation. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | María E. Villapol, Jonathan Billington |
Analysing Properties of the Resource Reservation Protocol. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Ouyang, Jonathan Billington |
On Verifying the Internet Open Trading Protocol. |
EC-Web |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Bing Han |
On Defining the Service Provided by TCP. |
ACSC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington, Guy Edward Gallasch, Bing Han |
A Coloured Petri Net Approach to Protocol Verification. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Singh, Jonathan Billington |
A Formal Service Specification for IIOP based on ISO/IEC 14752. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steven Gordon, Lars Michael Kristensen, Jonathan Billington |
Verification of a Revised WAP Wireless Transaction Protocol. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Ouyang, Lars Michael Kristensen, Jonathan Billington |
A Formal Service Specification for the Internet Open Trading Protocol. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
System verification using nets, E-commerce, Internet protocols, Case studies, Higher-level net models |
| 1 | Lin Liu, Jonathan Billington |
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions |
| 1 | Chun Ouyang, Lars Michael Kristensen, Jonathan Billington |
A Formal and Executable Specification of the Internet Open Trading Protocol. |
EC-Web |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Gordon, Jonathan Billington |
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.) |
Application of Petri Nets to Communication Networks, Advances in Petri Nets |
Application of Petri Nets to Communication Networks |
1999 |
DBLP BibTeX RDF |
|
| 1 | Andrew Tokmakoff, Jonathan Billington |
An Approach to the Analysis of Interworking Traders. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
ODP Trader, Coloured Petri Nets, Scenario Analysis, Interworking |
| 1 | Steven Gordon, Jonathan Billington |
Modelling the WAP Transaction Service using Coloured Petri Nets. |
MDA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Gordon, Jonathan Billington |
Analysing a Missile Simulator with Coloured Petri Nets. |
STTT |
1998 |
DBLP DOI BibTeX RDF |
Missile simulator design, Simulation, Distributed systems, Coloured Petri nets, Reachability analysis |
| 1 | Andrew Tokmakoff, Jonathan Billington |
Coloured Petri net modelling of the ODP Trader for use in resource discovery. |
Computer Communications |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Gateway Architecture, Coloured Petri Nets, Protocol Modelling |
| 1 | Jonathan Billington, Wolfgang Reisig (eds.) |
Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings |
Application and Theory of Petri Nets |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington |
Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington |
ISO Standards in Software Engineering. |
Software Quality and Productivity |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker |
Tool Demonstration: FORSEE. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington |
Many-Sorted High-Level Nets. |
PNPM |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington |
Extensions to Coloured Petri Nets. |
PNPM |
1989 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
| 1 | Jonathan Billington |
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham |
A Methodology for Protocol Engineering. |
ICCC |
1986 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman |
Automated protocol verification. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington |
On Specifying Performance Aspects of Protocol Services. |
PNPM |
1985 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington |
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington |
Specification of the Transport Service Using Numerical Petri Nets. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")