Wiwat Vatanawood

44 papers A 1B 1C 11Journal 11Unranked 20
YearRankTypeTitle / Venue / Authors
2025 — conf
Formal Modeling of Concurrent State Machine Diagrams using NuSMV.
ICCMS
Nontawit Markjan, Nuengwong Tuaycharoen, Wiwat Vatanawood
2025 J jnl
Improving ISO/IEC 29110 Basic Profile Process Comprehension for VSEs: A Colored Petri Net Visualization Approach Tailored for Auditor Views.
IEEE Access
Nuengwong Tuaycharoen, Waruntorn Sirikrajai, Nattapat Pitchayanon, Wiwat Vatanawood
2025 J jnl
Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges.
IEEE Access
Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In
2025 J jnl
Toward automated verification of timed business process models using timed-automata networks and temporal properties.
Inf. Sci.
Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
2024 J jnl
Predictive Modeling of Software Behavior Using Machine Learning.
IEEE Access
Chalika Saksupawattanakul, Wiwat Vatanawood
2024 J jnl
Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification.
IEEE Access
Apipath Kamput, Chanon Dechsupa, Wiwat Vatanawood, Suttinan Pomsiri
2022 J jnl
Dynamic Slicing of Time Petri Net Based on MTL Property.
IEEE Access
P. Chariyathitipong, Wiwat Vatanawood
2022 J jnl
Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net.
IEEE Access
Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
2022 — conf
Transforming YAWL Workflows with Time Interval Constraints into Timed Automata.
JCSSE
Naronggorn Wongsitthiphaithun, Wiwat Vatanawood
2022 — conf
Transforming nested structures of flowchart into hierarchical coloured Petri Nets.
ICEB
Methawi Phokhai, Wiwat Vatanawood
2021 J jnl
An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction.
Comput.
Chanon Dechsupa, Wiwat Vatanawood, Worawit Poolsawasdi, Arthit Thongtak
2021 — conf
Simulating Artificial Neural Network Using Hierarchical Coloured Petri Nets.
ICMLT
Chutiakrn Jitmit, Wiwat Vatanawood
2021 — conf
Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata.
ICSCA
Amarat Pimkote, Wiwat Vatanawood
2021 — conf
Transforming YAWL Workflows with Time Constraints into Timed Automata.
ICCCM
Maruth Ravibanjurdkul, Pittipol Kantavat, Wiwat Vatanawood
2019 — conf
Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets.
ICSEB
Pimporn Boon-in, Wiwat Vatanawood
2019 — conf
Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets.
ICSEB
Kittisak Khetkarn, Wiwat Vatanawood
2019 — conf
Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets.
ICIT
Lalita Thampibal, Wiwat Vatanawood
2019 C conf
Formalizing Time Petri Nets with Metric Temporal Logic using Promela.
SNPD
Jutamard Kawises, Wiwat Vatanawood
2019 — conf
Formalizing a Decision Table into Petri Nets.
ICSEB
Thanatta Mankong, Wiwat Vatanawood
2019 J jnl
Hierarchical Verification for the BPMN Design Model Using State Space Analysis.
IEEE Access
Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
2019 C conf
Transformation of Bounded Timed Petri Nets into Event-B.
SNPD
Suphattra Kaewopchoei, Wiwat Vatanawood
2019 — conf
Transforming Flowchart into Coloured Petri Nets.
ICSEB
Utumporn Gulati, Wiwat Vatanawood
2019 — conf
Transforming WS-BPEL into Timed Automata.
ICSEB
Pramate Chandratarat, Wiwat Vatanawood
2019 — conf
Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets.
ICSEB
Supattra Boonyawat, Wiwat Vatanawood
2018 C conf
An Ontology-based Knowledge Acquisition for PDM.
SNPD
Wisarat Srisungnoen, Wiwat Vatanawood
2018 C conf
Event-B Formalization of Basic Supply Chain Patterns.
SNPD
Chalika Saksupawattanakul, Wiwat Vatanawood
2018 C conf
Formalism of Stochastic Queueing Network using Stochastic Petri Nets.
SNPD
Kesinee Soomanat, Wiwat Vatanawood
2018 J jnl
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach.
IEEE Access
Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
2017 C conf
A scheme of criminal law knowledge acquisition using ontology.
SNPD
Pongpanut Osathitporn, Nuanwan Soonthornphisaj, Wiwat Vatanawood
2017 — conf
Automated Risk Identification of CMMI Project Planning Using Ontology.
ACIT/CSII/BCD
Chanapan Rojrattanakorn, Wiwat Vatanawood
2016 C conf
A development of RDF data transfer and query on Hadoop Framework.
ICIS
Jutamard Kawises, Wiwat Vatanawood
2016 C conf
Business process ontology for defining user story.
ICIS
Chaleerat Thamrongchote, Wiwat Vatanawood
2016 C conf
Detection of design patterns from class diagram and sequence diagrams using ontology.
ICIS
Attawat Panich, Wiwat Vatanawood
2016 A conf
Development of an ontology-based configuration management system.
ECAI
Naratich Na-Lampang, Wiwat Vatanawood
2016 C conf
Digital scrum board using leap motion.
ICIS
Patsakorn Rittitum, Wiwat Vatanawood, Arthit Thongtak
2016 C conf
Generating of business rules for Coloured Petri Nets.
ICIS
Jatuporn Deesukying, Wiwat Vatanawood
2014 — conf
An approach to construct formal model of business process model from BPMN workflow patterns.
DICTAP
Saran Yamasathien, Wiwat Vatanawood
2013 — conf
An xADL Extension for Service Oriented Architecture Design.
ICISA
Passakorn Pannok, Wiwat Vatanawood
2013 — conf
UML Component Diagram to Acme Compiler.
ICISA
Chumpol Mokarat, Wiwat Vatanawood
2006 — conf
The Concept Path Combination Model for Supporting a Personalized Learning Path in Adaptive Educational Systems.
CSREA EEE
Noppamas Pukkhem, Martha Evens, Wiwat Vatanawood
2005 B conf
Instructional Design Using Component-Based Development and Learning Object Classification.
ICALT
Noppamas Pukkhem, Wiwat Vatanawood
2004 — conf
Computer-aided distal locking guidance of intramedullary nail by x-ray image analysis.
Image-Guided Procedures
Nongluk Covavisaruch, Kamthon Simmami, Wiwat Vatanawood, Winyou Ratanachai
2004 J jnl
Formal specification synthesis for relational database model.
Int. J. Intell. Syst.
Wiwat Vatanawood, Wanchai Rivepiboon
2004 — conf
Transformation of Class Diagrams into Z Specifications.
Software Engineering Research and Practice
Supattara Napapak, Wiwat Vatanawood