Watcharin Leungwattanakit
According to our database1,
Watcharin Leungwattanakit
authored at least 10 papers
between 2008 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Int. J. Netw. Comput., 2015
2014
IEEE Trans. Software Eng., 2014
2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
2009
Introduction of Virtualization Technology to Multi-Process Model Checking.
Proceedings of the First NASA Formal Methods Symposium, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008