Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models. - Seunghun Park; HyeonJeong Kim; Dongwon Kang; Doo-Hwan Bae (CIAO! / EOMAS, 2008)

Developing a software process simulation model using SPEM and analytical models. - Seunghun Park; HyeonJeong Kim; Dongwon Kang; Doo-Hwan Bae (Int. J. Simul. Process. Model., 2008)

Change Impact Analysis of a Software Process Using Process Slicing. - Seunghun Park; HyeonJeong Kim; Doo-Hwan Bae (QSIC, 2009)

Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis. - HyeonJeong Kim; W. Eric Wong; Vidroha Debroy; Doo-Hwan Bae (APSEC, 2010)

Recent Catastrophic Accidents: Investigating How Software was Responsible. - W. Eric Wong; Vidroha Debroy; Adithya Surampudi; HyeonJeong Kim; Michael F. Siok (SSIRI, 2010)

Identifying properties of UML state machine diagrams that affect data and control dependence. - HyeonJeong Kim; Vidroha Debroy; Doo-Hwan Bae (SAC, 2011)

Deriving Data Dependence from/for UML State Machine Diagrams. - HyeonJeong Kim; Doo-Hwan Bae; Vidroha Debroy; W. Eric Wong (SSIRI, 2011)