S. Vanit-Anunchai

Checking Language Inclusion OnThe-Fly with the Sweep-line Method ?

Jonathan Billington, Lars Michael Kristensen, Guy Edward Gallasch, 2005 .

Checking safety properties on-the-fly with the sweep-line method

Jonathan Billington, Lars Michael Kristensen, Guy Edward Gallasch, 2007, International Journal on Software Tools for Technology Transfer.

An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures

Somsak Vanit-Anunchai, S. Vanit-Anunchai, 2007 .

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

Jonathan Billington, Guy Edward Gallasch, Somsak Vanit-Anunchai, 2007, International Journal on Software Tools for Technology Transfer.

Railway Network Modeling Using Building Block of Timed Coloured Petri Nets

Wiwat Vatanawood, Somsak Vanit-Anunchai, Nitipat Songwiroj, 2018, 2018 IEEE 4th International Conference on Computer and Communications (ICCC).

Validating SCTP Simultaneous Open Procedure

Somsak Vanit-Anunchai, S. Vanit-Anunchai, 2013, FSEN.