| 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 | 95 | 2002 |
| 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 | 86 | 2005 |
| Statistical runtime checking of probabilistic properties U Sammapun, I Lee, O Sokolsky, J Regehr International Workshop on Runtime Verification, 164-175, 2007 | 51 | 2007 |
| 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 | 43 | 2004 |
| 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 | 40 | 2006 |
| 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 | 19 | 2017 |
| 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 | 13 | 2005 |
| Formalizing Java-MaC U Sammapun, R Sharykin, M DeLap, M Kim, S Zdancewic Electronic Notes in Theoretical Computer Science 89 (2), 171-190, 2003 | 12 | 2003 |
| 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 | 11 | 2017 |
| Runtime verification for wireless sensor network applications O Sokolsky, U Sammapun, J Regehr, I Lee Dagstuhl Seminar Proceedings, 2008 | 10 | 2008 |
| 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 | 10 | 2005 |
| Regular expressions for run-time verification U Sammapun, O Sokolsky Proceedings of the 1st International Workshop on Automated Technology for …, 2003 | 7 | 2003 |
| 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 | 3 | 2022 |
| 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 | 3 | 2019 |
| Thai Sentiment Lexicon Construction J Intasorn, S Gertphol, U Sammapun 2021 13th International Conference on Knowledge and Smart Technology (KST …, 2021 | 2 | 2021 |
| Monitoring and checking of real-time and probabilistic properties IL ip Lee University of Pennsylvania, 2007 | 2 | 2007 |
| 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 |
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
