Computer-aided distal locking guidance of intramedullary nail by x-ray image analysis. - Nongluk Covavisaruch; Kamthon Simmami; Wiwat Vatanawood; Winyou Ratanachai (Image-Guided Procedures, 2004)

Transformation of Class Diagrams into Z Specifications. - Supattara Napapak; Wiwat Vatanawood (Software Engineering Research and Practice, 2004)

Formal specification synthesis for relational database model. - Wiwat Vatanawood; Wanchai Rivepiboon (Int. J. Intell. Syst., 2004)

Instructional Design Using Component-Based Development and Learning Object Classification. - Noppamas Pukkhem; Wiwat Vatanawood (ICALT, 2005)

The Concept Path Combination Model for Supporting a Personalized Learning Path in Adaptive Educational Systems. - Noppamas Pukkhem; Martha Evens; Wiwat Vatanawood (CSREA EEE, 2006)

UML Component Diagram to Acme Compiler. - Chumpol Mokarat; Wiwat Vatanawood (ICISA, 2013)

An xADL Extension for Service Oriented Architecture Design. - Passakorn Pannok; Wiwat Vatanawood (ICISA, 2013)

An approach to construct formal model of business process model from BPMN workflow patterns. - Saran Yamasathien; Wiwat Vatanawood (DICTAP, 2014)

Generating of business rules for Coloured Petri Nets. - Jatuporn Deesukying; Wiwat Vatanawood (ICIS, 2016)

A development of RDF data transfer and query on Hadoop Framework. - Jutamard Kawises; Wiwat Vatanawood (ICIS, 2016)

Detection of design patterns from class diagram and sequence diagrams using ontology. - Attawat Panich; Wiwat Vatanawood (ICIS, 2016)

Digital scrum board using leap motion. - Patsakorn Rittitum; Wiwat Vatanawood; Arthit Thongtak (ICIS, 2016)

Business process ontology for defining user story. - Chaleerat Thamrongchote; Wiwat Vatanawood (ICIS, 2016)

Development of an ontology-based configuration management system. - Naratich Na-Lampang; Wiwat Vatanawood (ECAI, 2016)

Automated Risk Identification of CMMI Project Planning Using Ontology. - Chanapan Rojrattanakorn; Wiwat Vatanawood (ACIT/CSII/BCD, 2017)

A scheme of criminal law knowledge acquisition using ontology. - Pongpanut Osathitporn; Nuanwan Soonthornphisaj; Wiwat Vatanawood (SNPD, 2017)

Event-B Formalization of Basic Supply Chain Patterns. - Chalika Saksupawattanakul; Wiwat Vatanawood (SNPD, 2018)

Formalism of Stochastic Queueing Network using Stochastic Petri Nets. - Kesinee Soomanat; Wiwat Vatanawood (SNPD, 2018)

An Ontology-based Knowledge Acquisition for PDM. - Wisarat Srisungnoen; Wiwat Vatanawood (SNPD, 2018)

Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (IEEE Access, 2018)

Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets. - Lalita Thampibal; Wiwat Vatanawood (ICIT, 2019)

Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets. - Pimporn Boon-in; Wiwat Vatanawood (ICSEB, 2019)

Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets. - Supattra Boonyawat; Wiwat Vatanawood (ICSEB, 2019)

Transforming WS-BPEL into Timed Automata. - Pramate Chandratarat; Wiwat Vatanawood (ICSEB, 2019)

Transforming Flowchart into Coloured Petri Nets. - Utumporn Gulati; Wiwat Vatanawood (ICSEB, 2019)

Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets. - Kittisak Khetkarn; Wiwat Vatanawood (ICSEB, 2019)

Formalizing a Decision Table into Petri Nets. - Thanatta Mankong; Wiwat Vatanawood (ICSEB, 2019)

Transformation of Bounded Timed Petri Nets into Event-B. - Suphattra Kaewopchoei; Wiwat Vatanawood (SNPD, 2019)

Formalizing Time Petri Nets with Metric Temporal Logic using Promela. - Jutamard Kawises; Wiwat Vatanawood (SNPD, 2019)

Hierarchical Verification for the BPMN Design Model Using State Space Analysis. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (IEEE Access, 2019)

Transforming YAWL Workflows with Time Constraints into Timed Automata. - Maruth Ravibanjurdkul; Pittipol Kantavat; Wiwat Vatanawood (ICCCM, 2021)

Simulating Artificial Neural Network Using Hierarchical Coloured Petri Nets. - Chutiakrn Jitmit; Wiwat Vatanawood (ICMLT, 2021)

Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata. - Amarat Pimkote; Wiwat Vatanawood (ICSCA, 2021)

An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction. - Chanon Dechsupa; Wiwat Vatanawood; Worawit Poolsawasdi; Arthit Thongtak (Comput., 2021)

Transforming nested structures of flowchart into hierarchical coloured Petri Nets. - Methawi Phokhai; Wiwat Vatanawood (ICEB, 2022)

Transforming YAWL Workflows with Time Interval Constraints into Timed Automata. - Naronggorn Wongsitthiphaithun; Wiwat Vatanawood (JCSSE, 2022)

Dynamic Slicing of Time Petri Net Based on MTL Property. - P. Chariyathitipong; Wiwat Vatanawood (IEEE Access, 2022)

Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (IEEE Access, 2022)

Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification. - Apipath Kamput; Chanon Dechsupa; Wiwat Vatanawood; Suttinan Pomsiri (IEEE Access, 2024)

Predictive Modeling of Software Behavior Using Machine Learning. - Chalika Saksupawattanakul; Wiwat Vatanawood (IEEE Access, 2024)

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges. - Chanon Dechsupa; Teerapong Panboonyuen; Wiwat Vatanawood; Praisan Padungweang; Chakchai So-In (IEEE Access, 2025)

Toward automated verification of timed business process models using timed-automata networks and temporal properties. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (Inf. Sci., 2025)