Wiwat Vatanawood

Orcid: 0000-0003-0457-3474

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Predictive Modeling of Software Behavior Using Machine Learning.
IEEE Access, 2024

Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification.
IEEE Access, 2024

2022
Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net.
IEEE Access, 2022

Dynamic Slicing of Time Petri Net Based on MTL Property.
IEEE Access, 2022

Transforming YAWL Workflows with Time Interval Constraints into Timed Automata.
Proceedings of the 19th International Joint Conference on Computer Science and Software Engineering, 2022

Transforming nested structures of flowchart into hierarchical coloured Petri Nets.
Proceedings of the International Conference on Electronic Business, 2022

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

Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata.
Proceedings of the ICSCA 2021, 2021

Simulating Artificial Neural Network Using Hierarchical Coloured Petri Nets.
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.
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.
IEEE Access, 2019

Formalizing Time Petri Nets with Metric Temporal Logic using Promela.
Proceedings of the 20th IEEE/ACIS International Conference on Software Engineering, 2019

Transformation of Bounded Timed Petri Nets into Event-B.
Proceedings of the 20th IEEE/ACIS International Conference on Software Engineering, 2019

Formalizing a Decision Table into Petri Nets.
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.
Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Transforming Flowchart into Coloured Petri Nets.
Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Transforming WS-BPEL into Timed Automata.
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.
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.
Proceedings of the ICSEB 2019: The 3rd International Conference on Software and e-Business, 2019

Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets.
Proceedings of the ICIT 2019, 2019

2018
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach.
IEEE Access, 2018

An Ontology-based Knowledge Acquisition for PDM.
Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering, 2018

Formalism of Stochastic Queueing Network using Stochastic Petri Nets.
Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering, 2018

Event-B Formalization of Basic Supply Chain Patterns.
Proceedings of the 19th IEEE/ACIS International Conference on Software Engineering, 2018

2017
A scheme of criminal law knowledge acquisition using ontology.
Proceedings of the 18th IEEE/ACIS International Conference on Software Engineering, 2017

Automated Risk Identification of CMMI Project Planning Using Ontology.
Proceedings of the 5th International Conference on Applied Computing and Information Technology, 2017

2016
Development of an ontology-based configuration management system.
Proceedings of the 8th International Conference on Electronics, 2016

Business process ontology for defining user story.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Digital scrum board using leap motion.
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.
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.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Generating of business rules for Coloured Petri Nets.
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.
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.
Proceedings of the International Conference on Information Science and Applications, 2013

UML Component Diagram to Acme Compiler.
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.
Proceedings of the 2006 International Conference on E-Learning, 2006

2005
Instructional Design Using Component-Based Development and Learning Object Classification.
Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

2004
Formal specification synthesis for relational database model.
Int. J. Intell. Syst., 2004

Transformation of Class Diagrams into Z Specifications.
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.
Proceedings of the Medical Imaging 2004: Visualization, 2004


  Loading...