Login / Signup
Nakwon Lee
ORCID
Publication Activity (10 Years)
Years Active: 2014-2021
Publications (10 Years): 1
Top Topics
Reachability Analysis
Abstract Interpretation
Timed Automata
Software Reliability
Top Venues
ISSRE
IEEE Access
</>
Publications
</>
Nakwon Lee
,
Yunho Kim
,
Moonzoo Kim
,
Duksan Ryu
,
Jongmoon Baik
Directed Model Checking for Fast Abstract Reachability Analysis.
IEEE Access
9 (2021)
Jinhee Park
,
Nakwon Lee
,
Jongmoon Baik
On the Long-Term Predictive Capability of Data-Driven Software Reliability Model: An Empirical Evaluation.
ISSRE
(2014)