​
Login / Signup
Jung Ho Bae
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 2
Top Topics
State Machine
Petri Net
Revenue Sharing
Fault Tolerant
Top Venues
Inf. Softw. Technol.
Softw. Syst. Model.
IEEE Access
</>
Publications
</>
Jung Ho Bae
,
Hoseong Jung
,
Seogbong Kim
,
Sungho Kim
,
Yong-Duk Kim
Deep Reinforcement Learning-Based Air-to-Air Combat Maneuver Generation in a Realistic Environment.
IEEE Access
11 (2023)
Jung Ho Bae
,
Heung Seok Chae
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments.
Softw. Syst. Model.
15 (3) (2016)
Jung Ho Bae
,
Heung Seok Chae
,
Carl K. Chang
A metric towards evaluating understandability of state machines: An empirical study.
Inf. Softw. Technol.
55 (12) (2013)
Jung Ho Bae
,
Yeon Ji Jeong
,
Heung Seok Chae
,
Carl K. Chang
Semantics Based Cohesion and Coupling Metrics for Evaluating Understandability of State Diagrams.
COMPSAC
(2011)
Heung Seok Chae
,
Joon-Sang Lee
,
Jung Ho Bae
Checking Behavioral Compatibility between Objects by Extending the Methods Rule.
IEICE Trans. Inf. Syst.
(1) (2011)
Heung Seok Chae
,
Gyun Woo
,
Tae Yeon Kim
,
Jung Ho Bae
,
Won-Young Kim
An automated approach to reducing test suites for testing retargeted C compilers for embedded systems.
J. Syst. Softw.
84 (12) (2011)
Jung Ho Bae
,
Heung Seok Chae
An Automatic Approach to Generating State Diagram from Contract-Based Class.
ECBS
(2009)
Heung Seok Chae
,
Joon-Sang Lee
,
Jung Ho Bae
An Approach to Checking Behavioral Compatibility between Web Services.
Int. J. Softw. Eng. Knowl. Eng.
18 (2) (2008)
Jung Ho Bae
,
KwangMin Lee
,
Heung Seok Chae
Modularization of the UML Metamodel Using Model Slicing.
ITNG
(2008)
Jung Ho Bae
,
Heung Seok Chae
UMLSlicer: A tool for modularizing the UML metamodel using slicing.
CIT
(2008)