S. Ahn

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

Insup Lee, Oleg Sokolsky, Jin-Young Choi, 2017, J. Log. Algebraic Methods Program..

A Verification Method of SDN Firewall Applications

Myung-Ki Shin, Jin-Young Choi, Inhye Kang, 2016, IEICE Trans. Commun..