| 2007 |
|---|
| 8 | EE | Usa Sammapun,
Insup Lee,
Oleg Sokolsky,
John Regehr:
Statistical Runtime Checking of Probabilistic Properties.
RV 2007: 164-175 |
| 7 | EE | Oleg Sokolsky,
Usa Sammapun,
John Regehr,
Insup Lee:
Runtime Verification for Wireless Sensor Network Applications.
Runtime Verification 2007 |
| 2006 |
|---|
| 6 | EE | Oleg Sokolsky,
Usa Sammapun,
Insup Lee,
Jesung Kim:
Run-Time Checking of Dynamic Properties.
Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006) |
| 2005 |
|---|
| 5 | EE | Usa Sammapun,
Insup Lee,
Oleg Sokolsky:
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.
RTCSA 2005: 147-153 |
| 4 | EE | Usa Sammapun,
Arvind Easwaran,
Insup Lee,
Oleg Sokolsky:
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Electr. Notes Theor. Comput. Sci. 113: 123-143 (2005) |
| 2004 |
|---|
| 3 | EE | Margaret DeLap,
Björn Knutsson,
Honghui Lu,
Oleg Sokolsky,
Usa Sammapun,
Insup Lee,
Christos Tsarouchis:
Is runtime verification applicable to cheat detection?
NETGAMES 2004: 134-138 |
| 2003 |
|---|
| 2 | EE | Usa Sammapun,
Raman Sharykin,
Margaret DeLap,
Myong Kim,
Steve Zdancewic:
Formalizing Java-MaC.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 2002 |
|---|
| 1 | EE | Moonjoo Kim,
Insup Lee,
Usa Sammapun,
Jangwoo Shin,
Oleg Sokolsky:
Monitoring, Checking, and Steering of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
