Choonghwan Lee

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Computationally Expensive

Information Retrieval

Top Venues

Publications

Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV (2014)
Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu
JavaMOP: Efficient parametric runtime monitoring framework. ICSE (2012)
Choonghwan Lee, Feng Chen, Grigore Rosu
Mining parametric specifications. ICSE (2011)
Ruth E. Duerr, Kent (MuQun) Yang, Choonghwan Lee
Towards a Standard Archival Format for Earth Science Data: Storing NASA ECS Data using HDF5 Archival Information Packages (AIP). IGARSS (4) (2008)