Wiwat Vatanawood

According to our database, Wiwat Vatanawood authored at least 40 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Predictive Modeling of Software Behavior Using Machine Learning.

Chalika Saksupawattanakul, Wiwat Vatanawood

IEEE Access, 2024

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

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

Dynamic Slicing of Time Petri Net Based on MTL Property.

P. Chariyathitipong, Wiwat Vatanawood

IEEE Access, 2022

Transforming YAWL Workflows with Time Interval Constraints into Timed Automata.

Naronggorn Wongsitthiphaithun, Wiwat Vatanawood

Proceedings of the 19th International Joint Conference on Computer Science and Software Engineering, 2022

Transforming nested structures of flowchart into hierarchical coloured Petri Nets.

Methawi Phokhai, Wiwat Vatanawood

Proceedings of the International Conference on Electronic Business, 2022

2021

An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction.

Chanon Dechsupa, Wiwat Vatanawood, Worawit Poolsawasdi, Arthit Thongtak

Comput., 2021

Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata.

Amarat Pimkote, Wiwat Vatanawood

Proceedings of the ICSCA 2021, 2021

Simulating Artificial Neural Network Using Hierarchical Coloured Petri Nets.

Chutiakrn Jitmit, Wiwat Vatanawood

Proceedings of the ICMLT 2021: 6th International Conference on Machine Learning Technologies, Jeju Island, Republic of Korea, April 23, 2021

Transforming YAWL Workflows with Time Constraints into Timed Automata.

Maruth Ravibanjurdkul, Pittipol Kantavat, Wiwat Vatanawood

Proceedings of the ICCCM 2021: 9th International Conference on Computer and Communications Management, Singapore, July 16, 2021

2019

Hierarchical Verification for the BPMN Design Model Using State Space Analysis.

Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak

IEEE Access, 2019

Formalizing Time Petri Nets with Metric Temporal Logic using Promela.

Jutamard Kawises, Wiwat Vatanawood

Proceedings of the 20th IEEE/ACIS International Conference on Software Engineering, 2019

Transformation of Bounded Timed Petri Nets into Event-B.

Suphattra Kaewopchoei, Wiwat Vatanawood

Proceedings of the 20th IEEE/ACIS International Conference on Software Engineering, 2019

Formalizing a Decision Table into Petri Nets.

Thanatta Mankong, Wiwat Vatanawood

Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets.

Kittisak Khetkarn, Wiwat Vatanawood

Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Transforming Flowchart into Coloured Petri Nets.

Utumporn Gulati, Wiwat Vatanawood

Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Transforming WS-BPEL into Timed Automata.

Pramate Chandratarat, Wiwat Vatanawood

Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets.

Supattra Boonyawat, Wiwat Vatanawood

Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets.

Pimporn Boon-in, Wiwat Vatanawood

Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets.

Lalita Thampibal, Wiwat Vatanawood

Proceedings of the ICIT 2019, 2019

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

An Ontology-based Knowledge Acquisition for PDM.

Wisarat Srisungnoen, Wiwat Vatanawood

Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering, 2018

Formalism of Stochastic Queueing Network using Stochastic Petri Nets.

Kesinee Soomanat, Wiwat Vatanawood

Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering, 2018

Event-B Formalization of Basic Supply Chain Patterns.

Chalika Saksupawattanakul, Wiwat Vatanawood

Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering, 2018

2017

A scheme of criminal law knowledge acquisition using ontology.

Pongpanut Osathitporn, Nuanwan Soonthornphisaj, Wiwat Vatanawood

Proceedings of the 18th IEEE/ACIS International Conference on Software Engineering, 2017

Automated Risk Identification of CMMI Project Planning Using Ontology.

Chanapan Rojrattanakorn, Wiwat Vatanawood

Proceedings of the 5th International Conference on Applied Computing and Information Technology, 2017

2016

Development of an ontology-based configuration management system.

Naratich Na-Lampang, Wiwat Vatanawood

Proceedings of the 8th International Conference on Electronics, 2016

Business process ontology for defining user story.

Chaleerat Thamrongchote, Wiwat Vatanawood

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Digital scrum board using leap motion.

Patsakorn Rittitum, Wiwat Vatanawood, Arthit Thongtak

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Detection of design patterns from class diagram and sequence diagrams using ontology.

Attawat Panich, Wiwat Vatanawood

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

A development of RDF data transfer and query on Hadoop Framework.

Jutamard Kawises, Wiwat Vatanawood

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Generating of business rules for Coloured Petri Nets.

Jatuporn Deesukying, Wiwat Vatanawood

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2014

An approach to construct formal model of business process model from BPMN workflow patterns.

Saran Yamasathien, Wiwat Vatanawood

Proceedings of the Fourth International Conference on Digital Information and Communication Technology and its Applicationsm DICTAP 2014, 2014

2013

An xADL Extension for Service Oriented Architecture Design.

Passakorn Pannok, Wiwat Vatanawood

Proceedings of the International Conference on Information Science and Applications, 2013

UML Component Diagram to Acme Compiler.

Chumpol Mokarat, Wiwat Vatanawood

Proceedings of the International Conference on Information Science and Applications, 2013

2006

The Concept Path Combination Model for Supporting a Personalized Learning Path in Adaptive Educational Systems.

Noppamas Pukkhem, Martha Evens, Wiwat Vatanawood

Proceedings of the 2006 International Conference on E-Learning, 2006

2005

Instructional Design Using Component-Based Development and Learning Object Classification.

Noppamas Pukkhem, Wiwat Vatanawood

Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

2004

Formal specification synthesis for relational database model.

Wiwat Vatanawood, Wanchai Rivepiboon

Int. J. Intell. Syst., 2004

Transformation of Class Diagrams into Z Specifications.

Supattara Napapak, Wiwat Vatanawood

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Computer-aided distal locking guidance of intramedullary nail by x-ray image analysis.

Nongluk Covavisaruch, Kamthon Simmami, Wiwat Vatanawood, Winyou Ratanachai

Proceedings of the Medical Imaging 2004: Visualization, 2004