Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. - Somsak Vanit-Anunchai; Jonathan Billington; Tul Kongprakaiwoot (FORTE, 2005)

Effect of Sequence Number Wrap on DCCP Connection Establishment. - Somsak Vanit-Anunchai; Jonathan Billington (MASCOTS, 2006)

Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. - Somsak Vanit-Anunchai; Jonathan Billington (ICATPN, 2007)

Checking safety properties on-the-fly with the sweep-line method. - Guy Edward Gallasch; Jonathan Billington; Somsak Vanit-Anunchai; Lars Michael Kristensen (Int. J. Softw. Tools Technol. Transf., 2007)

Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. - Jonathan Billington; Somsak Vanit-Anunchai (Fundam. Informaticae, 2008)

Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. - Somsak Vanit-Anunchai; Jonathan Billington; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2008)

Parameterised Coloured Petri Net Channel Models. - Jonathan Billington; Somsak Vanit-Anunchai; Guy Edward Gallasch (Trans. Petri Nets Other Model. Concurr., 2009)

Modelling Railway Interlocking Tables Using Coloured Petri Nets. - Somsak Vanit-Anunchai (COORDINATION, 2010)

Validating SCTP Simultaneous Open Procedure. - Somsak Vanit-Anunchai (FSEN, 2013)

Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures. - Somsak Vanit-Anunchai (FSFMA, 2013)

Experience using Coloured Petri Nets to Model Railway Interlocking Tables. - Somsak Vanit-Anunchai (FSFMA, 2014)

Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System. - Somsak Vanit-Anunchai (FMICS-AVoCS, 2016)

Validating DCCP Simultaneous Feature Negotiation Procedure. - Somsak Vanit-Anunchai (Trans. Petri Nets Other Model. Concurr., 2016)

Validating DCCP Simultaneous-Open and Feature Negotiation Procedures. - Somsak Vanit-Anunchai (IEICE Trans. Inf. Syst., 2017)

Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. - Somsak Vanit-Anunchai (Int. J. Softw. Tools Technol. Transf., 2018)

Teaching Low-Code Formal Methods with Coloured Petri Nets. - Somsak Vanit-Anunchai (FMTea, 2023)

Solving Puzzles using Coloured Petri Nets. - Somsak Vanit-Anunchai (PeNGE@Petri Nets, 2024)