Choonghwan Lee

According to our database, Choonghwan Lee authored at least 5 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Preparation-free and comprehensive runtime verification tool for testing Java programs

Choonghwan Lee

PhD thesis, 2013

2012

JavaMOP: Efficient parametric runtime monitoring framework.

Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Mining parametric specifications.

Choonghwan Lee, Feng Chen, Grigore Rosu

Proceedings of the 33rd International Conference on Software Engineering, 2011

2008

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

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008