ข้อมูลคณาจารย์

ผศ.ดร. เด่นดวง ประดับสุวรรณ

วุฒิการศึกษา:

  • D.Eng. (Computer Science) Tokyo Institute of Technology, Japan.
  • M.Sc. (Computer Science) Chulalongkorn University.
  • B.Sc. (Computer Science) 2nd Class Honors Ramkhamhaeng University.

 

งานวิจัยที่สนใจ:

  • Formal Verification

 

Conferences (ตั้งแต่ปี ค.ศ.2013 จนถึงปัจจุบัน)

  • Pakorn Leesuthipornchai and Denduang Pradubsuwun. “A Test Generation for Structural Testing on Mobile Applications”. International Conference on Engineering and Natural Science (ICENS-Summer 2017). 2017.
  • Soravit Rodruksa and Denduang Pradubsuwun. “Formal Verification of ABAP by Z Specification”. The 14th International Joint Conference on Computer Science and Software Engineering (JCSSE2017). 2017.
  • Anuchit Prasertsang and Denduang Pradubsuwun. “Formal Verification of Concurrency in GO”. The 13th International Joint Conference on Computer Science and Software Engineering (JCSSE2016). 2016.
  • Chittra Roungroongsom and Denduang Pradubsuwun. “Formal Verification of JADE Behaviour: A Modeling Approach”. The 12th International Joint Conference on Computer Science and Software Engineering (JCSSE2015). 2015.
  • Nuntanut Bhooanusas and Denduang Pradubsuwun, “Implementing Concurrency Errors Detector in JavaScript Web Applications”. The 2nd International Conference of Engineering and Natural Science (ICENS2015). 2015.
  • Chittra Roungroongsom and Denduang Pradubsuwun. “Formal Verification of Multi-agent System based on JADE: A Semi-runtime Approach”. The 11th International Conference on Computing and Information Technology (IC2IT2015). 2015 (published by Springer in the Recent Advances in Information and Communication Technology series.).
  • Warush Leekasem and Denduang Pradubsuwun. “Formal Verification of Gearman Framework based on PHP”. The 7th International Conference on Engineering and Technology (ICET2015), pp.48-51. 2015.
  • N. Bhooanusas and D. Pradubsuwun, “Formal verification of concurrency errors in JavaScript web applications”. International Conference on Network Security and Communication Engineering (NSCE 2014). 2014.
  • Denduang Pradubsuwun. “Hierarchical Verification of WS-BPEL”. 2014 International computer Science and Engineering Conference (ICSEC 2014) International Track, pp.484-488. 2014.
  • Denduang Pradubsuwun and Wutthipong Kongburan. “Partial Order Reduction for Verification of WS-BPEL”. International Journal of Modeling and Optimization, Vol.4, No.3. June 2014.
  • Wutthipong Kongburan and Denduang Pradubsuwun. “Formal Verification of WS-BPEL using Timed Trace Theory”. The 5th KKU International Engineering Conference. 2014.

 

ติดต่อ: 

อีเมล :  denduang@staff.tu.ac.th

ภาควิชาวิทยาการคอมพิวเตอร์ คณะวิทยาศาสตร์และเทคโนโลยี มหาวิทยาลัยธรรมศาสตร์ ศูนย์รังสิต คลองหลวง ปทุมธานี 12120

 

กลับหน้ารวม