Hierarchical System Schedulability Analysis Framework Using UPPAAL. - So Jin Ahn; Dae-Yon Hwang; Miyoung Kang; Jin-Young Choi (IEICE Trans. Inf. Syst., 2016)

A Verification Method of SDN Firewall Applications. - Miyoung Kang; Jin-Young Choi; Inhye Kang; Hee-Hwan Kwak; So Jin Ahn; Myung-Ki Shin (IEICE Trans. Commun., 2016)

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. - Junkil Park; Insup Lee 001; Oleg Sokolsky; Dae-Yon Hwang; So Jin Ahn; Jin-Young Choi; Inhye Kang (J. Log. Algebraic Methods Program., 2017)