default search action
Wiwat Vatanawood
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Chalika Saksupawattanakul
, Wiwat Vatanawood
Predictive Modeling of Software Behavior Using Machine Learning. IEEE Access 12: 120584-120596 (2024) - [j7]Apipath Kamput, Chanon Dechsupa
Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification. IEEE Access 12: 124260-124281 (2024) - 2022
- [j6]Chanon Dechsupa
Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net. IEEE Access 10: 42983-43002 (2022) - [j5]P. Chariyathitipong
Dynamic Slicing of Time Petri Net Based on MTL Property. IEEE Access 10: 45207-45218 (2022) - [c32]Methawi Phokhai, Wiwat Vatanawood:
Transforming nested structures of flowchart into hierarchical coloured Petri Nets. ICEB 2022: 72 - [c31]Naronggorn Wongsitthiphaithun, Wiwat Vatanawood:
Transforming YAWL Workflows with Time Interval Constraints into Timed Automata. JCSSE 2022: 1-6 - 2021
- [j4]Chanon Dechsupa
An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction. Comput. 10(12): 169 (2021) - [c30]Maruth Ravibanjurdkul, Pittipol Kantavat, Wiwat Vatanawood:
Transforming YAWL Workflows with Time Constraints into Timed Automata. ICCCM 2021: 194-200 - [c29]Chutiakrn Jitmit, Wiwat Vatanawood:
Simulating Artificial Neural Network Using Hierarchical Coloured Petri Nets. ICMLT 2021: 127-131 - [c28]Amarat Pimkote, Wiwat Vatanawood:
Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata. ICSCA 2021: 7-13
2010 – 2019
- 2019
- [j3]Chanon Dechsupa
Hierarchical Verification for the BPMN Design Model Using State Space Analysis. IEEE Access 7: 16795-16815 (2019) - [c27]Lalita Thampibal, Wiwat Vatanawood:
Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets. ICIT 2019: 338-343 - [c26]Kittisak Khetkarn, Wiwat Vatanawood:
Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets. ICSEB 2019: 39-43 - [c25]Pimporn Boon-in, Wiwat Vatanawood:
Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets. ICSEB 2019: 44-50 - [c24]Utumporn Gulati, Wiwat Vatanawood:
Transforming Flowchart into Coloured Petri Nets. ICSEB 2019: 75-80 - [c23]Thanatta Mankong, Wiwat Vatanawood:
Formalizing a Decision Table into Petri Nets. ICSEB 2019: 81-86 - [c22]Supattra Boonyawat, Wiwat Vatanawood:
Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets. ICSEB 2019: 97-103 - [c21]Pramate Chandratarat, Wiwat Vatanawood:
Transforming WS-BPEL into Timed Automata. ICSEB 2019: 134-140 - [c20]Suphattra Kaewopchoei, Wiwat Vatanawood:
Transformation of Bounded Timed Petri Nets into Event-B. SNPD 2019: 127-132 - [c19]Jutamard Kawises, Wiwat Vatanawood:
Formalizing Time Petri Nets with Metric Temporal Logic using Promela. SNPD 2019: 162-166 - 2018
- [j2]Chanon Dechsupa
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach. IEEE Access 6: 38421-38436 (2018) - [c18]Wisarat Srisungnoen, Wiwat Vatanawood:
An Ontology-based Knowledge Acquisition for PDM. SNPD 2018: 287-292 - [c17]Kesinee Soomanat, Wiwat Vatanawood:
Formalism of Stochastic Queueing Network using Stochastic Petri Nets. SNPD 2018: 347-351 - [c16]Chalika Saksupawattanakul, Wiwat Vatanawood:
Event-B Formalization of Basic Supply Chain Patterns. SNPD 2018: 352-357 - 2017
- [c15]Chanapan Rojrattanakorn, Wiwat Vatanawood:
Automated Risk Identification of CMMI Project Planning Using Ontology. ACIT/CSII/BCD 2017: 19-24 - [c14]Pongpanut Osathitporn, Nuanwan Soonthornphisaj, Wiwat Vatanawood:
A scheme of criminal law knowledge acquisition using ontology. SNPD 2017: 29-34 - 2016
- [c13]Jatuporn Deesukying, Wiwat Vatanawood:
Generating of business rules for Coloured Petri Nets. ICIS 2016: 1-6 - [c12]Jutamard Kawises, Wiwat Vatanawood:
A development of RDF data transfer and query on Hadoop Framework. ICIS 2016: 1-4 - [c11]Attawat Panich, Wiwat Vatanawood:
Detection of design patterns from class diagram and sequence diagrams using ontology. ICIS 2016: 1-6 - [c10]Patsakorn Rittitum, Wiwat Vatanawood, Arthit Thongtak:
Digital scrum board using leap motion. ICIS 2016: 1-4 - [c9]Chaleerat Thamrongchote, Wiwat Vatanawood:
Business process ontology for defining user story. ICIS 2016: 1-4 - [c8]Naratich Na-Lampang, Wiwat Vatanawood:
Development of an ontology-based configuration management system. ECAI 2016: 1-6 - 2014
- [c7]Saran Yamasathien, Wiwat Vatanawood:
An approach to construct formal model of business process model from BPMN workflow patterns. DICTAP 2014: 211-215 - 2013
- [c6]Chumpol Mokarat, Wiwat Vatanawood:
UML Component Diagram to Acme Compiler. ICISA 2013: 1-4 - [c5]Passakorn Pannok, Wiwat Vatanawood:
An xADL Extension for Service Oriented Architecture Design. ICISA 2013: 1-3
2000 – 2009
- 2006
- [c4]Noppamas Pukkhem, Martha Evens, Wiwat Vatanawood:
The Concept Path Combination Model for Supporting a Personalized Learning Path in Adaptive Educational Systems. CSREA EEE 2006: 10-16 - 2005
- [c3]Noppamas Pukkhem, Wiwat Vatanawood:
Instructional Design Using Component-Based Development and Learning Object Classification. ICALT 2005: 492-494 - 2004
- [j1]Wiwat Vatanawood, Wanchai Rivepiboon:
Formal specification synthesis for relational database model. Int. J. Intell. Syst. 19(1-2): 159-175 (2004) - [c2]Nongluk Covavisaruch, Kamthon Simmami, Wiwat Vatanawood, Winyou Ratanachai:
Computer-aided distal locking guidance of intramedullary nail by x-ray image analysis. Image-Guided Procedures 2004 - [c1]Supattara Napapak, Wiwat Vatanawood:
Transformation of Class Diagrams into Z Specifications. Software Engineering Research and Practice 2004: 387-392
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: