The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan Billington: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan Billington
    Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Nets (2), 1996, pp:293-330 [Conf]
  2. Jonathan Billington, Guy Edward Gallasch, Bing Han
    A Coloured Petri Net Approach to Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:210-290 [Conf]
  3. Jonathan Billington, Bing Han
    On Defining the Service Provided by TCP. [Citation Graph (0, 0)][DBLP]
    ACSC, 2003, pp:129-138 [Conf]
  4. Jonathan Billington, Bing Han
    Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:31-39 [Conf]
  5. Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
    Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:92-101 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:483-505 [Conf]
  7. Lin Liu, Jonathan Billington
    Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:273-293 [Conf]
  8. D. J. Floreani, Jonathan Billington, A. J. Dadej
    Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:153-171 [Conf]
  9. Steven Gordon, Jonathan Billington
    Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:207-226 [Conf]
  10. Steven Gordon, Lars Michael Kristensen, Jonathan Billington
    Verification of a Revised WAP Wireless Transaction Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:182-202 [Conf]
  11. Bing Han, Jonathan Billington
    Termination Properties of TCP's Connection Management Procedures. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:228-249 [Conf]
  12. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal Service Specification for the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:352-373 [Conf]
  13. Andrew Tokmakoff, Jonathan Billington
    An Approach to the Analysis of Interworking Traders. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:127-146 [Conf]
  14. María E. Villapol, Jonathan Billington
    Analysing Properties of the Resource Reservation Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:377-396 [Conf]
  15. Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
    Protocol analysis using numerical Petri nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:435-452 [Conf]
  16. Guy Edward Gallasch, Jonathan Billington
    Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:457-473 [Conf]
  17. Lin Liu, Jonathan Billington
    Reducing Parametric Automata: A Multimedia Protocol Service Case Study. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:483-486 [Conf]
  18. Jörn Freiheit, Jonathan Billington
    Using TimeNET to Evaluate Operational Planning Processes. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2004, pp:17-32 [Conf]
  19. Chun Ouyang, Jonathan Billington
    On Verifying the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2003, pp:292-302 [Conf]
  20. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal and Executable Specification of the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2002, pp:377-387 [Conf]
  21. Jonathan Billington
    A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:526-556 [Conf]
  22. Abhishek Singh, Jonathan Billington
    A Formal Service Specification for IIOP based on ISO/IEC 14752. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:111-125 [Conf]
  23. Jonathan Billington, Guy Edward Gallasch
    How Stop and Wait Protocols Can Fail over the Internet. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:209-223 [Conf]
  24. Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker
    Tool Demonstration: FORSEE. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:457-461 [Conf]
  25. Chun Ouyang, Jonathan Billington
    Formal Analysis of the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:1-15 [Conf]
  26. Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
    Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:143-158 [Conf]
  27. Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham
    A Methodology for Protocol Engineering. [Citation Graph (0, 0)][DBLP]
    ICCC, 1986, pp:525-530 [Conf]
  28. Jörn Freiheit, Jonathan Billington
    New Developments in Closed-Form Computation for GSPN Aggregation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:471-490 [Conf]
  29. Guy Edward Gallasch, Bing Han, Jonathan Billington
    Sweep-Line Analysis of TCP Connection Management. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:156-172 [Conf]
  30. Jonathan Billington
    ISO Standards in Software Engineering. [Citation Graph (0, 0)][DBLP]
    Software Quality and Productivity, 1994, pp:189-192 [Conf]
  31. Jonathan Billington
    Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:173-185 [Conf]
  32. Somsak Vanit-Anunchai, Jonathan Billington
    Effect of Sequence Number Wrap on DCCP Connection Establishment. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2006, pp:345-354 [Conf]
  33. Steven Gordon, Jonathan Billington
    Modelling the WAP Transaction Service using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    MDA, 1999, pp:109-118 [Conf]
  34. Lin Liu, Jonathan Billington
    Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. [Citation Graph (0, 0)][DBLP]
    MMM, 2004, pp:323-0 [Conf]
  35. Jonathan Billington
    On Specifying Performance Aspects of Protocol Services. [Citation Graph (0, 0)][DBLP]
    PNPM, 1985, pp:288-295 [Conf]
  36. Jonathan Billington
    Extensions to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:61-70 [Conf]
  37. Jonathan Billington
    Many-Sorted High-Level Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:166-179 [Conf]
  38. Jonathan Billington
    Specification of the Transport Service Using Numerical Petri Nets. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:77-100 [Conf]
  39. Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman
    Automated protocol verification. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:59-70 [Conf]
  40. Chun Ouyang, Jonathan Billington
    An improved formal specification of the Internet Open Trading Pprotocol. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:779-783 [Conf]
  41. Guy Edward Gallasch, Jonathan Billington
    A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:201-218 [Conf]
  42. Nimrod Lilith, Jonathan Billington, Jörn Freiheit
    Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. [Citation Graph (0, 0)][DBLP]
    VALUETOOLS, 2006, pp:32- [Conf]
  43. María E. Villapol, Jonathan Billington
    A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. [Citation Graph (0, 0)][DBLP]
    CLEI Electron. J., 2003, v:6, n:1, pp:- [Journal]
  44. Andrew Tokmakoff, Jonathan Billington
    Coloured Petri net modelling of the ODP Trader for use in resource discovery. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:1, pp:39-48 [Journal]
  45. Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
    Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:3, pp:251-274 [Journal]
  46. Steven Gordon, Jonathan Billington
    Analysing a Missile Simulator with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:144-159 [Journal]
  47. Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
    PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:301-316 [Journal]
  48. Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
    Exploiting equivalence reduction and the sweep-line method for detecting terminal states. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2004, v:34, n:1, pp:23-37 [Journal]
  49. Somsak Vanit-Anunchai, Jonathan Billington
    Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:423-444 [Conf]
  50. Lin Liu, Jonathan Billington
    Verification of the Capability Exchange Signalling protocol. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:305-326 [Journal]
  51. Jonathan Billington, Bing Han
    Modelling and analysing the functional behaviour of TCP's connection management procedures. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:269-304 [Journal]
  52. Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
    Checking safety properties on-the-fly with the sweep-line method. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:371-391 [Journal]

  53. Parametric Language Analysis of the Class of Stop-and-Wait Protocols. [Citation Graph (, )][DBLP]


  54. A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. [Citation Graph (, )][DBLP]


  55. Recursive Parametric Automata and epsilon-Removal. [Citation Graph (, )][DBLP]


  56. Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. [Citation Graph (, )][DBLP]


  57. Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. [Citation Graph (, )][DBLP]


  58. Modelling personnel within a defence logistics maintenance process. [Citation Graph (, )][DBLP]


  59. An investigation of credit-based flow control protocols. [Citation Graph (, )][DBLP]


Search in 0.115secs, Finished in 0.118secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002