On Verification of Linear Occurrence Properties of Real-Time Systems. - Choe Changil; Dang Van Hung (TTSS, 2007)

A Method for Selecting Noun Sense using Co-occurrence Relation in English-Korean Translation - Hyonil Kim; Choe Changil (CoRR, 2012)

SDMS-based Disk Encryption Method - Dokjun An; Myongchol Ri; Changil Choe; Sunam Han; Yongmin Kim 004 (CoRR, 2012)

Formal Design and Verification of N-M Switching Control System - Changil Choe; Hyejong Hong; Kukhwan Kim (CoRR, 2012)

Towards Approximate Model Checking DC and PDC Specifications - Changil Choe; Dang Van Hung; Song Han 005 (CoRR, 2012)

Checking Integral Real-Time Automata for Extended Linear Duration Invariants. - Changil Choe; Univan Ahn; Song Han 005 (FTSCS, 2014)