Login / Signup
Dae-Yon Hwang
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Formal Model
Modeling Framework
Analysis Tool
Real Time Systems
Top Venues
IEICE Trans. Inf. Syst.
ICST
J. Log. Algebraic Methods Program.
</>
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
,
Eun-Young Kang
,
Dae-Yon Hwang
,
Beom-Jin Kim
,
Ki-Hyuk Nam
,
Myung-Ki Shin
,
Jin-Young Choi
Formal Modeling and Verification of SDN-OpenFlow.
ICST
(2013)