Seguir
Usa Sammapun
Usa Sammapun
Dirección de correo verificada de ku.th
Título
Citado por
Citado por
Año
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
492007
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
162017
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
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
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
12022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18