Adding value to WSN simulation through formal modelling and analysis. - Adisak Intana; Michael R. Poppleton; Geoff V. Merrett (SESENA, 2013)

A Formal Co-Simulation Approach for Wireless Sensor Network Development. - Adisak Intana; Michael R. Poppleton; Geoff V. Merrett (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

A model-based trace testing approach for validation of formal co-simulation models. - Adisak Intana; Michael R. Poppleton; Geoff V. Merrett (SpringSim (TMS-DEVS), 2015)

An NLP-Based Approach for Detecting Ambiguity of Thai Software Requirements Specification. - Adisak Intana; Kanjana Laosen; Panya Nuanchan; Nattapong Pattanakit; Sathani Dermchai (JCSSE, 2024)