Usa Sammapun

RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties

Usa Sammapun, I. Lee, Oleg Sokolsky · 2006 · 63 citations

Engineering, Verification, Computer-aided Verification +23

Monitoring, Checking, and Steering of Real-Time Systems

Moonjoo Kim, Insup Lee, Usa Sammapun et al. · Electronic Notes in Theoretical Computer Science · 2002 · 56 citations · Full text

Program Checking, Engineering, Verification +20

Is runtime verification applicable to cheat detection?

Margaret DeLap, Björn Knutsson, Honghui Lu et al. · 2004 · 32 citations

Program Checking, Engineering, Verification +16

Run-Time Checking of Dynamic Properties

Oleg Sokolsky, Usa Sammapun, Insup Lee et al. · Electronic Notes in Theoretical Computer Science · 2006 · 29 citations · Full text

Engineering, Verification, Attribute Quantifiers +19

Extracting UML class diagrams from software requirements in Thai using NLP

Mathawan Jaiwai, Usa Sammapun · 2017 · 13 citations

Engineering, Requirement Modeling, Uml Diagrams +22