Jonathan Billington
According to our database1,
Jonathan Billington
authored at least 69 papers
between 1982 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol.
Trans. Petri Nets Other Model. Concurr., 2012
2011
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
2010
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network.
Proceedings of the Formal Methods and Software Engineering, 2010
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network.
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Trans. Petri Nets Other Model. Concurr., 2009
Trans. Petri Nets Other Model. Concurr., 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
Int. J. Softw. Tools Technol. Transf., 2008
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.
Fundam. Informaticae, 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
Int. J. Softw. Tools Technol. Transf., 2007
Int. J. Softw. Tools Technol. Transf., 2007
Modelling and analysing the functional behaviour of TCP's connection management procedures.
Int. J. Softw. Tools Technol. Transf., 2007
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties.
Fundam. Informaticae, 2007
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets.
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the 14th International Symposium on Modeling, 2006
2005
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets.
Nord. J. Comput., 2005
Proceedings of the Formal Methods and Software Engineering, 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
Exploiting equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Trans. Syst. Man Cybern. Part A, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.
Proceedings of the 10th International Multimedia Modeling Conference (MMM 2004), 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Proceedings of the Business Process Management: Second International Conference, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels.
Proceedings of the Computer Science 2004, 2004
2003
A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol.
CLEI Electron. J., 2003
Proceedings of the Formal Methods and Software Engineering, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the E-Commerce and Web Technologies, 4th International Conference, 2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
Proceedings of the Computer Science 2003, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
A Formal Service Specification for IIOP based on ISO/IEC 14752.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002
Proceedings of the E-Commerce and Web Technologies, Third International Conference, 2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Proceedings of the Mobile Data Access, First International Conference, 1999
Proceedings of the IEEE International Conference on Networks 1999, 1999
Proceedings of the Application and Theory of Petri Nets 1999, 1999
1998
Int. J. Softw. Tools Technol. Transf., 1998
1996
Comput. Commun., 1996
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN.
Proceedings of the Application and Theory of Petri Nets 1996, 1996
Proceedings of the Lectures on Petri Nets II: Applications, 1996
1994
ISO Standards in Software Engineering.
Proceedings of the Software Quality and Productivity: Theory, 1994
1991
Tool Demonstration: FORSEE.
Proceedings of the Formal Description Techniques, 1991
1989
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
1988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.
IEEE Trans. Software Eng., 1988
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988
1986
A Methodology for Protocol Engineering.
Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986
1985
Automated protocol verification.
Proceedings of the Protocol Specification, 1985
On Specifying Performance Aspects of Protocol Services.
Proceedings of the International Workshop on Timed Petri Nets, 1985
Proceedings of the Advances in Petri Nets 1985, 1985
1983
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983
1982
Specification of the Transport Service Using Numerical Petri Nets.
Proceedings of the Protocol Specification, 1982