Timer Embedded Finite State Machine Modeling And Its Application. - Duckwoong Lee; Byoung Kyu Choi; Joohoe Kong (ECMS, 2010)

DEVS modeling of urban traffic systems (WIP). - Donghun Kang; Joohoe Kong; Byoung Kyu Choi (SpringSim (TMS-DEVS), 2012)

Simulation-based operation management of outpatient departments in university hospitals. - Byoung Kyu Choi; Donghun Kang; Joohoe Kong; Hyeonsik Kim; Arwa A. Jamjoom; Aisha M. Mogbil; Thoria A. Alghamdi (WSC, 2013)