All publications

All 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, 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.