Publication

Recent publication


LymphAware: Domain-Aware Bias Disruption for Reliable Lymphoma Cancer AI Diagnosis

Toward automated verification of timed business process models using timed-automata networks and temporal properties

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges


My research focuses on formal methods, system modeling and verification, artificial intelligence, and computer vision. My work has extensively explored formal modeling techniques, particularly Colored Petri Nets and Timed Automata, for modeling and verifying complex systems, including business processes, traffic control systems, IoT controllers, and information systems. In parallel, my research in AI and computer vision covers deep-learning-based image analysis and classification, with applications ranging from biological image classification to medical imaging and cancer diagnosis. More recently, these research directions have converged toward AI-augmented formal verification and reliable AI, where machine learning is used to address the scalability of formal verification while reliability, domain awareness, and robustness are considered in AI-based systems. Overall, my research aims to bridge formal methods, AI, and computer vision to develop intelligent and dependable systems for real-world applications.
  1. Panboonyuen, T., Dechsupa, C., " LymphAware: Domain-Aware Bias Disruption for Reliable Lymphoma Cancer AI Diagnosis," IEEE ACCESS,2026, DOI: 10.1109/ACCESS.2026.3667575, (ISI/SCOPUS, Q1)
  2. Dechsupa, C., Panboonyuen, T., Vatanawood, W., Padungweang, P., So-In C., "Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges," IEEE ACCESS,2025, DOI: 10.1109/ACCESS.2025.3568194, (ISI/SCOPUS, Q1)
  3. Dechsupa, C., Vatanawood, W. and Thongtak, A.,"Toward Automated Verification of Timed Business Process Models Using Timed-Automata Networks and Temporal Properties," Information science Journal, p. 1 – 25, V. 710 (2025), (ISI/SCOPUS, Q1 (Tier 1)
  4. Samngamnoi, K., Kamput, A., Pomsiri S. and , Dechsupa, C., “Ensuring IoT Controller Reliability with Colored Generalized Stochastic Petri Net”, International Computer Science and Engineering Conference (ICSEC 2024) , Nov 6-8, 2024, Thailand.
  5. Kamput, A., Dechsupa, C., Vatanawood, W. and Pomsiri S., “Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification”, IEEE ACCESS, 2024,DOI: 10.1109/ACCESS.2024.3455097, (Q1)
  6. Dechsupa, C. , Prasankok P., Vatanawood, W. and Thongtak, A., “MorphoNet: A Novel Bivalve Images Classification Framework with Convolutional Neural Network”, Engineering Journal, V.27 (9), 2023, (Q3)
  7. Duangmalai, S. and Dechsupa, C., “Transforming of the Sequence Diagram into Time-Automata Network”, IMECS 2023, July 5-7, 2023, Hong Kong.
  8. Kamput, A. and Dechsupa, C., “Formal Modelling and Verification of the Traffic Light Control System Design with Time-Automata”, IMECS 2023, July 5-7, 2023, Hong Kong.
  9. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Stepwise Verification for the BPMN with Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net,” IEEE Access, 2022, DOI: 10.1109/ACCESS.2022.3168000, (Q1)
  10. Dechsupa, C., Vatanawood, W., Poolsawadi W., and Thongtak, A., “An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction,” Computers, 10 (12), p.169, 2021, (Q2)
  11. Dechsupa, C., Vatanawood, W. and Thongtak, A., “An Automated Framework for BPMN Model Verification Achieving Branch Coverage”, Engineering Journal, V.25 (2), 2021, (Q2)
  12. Poolsawasdi, W., Dechsupa, C., “Formal Verification of the Accounting Information Interfaces Using Colored Petri Net”, ICEAST 2019, 2-5 July, 2019, Laos
  13. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Compositional Formal Verification for Business Process Models with Heterogeneous Notations Using Colored Petri Net”, IMECS 2019, March 13-15, 2019, Hong Kong. (Best paper award)
  14. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Hierarchical Verification of the BPMN Design Model Using state space analysis”, Journal of IEEE access, v.7, 2019, (Q1)
  15. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Transformation of a BPMN Design Model into Colored Petri Net Using the Partitioning Approach”, Journal of IEEE access, v.6, 2018, (Q1)
  16. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Formal Verification of Web Service Orchestration Using Colored Petri Net”, IMECS 2016, March 16-18, 2016, Hong Kong.
  17. Dechsupa, C., and Limpiyakorn, Y.,” Configuration Management for Integrated Teaming Environment”, International Conference on System Science, Engineering Design and Manufacturing Informatization, 2011, October 22-23, 2011, China.
  18. ชานนท์ เดชสุภา และ ญาใจ ลิ่มปิยะกรณ์, “ระบบจัดการโครงแบบสำหรับสภาพแวดล้อมที่มีการบูรณาการทีมงาน”, Proceedings, International Computer Science and Engineering Conference (ICSEC 2011), September 8-9, 2011, Thailand

More... Research Gate