☰

Usa Sammapun, Ph.D. - Publications

Affiliations: 
2007 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Circuits and Computer Engineering
Tree Info Similar researchers PubMed Report error

5 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2006 Sokolsky O, Sammapun U, Lee I, Kim J. Run-Time Checking of Dynamic Properties Electronic Notes in Theoretical Computer Science. 144: 91-108. DOI: 10.1016/J.Entcs.2006.02.006  0.488
2005 Sammapun U, Lee I, Sokolsky O. RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties Proceedings - 11th Ieee International Conference On Embedded and Real-Time Computing Systems and Applications. 147-153. DOI: 10.1109/RTCSA.2005.84  0.389
2005 Sammapun U, Easwaran A, Lee I, Sokolsky O. Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification Electronic Notes in Theoretical Computer Science. 113: 123-143. DOI: 10.1016/J.Entcs.2004.01.030  0.461
2003 Sammapun U, Sharykin R, DeLap M, Kim M, Zdancewic S. Formalizing java-MaC Electronic Notes in Theoretical Computer Science. 89: 175-194. DOI: 10.1016/S1571-0661(04)81048-X  0.483
2002 Kim M, Lee I, Sammapun U, Shin J, Sokolsky O. Monitoring, checking, and steering of real-time systems Electronic Notes in Theoretical Computer Science. 70: 101-117. DOI: 10.1016/S1571-0661(04)80579-6  0.432
Show low-probability matches.