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 ที่ ku
Schedule: my calendar

Research Interests

Software Engineering, Software Verification, Software Testing, Software Design and Development, Software Quality, Formal Methods, Program Analysis, Programming Languages, Security, GIS, (and secretly in love with Java).

Teaching

  • ปีการศึกษา 2551 ภาคปลาย
    • 418113 Computer and Information Technology (บรรยาย)
    • 418323 Software Analysis and Design (co-teaching with อ.สมโชค เรืองอิทธินันท์)
    • 418497 สัมมนา ป.ตรี
    • 418573 Software Testing
  • TA
    • CSE 401 Senior Design Projects, Penn (2003)
    • CSE 380 Operating Systems, Penn (2002)
    • CSE 372 Computer Organization and Design Lab, Penn (2000)

ข้อมูลสำหรับนิสิตในที่ปรึกษา

Publications

  • 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, Oleg Sokolsky, and John Regehr, “Statistical Runtime Checking of Probabilistic Properties,” in Proceedings of the 7th Workshop on Run-time Verification, LNCS 4839, pp. 164-175, Vancouver, B.C., Canada, March 13, 2007
  • Usa Sammapun, Insup Lee, and Oleg Sokolsky, “Checking Correctness at Runtime using Real-Time Java,” in Proceedings of the 3rd Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES’05), San Diego, CA, October 17, 2005.
  • 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.
  • Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky, “Simulation of Simultaneous Events in Regular Expressions for Runtime Verification,” in Proceeding of the 4th International Workshop on Runtime Verification (RV’04), Barcelona, Spain, April 3, 2004; Electronic Notes in Theoretical Computer Science, vol. 113, Elsevier, 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 and Oleg Sokolsky, “Regular Expressions for Run-Time Verification,” in Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA’03), Taipei, Taiwan, December 10-12, 2003.
  • 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.
  • Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, and Oleg Sokolsky, “Monitoring, Checking, and Steering of Real-Time Systems,” in Proceedings of the 2nd International Workshop on Runtime Verification (RV’02), Copenhagen, Denmark, July 26, 2002; Electronic Notes in Theoretical Computer Science, vol. 70, No. 4, Elsevier, 2002.

Presentations

Alma Mater

Miscellaneous

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