Main Page

Usa Sammapun (อุษา สัมมาพันธ์)
Department of Computer Science Faculty of Science Kasetsart University 50 Phahon Yothin Rd, Chatuchak, Bangkok 10900, Thailand

Office: SMC 111 Phone: +66-2-562-5555 ext 4315 Email: fsciusa ที่ เกษตร Schedule: my calendar Association: oss4corp

Research Interests
Software Engineering, Software Verification, Software Testing, Software Design and Development, Software Quality, Process Improvement, Formal Methods, Program Analysis, Programming Languages, Program Security, Mobile Application, GIS, Java, and Open Source Software

Teaching

 * ปีการศึกษา 2556 ภาคต้น
 * 01418217 Software Construction (สอนร่วมกับ รศ.ดร.ชุลีรัตน์ จรัสกุลชัย)
 * 418342 Web Application Programming
 * 01418471 Software Design and Development (บน maxlearn และ facebook)
 * 418498 Special Problems


 * ปีการศึกษา 2556 ภาคฤดูร้อน
 * 01418496 Database


 * ปีการศึกษา 2555 ภาคปลาย
 * 01418232 Algorithm Design and Analysis (สอนร่วมกับ ผศ.ศิริกร จันทร์นวล)
 * 01418476 Software Testing and Verification
 * 418116 Computer Programming
 * 01219245/246 Individual Software Development Process (co-teaching with Paruj Ratanaworabhan, PhD)


 * ปีการศึกษา 2555 ภาคต้น
 * 01418471 Software Design and Development


 * งานสอนที่ผ่านมา

Selected Publications

 * Chuaphet, T., and U. Sammapun. 2012. Model-based testing for Android applications. In Proc. 2012 International Computer Science and Engineering Conference (ICSEC), 83-88.
 * Kaewthong, K., and U. Sammapun. 2012. Predicting behaviors that lead to failures using Bayesian networks. In Proc. 2012 International Computer Science and Engineering Conference (ICSEC), 21-26.
 * เมธาวรรณ ใจไว และ อุษา สัมมาพันธ์. 2553. การทำนายคุณภาพการให้บริการของเว็บเซอร์วิสด้วยวิธีบอกซ์และเจนกินส์. In Proc. 14th National Computer Science and Engineering Conference (NCSEC 2010), 31-36.
 * Oleg Sokolsky, Usa Sammapun, John Regehr, and Insup Lee, “Runtime Verification for Wireless Sensor Network Applications,” in Proceedings of the Dagstuhl Seminar, Schloss Dagstuhl, Germany, 2007.
 * Usa Sammapun, "Monitoring and checking of real-time and probabilistic properties", PhD Dissertation, 2007. (Abstract)
 * Usa Sammapun, Insup Lee, and Oleg Sokolsky, “RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties,” in Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’05), Hong Kong, August 17-19, 2005.
 * Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim, “Run-Time Checking of Dynamic Properties,” in Proceeding of the 5th International Workshop on Runtime Verification (RV’05), Edinburgh, Scotland, UK, July 12, 2005.
 * Margaret DeLap, Bjorn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Christos Tsarouchis, “Is Runtime Verification Applicable to Cheat Detection?,” in Proceedings of ACM SIGCOMM 2004 Workshops on Network and System Support for Games (NetGames’04), 2004.
 * Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, and Steve Zdancewic, “Formalizing Java-MaC,” in Proceedings of the 3rd International Workshop on Runtime Verification (RV’03), Boulder, Colorado, July 13, 2003; Electronic Notes in Theoretical Computer Science, vol. 89, No. 2, Elsevier, 2003.


 * All publications

Alma Mater

 * University of Pennsylvania


 * Peddie School
 * สาธิตประสานมิตร (มัธยม) และ สาธิตประสานมิตร (ประถม)