BibBase vanit-anunchai, s

2023 (1)

Teaching Low-Code Formal Methods with Coloured Petri Nets. Vanit-Anunchai, S. In Formal Methods Teaching Workshop, pages 96–104, 2023. Springer, Cham
link bibtex

@inproceedings{vanit2023teaching,
  title={Teaching Low-Code Formal Methods with Coloured Petri Nets},
  author={Vanit-Anunchai, Somsak},
  booktitle={Formal Methods Teaching Workshop},
  pages={96--104},
  year={2023},
  organization={Springer, Cham}
}

2021 (1)

A Train Rescheduling System Using Timed Coloured Petri Nets. Vanit-Anunchai, S. In Urban Rail Transit: Proceedings of the 6th Thailand Rail Academic Symposium, pages 245–256, 2021. Springer Singapore
link bibtex

@inproceedings{vanit2021train,
  title={A Train Rescheduling System Using Timed Coloured Petri Nets},
  author={Vanit-Anunchai, Somsak},
  booktitle={Urban Rail Transit: Proceedings of the 6th Thailand Rail Academic Symposium},
  pages={245--256},
  year={2021},
  organization={Springer Singapore}
}

2018 (2)

Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. Vanit-Anunchai, S. International Journal on Software Tools for Technology Transfer, 20: 243–262. 2018.
link bibtex

@article{vanit2018modelling,
  title={Modelling and simulating a Thai railway signalling system using Coloured Petri Nets},
  author={Vanit-Anunchai, Somsak},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={20},
  pages={243--262},
  year={2018},
  publisher={Springer Berlin Heidelberg}
}

Railway network modeling using building block of timed coloured petri nets. Songwiroj, N.; Vatanawood, W.; and Vanit-Anunchai, S. In 2018 IEEE 4th International Conference on Computer and Communications (ICCC), pages 528–533, 2018. IEEE
link bibtex

@inproceedings{songwiroj2018railway,
  title={Railway network modeling using building block of timed coloured petri nets},
  author={Songwiroj, Nitipat and Vatanawood, Wiwat and Vanit-Anunchai, Somsak},
  booktitle={2018 IEEE 4th International Conference on Computer and Communications (ICCC)},
  pages={528--533},
  year={2018},
  organization={IEEE}
}

2017 (1)

Validating DCCP Simultaneous-Open and Feature Negotiation Procedures. Vanit-Anunchai, S. IEICE TRANSACTIONS on Information and Systems, 100(6): 1190–1199. 2017.
link bibtex

@article{vanit2017validating,
  title={Validating DCCP Simultaneous-Open and Feature Negotiation Procedures},
  author={Vanit-Anunchai, Somsak},
  journal={IEICE TRANSACTIONS on Information and Systems},
  volume={100},
  number={6},
  pages={1190--1199},
  year={2017},
  publisher={The Institute of Electronics, Information and Communication Engineers}
}

2016 (2)

Validating DCCP simultaneous feature negotiation procedure. Vanit-Anunchai, S. Transactions on Petri Nets and Other Models of Concurrency XI,71–91. 2016.
link bibtex

@article{vanit2016validating,
  title={Validating DCCP simultaneous feature negotiation procedure},
  author={Vanit-Anunchai, Somsak},
  journal={Transactions on Petri Nets and Other Models of Concurrency XI},
  pages={71--91},
  year={2016},
  publisher={Springer Berlin Heidelberg}
}

Application of coloured petri nets in modelling and simulating a railway signalling system. Vanit-Anunchai, S. In Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 21, pages 214–230, 2016. Springer International Publishing
link bibtex

@inproceedings{vanit2016application,
  title={Application of coloured petri nets in modelling and simulating a railway signalling system},
  author={Vanit-Anunchai, Somsak},
  booktitle={Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 21},
  pages={214--230},
  year={2016},
  organization={Springer International Publishing}
}

2014 (1)

Experience using coloured petri nets to model railway interlocking tables. Vanit-Anunchai, S. arXiv preprint arXiv:1407.3891. 2014.
link bibtex

@article{vanit2014experience,
  title={Experience using coloured petri nets to model railway interlocking tables},
  author={Vanit-Anunchai, Somsak},
  journal={arXiv preprint arXiv:1407.3891},
  year={2014}
}

2013 (2)

Validating SCTP simultaneous open procedure. Vanit-Anunchai, S. In Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers 5, pages 233–249, 2013. Springer Berlin Heidelberg
link bibtex

@inproceedings{vanit2013validating,
  title={Validating SCTP simultaneous open procedure},
  author={Vanit-Anunchai, Somsak},
  booktitle={Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers 5},
  pages={233--249},
  year={2013},
  organization={Springer Berlin Heidelberg}
}

Analysis of two-layer protocols: DCCP simultaneous-open and hole punching procedures. Vanit-Anunchai, S. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), 2013. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
link bibtex

@inproceedings{vanit2013analysis,
  title={Analysis of two-layer protocols: DCCP simultaneous-open and hole punching procedures},
  author={Vanit-Anunchai, Somsak},
  booktitle={1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  year={2013},
  organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}

2010 (1)

Modelling railway interlocking tables using coloured petri nets. Vanit-Anunchai, S. In Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 12, pages 137–151, 2010. Springer Berlin Heidelberg
link bibtex

@inproceedings{vanit2010modelling,
  title={Modelling railway interlocking tables using coloured petri nets},
  author={Vanit-Anunchai, Somsak},
  booktitle={Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 12},
  pages={137--151},
  year={2010},
  organization={Springer Berlin Heidelberg}
}

2009 (2)

Verification of railway interlocking tables using coloured Petri nets. Vanit-Anunchai, S. In the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB, volume 590, pages 139–158, 2009.
link bibtex

@inproceedings{vanit2009verification,
  title={Verification of railway interlocking tables using coloured Petri nets},
  author={Vanit-Anunchai, Somsak},
  booktitle={the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB},
  volume={590},
  pages={139--158},
  year={2009}
}

Parameterised coloured Petri net channel models. Billington, J.; Vanit-Anunchai, S.; and Gallasch, G. E Transactions on Petri Nets and Other Models of Concurrency III,71–97. 2009.
link bibtex

@article{billington2009parameterised,
  title={Parameterised coloured Petri net channel models},
  author={Billington, Jonathan and Vanit-Anunchai, Somsak and Gallasch, Guy E},
  journal={Transactions on Petri Nets and Other Models of Concurrency III},
  pages={71--97},
  year={2009},
  publisher={Springer Berlin Heidelberg}
}

2008 (3)

Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol. Billington, J.; and Vanit-Anunchai, S. Fundamenta Informaticae, 88(3): 357–385. 2008.
link bibtex

@article{billington2008coloured,
  title={Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol},
  author={Billington, Jonathan and Vanit-Anunchai, Somsak},
  journal={Fundamenta Informaticae},
  volume={88},
  number={3},
  pages={357--385},
  year={2008},
  publisher={IOS Press}
}

Towards formal modelling and analysis of SCTP connection management. Vanit-Anunchai, S. In Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2008. Citeseer
link bibtex

@inproceedings{vanit2008towards,
  title={Towards formal modelling and analysis of SCTP connection management},
  author={Vanit-Anunchai, Somsak},
  booktitle={Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},
  year={2008},
  organization={Citeseer}
}

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method. Vanit-Anunchai, S.; Billington, J.; and Gallasch, G. E. International Journal on Software Tools for Technology Transfer, 10(1): 29–56. 2008.
link bibtex

@article{vanit2008analysis,
  title={Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan and Gallasch, Guy Edward},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={10},
  number={1},
  pages={29--56},
  year={2008},
  publisher={Springer-Verlag}
}

2007 (3)

An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures. Vanit-Anunchai, S. Ph.D. Thesis, University of South Australia, 2007.
link bibtex

@phdthesis{vanit2007investigation,
  title={An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures},
  author={Vanit-Anunchai, Somsak},
  year={2007},
  school={University of South Australia}
}

Modelling the Datagram Congestion Control Protocol’s connection management and synchronization procedures. Vanit-Anunchai, S.; and Billington, J. In Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings 28, pages 423–444, 2007. Springer Berlin Heidelberg
link bibtex

@inproceedings{vanit2007modelling,
  title={Modelling the Datagram Congestion Control Protocol’s connection management and synchronization procedures},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan},
  booktitle={Petri Nets and Other Models of Concurrency--ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings 28},
  pages={423--444},
  year={2007},
  organization={Springer Berlin Heidelberg}
}

Checking safety properties on-the-fly with the sweep-line method. Gallasch, G. E.; Billington, J.; Vanit-Anunchai, S.; and Kristensen, L. M. International Journal on Software Tools for Technology Transfer, 9(3-4): 371–391. 2007.
link bibtex

@article{gallasch2007checking,
  title={Checking safety properties on-the-fly with the sweep-line method},
  author={Gallasch, Guy Edward and Billington, Jonathan and Vanit-Anunchai, Somsak and Kristensen, Lars Michael},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={9},
  number={3-4},
  pages={371--391},
  year={2007},
  publisher={Springer-Verlag Berlin/Heidelberg}
}

2006 (2)

Sweep-line analysis of DCCP connection management. Vanit-Anunchai, S.; Billington, J.; and Gallasch, G. E. Ph.D. Thesis, University of Aarhus, 2006.
link bibtex

@phdthesis{vanit2006sweep,
  title={Sweep-line analysis of DCCP connection management},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan and Gallasch, Guy Edward},
  year={2006},
  school={University of Aarhus}
}

Effect of sequence number wrap on DCCP connection establishment. Vanit-Anunchai, S.; and Billington, J. In 14th IEEE International Symposium on Modeling, Analysis, and Simulation, pages 345–354, 2006. IEEE
link bibtex

@inproceedings{vanit2006effect,
  title={Effect of sequence number wrap on DCCP connection establishment},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan},
  booktitle={14th IEEE International Symposium on Modeling, Analysis, and Simulation},
  pages={345--354},
  year={2006},
  organization={IEEE}
}

2005 (4)

Discovering chatter and incompleteness in the Datagram Congestion Control Protocol. Vanit-Anunchai, S.; Billington, J.; and Kongprakaiwoot, T. In Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings 25, pages 143–158, 2005. Springer Berlin Heidelberg
link bibtex

@inproceedings{vanit2005discovering,
  title={Discovering chatter and incompleteness in the Datagram Congestion Control Protocol},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan and Kongprakaiwoot, Tul},
  booktitle={Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings 25},
  pages={143--158},
  year={2005},
  organization={Springer Berlin Heidelberg}
}

Checking language inclusion on-the-fly with the sweep-line method. Gallasch, G. E.; Vanit-Anunchai, S.; Billington, J.; and Kristensen, L. M. In Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 1, 2005.
link bibtex

@inproceedings{gallasch2005checking,
  title={Checking language inclusion on-the-fly with the sweep-line method},
  author={Gallasch, Guy Edward and Vanit-Anunchai, Somsak and Billington, Jonathan and Kristensen, Lars Michael},
  booktitle={Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},
  pages={1},
  year={2005}
}

Chattering behaviour in datagram congestion control protocol. Vanit-Anunchai, S.; and Billington, J Electronics Letters, 41(21): 1. 2005.
link bibtex

@article{vanit2005chattering,
  title={Chattering behaviour in datagram congestion control protocol},
  author={Vanit-Anunchai, Somsak and Billington, J},
  journal={Electronics Letters},
  volume={41},
  number={21},
  pages={1},
  year={2005},
  publisher={The Institution of Engineering \& Technology}
}

Modelling dynamic influence diagrams using coloured petri nets. Vanit-Anunchai, S. Ph.D. Thesis, Society for Modeling and Simulation International, 2005.
link bibtex

@phdthesis{vanit2005modelling,
  title={Modelling dynamic influence diagrams using coloured petri nets},
  author={Vanit-Anunchai, Somsak},
  year={2005},
  school={Society for Modeling and Simulation International}
}

2004 (2)

Modelling probabilistic inference using coloured petri nets and factor graphs. Vanit-Anunchai, S.; and Billington, J. Ph.D. Thesis, University of Aarhus, 2004.
link bibtex

@phdthesis{vanit2004modelling,
  title={Modelling probabilistic inference using coloured petri nets and factor graphs},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan},
  year={2004},
  school={University of Aarhus}
}

Initial result of a formal analysis of DCCP connection management. Vanit-Anunchai, S.; and Billington, J Proceedings of INC,63–70. 2004.
link bibtex

@article{vanit2004initial,
  title={Initial result of a formal analysis of DCCP connection management},
  author={Vanit-Anunchai, Somsak and Billington, J},
  journal={Proceedings of INC},
  pages={63--70},
  year={2004}
}

undefined (2)

A Combined Protocol Channel Model and its Application to the Datagram Congestion Control Protocol. Vanit-Anunchai, S. Ph.D. Thesis, .
link bibtex

@phdthesis{vanitcombined,
  title={A Combined Protocol Channel Model and its Application to the Datagram Congestion Control Protocol},
  author={Vanit-Anunchai, Somsak}
}

Checking Safety Properties On-the-fly with the Sweep-Line Method. Vanit-Anunchai, S. Ph.D. Thesis, Springer-Verlag, .
link bibtex

@phdthesis{vanitchecking,
  title={Checking Safety Properties On-the-fly with the Sweep-Line Method},
  author={Vanit-Anunchai, Somsak},
  school={Springer-Verlag}
}