2008 |
6 | EE | Jonathan 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) |
5 | EE | 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 10(1): 29-56 (2008) |
2007 |
4 | EE | Somsak Vanit-Anunchai,
Jonathan Billington:
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
ICATPN 2007: 423-444 |
3 | EE | Guy 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) |
2006 |
2 | EE | Somsak Vanit-Anunchai,
Jonathan Billington:
Effect of Sequence Number Wrap on DCCP Connection Establishment.
MASCOTS 2006: 345-354 |
2005 |
1 | EE | Somsak Vanit-Anunchai,
Jonathan Billington,
Tul Kongprakaiwoot:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
FORTE 2005: 143-158 |