So Jin Ahn

According to our database, So Jin Ahn authored at least 3 papers between 2016 and 2017.

Collaborative distances:

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

2017

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

Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang

J. Log. Algebraic Methods Program., 2017

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

Hierarchical System Schedulability Analysis Framework Using UPPAAL.

So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi

IEICE Trans. Inf. Syst., 2016