Towards a Standard Archival Format for Earth Science Data: Storing NASA ECS Data using HDF5 Archival Information Packages (AIP). - Ruth E. Duerr; Kent (MuQun) Yang; Choonghwan Lee (IGARSS (4), 2008)

Mining parametric specifications. - Choonghwan Lee; Feng Chen 006; Grigore Rosu (ICSE, 2011)

JavaMOP: Efficient parametric runtime monitoring framework. - Dongyun Jin; Patrick O'Neil Meredith; Choonghwan Lee; Grigore Rosu (ICSE, 2012)

Preparation-free and comprehensive runtime verification tool for testing Java programs - Choonghwan Lee (2013)

RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. - Qingzhou Luo; Yi Zhang; Choonghwan Lee; Dongyun Jin; Patrick O'Neil Meredith; Traian-Florin Serbanuta; Grigore Rosu (RV, 2014)