Main Page

From Usa's Wiki

Jump to: navigation, search

Contents

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, Mobile Application, Security, GIS, Java, and Open Source Software

Teaching

  • ปีการศึกษา 2554 ภาคปลาย (สื่อการสอนผ่าน M@xLearn และ Facebook Group)
    • 01418232 Algorithm Design and Analysis (สอนร่วมกับ ผศ.ศิริกร จันทร์นวล)
    • 01418476 Software Testing and Verification
    • 01418571 Applied Software Engineering
    • 01219245/246 Individual Software Development Process (co-teaching with Paruj Ratanaworabhan, PhD)

Selected Publications

  • เมธาวรรณ ใจไว และ อุษา สัมมาพันธ์. “การทำนายคุณภาพการให้บริการของเว็บเซอร์วิสด้วยวิธีบอกซ์และเจนกินส์”. In Proceedings of 14th National Computer Science and Engineering Conference (NCSEC 2010), Chiang Mai, Thailand, November 17-19, 2010.
  • 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.


Alma Mater

Miscellaneous

Retrieved from "http://access.cs.sci.ku.ac.th/~usa/wiki/index.php/Main_Page"
Personal tools