Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. - Moonzoo Kim; Shin Hong; Changki Hong; Taeho Kim (MBT@ETAPS, 2009)

Implementation of compositional scheduling framework on virtualization. - Jungwoo Yang; Hyungseok Kim 002; Sangwon Park; Changki Hong; Insik Shin (SIGBED Rev., 2011)

A checkpoints capturing timing-robust Boolean model of the budding yeast cell cycle regulatory network. - Changki Hong; Minho Lee 002; Dongsup Kim; Dong San Kim; Kwang-Hyun Cho; Insik Shin (BMC Syst. Biol., 2012)

Efficient Transformer-based Knowledge Tracing for a Personalized Language Education Application. - Dae-Eun Kim; Changki Hong; Woo-Hyun Kim (L@S, 2023)