关注
Somsak Vanit-Anunchai
Somsak Vanit-Anunchai
在 sut.ac.th 的电子邮件经过验证
标题
引用次数
引用次数
年份
Modelling railway interlocking tables using coloured petri nets
S Vanit-Anunchai
Coordination Models and Languages: 12th International Conference …, 2010
422010
Verification of railway interlocking tables using coloured Petri nets
S Vanit-Anunchai
the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and …, 2009
202009
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets
S Vanit-Anunchai
International Journal on Software Tools for Technology Transfer 20, 243-262, 2018
182018
Discovering chatter and incompleteness in the Datagram Congestion Control Protocol
S Vanit-Anunchai, J Billington, T Kongprakaiwoot
Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005
182005
Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method
S Vanit-Anunchai, J Billington, GE Gallasch
International Journal on Software Tools for Technology Transfer 10 (1), 29-56, 2008
152008
Checking safety properties on-the-fly with the sweep-line method
GE Gallasch, J Billington, S Vanit-Anunchai, LM Kristensen
International Journal on Software Tools for Technology Transfer 9 (3), 371-391, 2007
152007
Experience using coloured petri nets to model railway interlocking tables
S Vanit-Anunchai
arXiv preprint arXiv:1407.3891, 2014
142014
Parameterised coloured Petri net channel models
J Billington, S Vanit-Anunchai, GE Gallasch
Transactions on Petri Nets and Other Models of Concurrency III, 71-97, 2009
132009
Initial result of a formal analysis of DCCP connection management
S Vanit-Anunchai, J Billington
Proceedings of INC, 63-70, 2004
122004
Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol
J Billington, S Vanit-Anunchai
Fundamenta Informaticae 88 (3), 357-385, 2008
102008
Towards formal modelling and analysis of SCTP connection management
S Vanit-Anunchai
Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured …, 2008
82008
Modelling the Datagram Congestion Control Protocol’s connection management and synchronization procedures
S Vanit-Anunchai, J Billington
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
82007
Checking language inclusion on-the-fly with the sweep-line method
GE Gallasch, S Vanit-Anunchai, J Billington, LM Kristensen
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the …, 2005
62005
Railway network modeling using building block of timed coloured petri nets
N Songwiroj, W Vatanawood, S Vanit-Anunchai
2018 IEEE 4th International Conference on Computer and Communications (ICCC …, 2018
52018
Application of coloured petri nets in modelling and simulating a railway signalling system
S Vanit-Anunchai
Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016
52016
An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures
S Vanit-Anunchai
University of South Australia, 2007
52007
Sweep-line analysis of DCCP connection management
S Vanit-Anunchai, J Billington, GE Gallasch
University of Aarhus, 2006
52006
Effect of sequence number wrap on DCCP connection establishment
S Vanit-Anunchai, J Billington
14th IEEE International Symposium on Modeling, Analysis, and Simulation, 345-354, 2006
52006
Modelling dynamic influence diagrams using coloured petri nets
S Vanit-Anunchai
Society for Modeling and Simulation International, 2005
52005
Validating DCCP simultaneous feature negotiation procedure
S Vanit-Anunchai
Transactions on Petri Nets and Other Models of Concurrency XI, 71-91, 2016
42016
系统目前无法执行此操作,请稍后再试。
文章 1–20