Choe Changil

According to our database, Choe Changil authored at least 6 papers between 2007 and 2014.

Collaborative distances:

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

2014

Checking Integral Real-Time Automata for Extended Linear Duration Invariants.

Changil Choe, Univan Ahn, Song Han

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2012

Towards Approximate Model Checking DC and PDC Specifications

Changil Choe, Dang Van Hung, Song Han

CoRR, 2012

Formal Design and Verification of N-M Switching Control System

Changil Choe, Hyejong Hong, Kukhwan Kim

CoRR, 2012

SDMS-based Disk Encryption Method

Dokjun An, Myongchol Ri, Changil Choe, Sunam Han, Yongmin Kim

CoRR, 2012

A Method for Selecting Noun Sense using Co-occurrence Relation in English-Korean Translation

Hyonil Kim, Choe Changil

CoRR, 2012

2007

On Verification of Linear Occurrence Properties of Real-Time Systems.

Choe Changil, Dang Van Hung

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007