Somsak Vanit-Anunchai

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 7

Top Topics

Coloured Petri Nets

Test Driven Development

Iterative Procedure

Top Venues

Trans. Petri Nets Other Model. Concurr.

IEICE Trans. Inf. Syst.

Int. J. Softw. Tools Technol. Transf.

Publications

Somsak Vanit-Anunchai
Solving Puzzles using Coloured Petri Nets. PeNGE@Petri Nets (2024)
Somsak Vanit-Anunchai
Teaching Low-Code Formal Methods with Coloured Petri Nets. FMTea (2023)
Somsak Vanit-Anunchai
Teaching Low-Code Formal Methods with Coloured Petri Nets. FMTea (2022)
Somsak Vanit-Anunchai
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Somsak Vanit-Anunchai
Validating DCCP Simultaneous-Open and Feature Negotiation Procedures. IEICE Trans. Inf. Syst. (6) (2017)
Somsak Vanit-Anunchai
Validating DCCP Simultaneous Feature Negotiation Procedure. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Somsak Vanit-Anunchai
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System. FMICS-AVoCS (2016)
Somsak Vanit-Anunchai
Validating DCCP Simultaneous Feature Negotiation Procedure. PNSE @ Petri Nets (2015)
Somsak Vanit-Anunchai
Experience using Coloured Petri Nets to Model Railway Interlocking Tables. FSFMA (2014)
Somsak Vanit-Anunchai
Validating SCTP Simultaneous Open Procedure. FSEN (2013)
Somsak Vanit-Anunchai
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures. FSFMA (2013)
Somsak Vanit-Anunchai
Modelling Railway Interlocking Tables Using Coloured Petri Nets. COORDINATION (2010)
Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch
Parameterised Coloured Petri Net Channel Models. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Jonathan Billington, Somsak Vanit-Anunchai
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol. Fundam. Informaticae 88 (3) (2008)
Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Somsak Vanit-Anunchai, Jonathan Billington
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. ICATPN (2007)
Somsak Vanit-Anunchai, Jonathan Billington
Effect of Sequence Number Wrap on DCCP Connection Establishment. MASCOTS (2006)
Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. FORTE (2005)