# | Document title | Authors | Year | Source | Cited by |
1 | RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties | Sammapun U., Lee I., Sokolsky O. | 2005 | Proceedings - 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ,pp. 147-153 | 46 |
2 | Monitoring, checking, and steering of real-time systems | Kim M., Lee I., Sammapun U., Shin J., Sokolsky O. | 2002 | Electronic Notes in Theoretical Computer Science 70(4),pp. 95-111 | 34 |
3 | Statistical runtime checking of probabilistic properties | Sammapun U., Lee I., Sokolsky O., Regehr J. | 2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4839 LNCS,pp. 164-175 | 33 |
4 | Run-Time Checking of Dynamic Properties | Sokolsky O., Sammapun U., Lee I., Kim J. | 2006 | Electronic Notes in Theoretical Computer Science 144(4 SPEC. ISS.),pp. 91-108 | 16 |
5 | Is runtime verification applicable to cheat detection? | Delap M., Knutsson B., Lu H., Sokolsky O., Sammapun U., Lee I., Tsarouchis C. | 2004 | Proceedings of the ACM SIGCOMM 2004 Workshops ,pp. 134-138 | 15 |
6 | Extracting UML class diagrams from software requirements in Thai using NLP | Jaiwai M., Sammapun U. | 2017 | Proceedings of the 2017 14th International Joint Conference on Computer Science and Software Engineering, JCSSE 2017
| 13 |
7 | Analyzing user reviews in Thai language toward aspects in mobile applications | Deewattananon B., Sammapun U. | 2017 | Proceedings of the 2017 14th International Joint Conference on Computer Science and Software Engineering, JCSSE 2017
| 9 |
8 | Is runtime verification applicable to cheat detection? | DeLap M., Knutsson B., Lu H., Sokolsky O., Sammapun U., Lee I., Tsarouchis C. | 2004 | Proceedings of the ACM SIGCOMM Workshop on Network and System Support for Games, NetGames'04 ,pp. 134-138 | 9 |
9 | Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification | Sammapun U., Easwaran A., Lee I., Sokolsky O. | 2005 | Electronic Notes in Theoretical Computer Science 113(SPEC. ISS.),pp. 123-143 | 6 |
10 | Formalizing java-MaC | Sammapun U., Sharykin R., DeLap M., Kim M., Zdancewic S. | 2003 | Electronic Notes in Theoretical Computer Science 89(2),pp. 171-190 | 3 |
11 | Prediction Sequence Patterns of Tourist from the Tourism Website by Hybrid Deep Learning Techniques | Kanjanasupawan J., Srivihok A., Suwannik W., Sammapun U. | 2022 | Engineering Journal 26(7),pp. 35-48 | 3 |
12 | On secret management and handling in mobile application development life cycle: A position paper | Bunyakiati P., Sammapun U. | 2019 | Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2019 ,pp. 77-80 | 2 |
13 | Thai Sentiment Lexicon Construction | Intasorn J., Gertphol S., Sammapun U. | 2021 | KST 2021 - 2021 13th International Conference Knowledge and Smart Technology ,pp. 123-128 | 1 |
14 | Runtime Verification for Wireless Sensor Network Applications | Sammapun U., Regehr J., Lee I., Sokolsky O. | 2008 | Dagstuhl Seminar Proceedings 7011 | 1 |
15 | On Selecting Collaborative Modeling Tools | Sammapun U., Bunyakiati P. | 2018 | Proceedings - International Computer Software and Applications Conference 1,pp. 791-792 | 0 |