Follow
Usa Sammapun
Usa Sammapun
Verified email at ku.th
Title
Cited by
Cited by
Year
Monitoring, checking, and steering of real-time systems
M Kim, I Lee, U Sammapun, J Shin, O Sokolsky
Electronic Notes in Theoretical Computer Science 70 (4), 95-111, 2002
962002
RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties
U Sammapun, I Lee, O Sokolsky
11th IEEE International Conference on Embedded and Real-Time Computing …, 2005
862005
Statistical runtime checking of probabilistic properties
U Sammapun, I Lee, O Sokolsky, J Regehr
International Workshop on Runtime Verification, 164-175, 2007
502007
Is runtime verification applicable to cheat detection?
M DeLap, B Knutsson, H Lu, O Sokolsky, U Sammapun, I Lee, ...
Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for …, 2004
422004
Run-time checking of dynamic properties
O Sokolsky, U Sammapun, I Lee, J Kim
Electronic Notes in Theoretical Computer Science 144 (4), 91-108, 2006
402006
Extracting UML class diagrams from software requirements in Thai using NLP
M Jaiwai, U Sammapun
2017 14th International Joint Conference on Computer Science and Software …, 2017
172017
Simulation of simultaneous events in regular expressions for run-time verification
U Sammapun, A Easwaran, I Lee, O Sokolsky
Electronic Notes in Theoretical Computer Science 113, 123-143, 2005
132005
Formalizing Java-MaC
U Sammapun, R Sharykin, M DeLap, M Kim, S Zdancewic
Electronic Notes in Theoretical Computer Science 89 (2), 171-190, 2003
122003
Analyzing user reviews in Thai language toward aspects in mobile applications
B Deewattananon, U Sammapun
2017 14th International Joint Conference on Computer Science and Software …, 2017
112017
Runtime verification for wireless sensor network applications
O Sokolsky, U Sammapun, J Regehr, I Lee
Dagstuhl Seminar Proceedings, 2008
102008
Checking correctness at runtime using real-time Java
U Sammapun, I Lee, O Sokolsky
Proc. 3rd Workshop on Java Technologies for Real-time and Embedded Systems …, 2005
102005
Regular expressions for run-time verification
U Sammapun, O Sokolsky
Proceedings of the 1st International Workshop on Automated Technology for …, 2003
72003
Prediction Sequence Patterns of Tourist from the Tourism Website by Hybrid Deep Learning Techniques
J Kanjanasupawan, A Srivihok, W Suwannik, U Sammapun
Engineering Journal 26 (7), 35-48, 2022
22022
On secret management and handling in mobile application development life cycle: A position paper
P Bunyakiati, U Sammapun
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
22019
Monitoring and checking of real-time and probabilistic properties
IL ip Lee
University of Pennsylvania, 2007
22007
Thai Sentiment Lexicon Construction
J Intasorn, S Gertphol, U Sammapun
2021 13th International Conference on Knowledge and Smart Technology (KST …, 2021
12021
Open-Source Projects and their Collaborative Development Workflows
P Bunyakiati, U Sammapun
arXiv preprint arXiv:1909.00642, 2019
2019
On Selecting Collaborative Modeling Tools
U Sammapun, P Bunyakiati
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–18