Login / Signup
So Jin Ahn
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 3
Top Topics
Software Engineering
Security Enforcement
Java Card
Verification Method
Top Venues
IEICE Trans. Inf. Syst.
J. Log. Algebraic Methods Program.
IEICE Trans. Commun.
</>
Publications
</>
Junkil Park
,
Insup Lee
,
Oleg Sokolsky
,
Dae-Yon Hwang
,
So Jin Ahn
,
Jin-Young Choi
,
Inhye Kang
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.
J. Log. Algebraic Methods Program.
92 (2017)
So Jin Ahn
,
Dae-Yon Hwang
,
Miyoung Kang
,
Jin-Young Choi
Hierarchical System Schedulability Analysis Framework Using UPPAAL.
IEICE Trans. Inf. Syst.
(8) (2016)
Miyoung Kang
,
Jin-Young Choi
,
Inhye Kang
,
Hee-Hwan Kwak
,
So Jin Ahn
,
Myung-Ki Shin
A Verification Method of SDN Firewall Applications.
IEICE Trans. Commun.
(7) (2016)