Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. - Denduang Pradubsuwun; Tomohiro Yoneda; Chris J. Myers (IEICE Trans. Inf. Syst., 2005)

Formal verification of ABAP by Z specification. - Soravit Rodruksa; Denduang Pradubsuwun (JCSSE, 2017)

Association Extraction from Functional Testing Scenarios. - Pakorn Leesutthipornchai; Denduang Pradubsuwun (IECC, 2019)