Chanon Dechsupa

According to our database, Chanon Dechsupa authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

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

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

Llm-Based Code Comment Summarization: Efficacy Evaluation and Challenges.

Peeradon Sukkasem, Chitsutha Soomlek, Chanon Dechsupa

Proceedings of the 17th International Conference on Knowledge and Smart Technology, 2025

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

2021

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

Chanon Dechsupa, Wiwat Vatanawood, Worawit Poolsawasdi, Arthit Thongtak

Comput., 2021

2019

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

Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak

IEEE Access, 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