| 2023 | APSEC | Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. | Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee |
| 2022 | APSEC | Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm. | Esther Cho, Yong-Jun Shin, Sangwon Hyun, Hansu Kim, Doo-Hwan Bae |
| 2022 | SAC | Statistical verification using learned usages for evaluating energy-efficient mobile device design. | Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae |
| 2021 | APSEC | Metamorphic Testing for Reliability in System of Systems. | Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee |
| 2021 | APSEC | Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review. | Yong-Jun Shin, Joon-Young Bae, Doo-Hwan Bae |
| 2021 | FASE | PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems. | Yong-Jun Shin, Eunho Cho, Doo-Hwan Bae |
| 2021 | ICWE | DNN Model Deployment on Distributed Edges. | Eunho Cho, Juyeon Yoon, Daehyeon Baek, Dongman Lee, Doo-Hwan Bae |
| 2021 | QRS | An Empirical Study of Reliability Analysis for Platooning System-of-Systems. | Sangwon Hyun, Lingjun Liu, Hansu Kim, Esther Cho, Doo-Hwan Bae |
| 2021 | SEAMS | Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems. | Yong-Jun Shin, Lingjun Liu, Sangwon Hyun, Doo-Hwan Bae |
| 2020 | APSEC | A Modeling Method for Model-based Analysis and Design of a System-of-Systems. | Young Min Baek, Zelalem Mihret, Yong-Jun Shin, Doo-Hwan Bae |
| 2020 | APSEC | Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning. | Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young Min Baek, Doo-Hwan Bae |
| 2019 | APSEC | Statistical Verification Framework for Platooning System of Systems with Uncertainty. | Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae |
| 2019 | ICSE | A simulation-based behavior analysis for MCI response system of systems. | Sumin Park, Zelalem Mihret, Doo-Hwan Bae |
| 2019 | ICSE | Slicing executable system-of-systems models for efficient statistical verification. | Jiyoung Song, Jacob O. Trring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae |
| 2019 | SAC | Data-driven environment modeling for adaptive system-of-systems. | Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae |
| 2018 | ICSE | A Meta-Model for Representing System-of-Systems Ontologies. | Young Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae |
| 2018 | ICSE | Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults. | Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae |
| 2018 | SAC | ABC | Mingyu Jin, Donghwan Shin, Doo-Hwan Bae |
| 2017 | APSEC | SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. | Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae |
| 2017 | ICSE | Mutation Analysis for System of Systems Policy Testing. | Wonkyung Yun, Donghwan Shin, Doo-Hwan Bae |
| 2016 | APSEC | Automated Test Sequence Generation for Function Block Diagram Programs. | Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae |
| 2016 | ICSE | Modeling and verification for different types of system of systems using PRISM. | Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae |
| 2016 | ICST | A Theoretical Framework for Understanding Mutation-Based Testing Methods. | Donghwan Shin, Doo-Hwan Bae |
| 2016 | ICST | Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability. | Donghwan Shin, Shin Yoo, Doo-Hwan Bae |
| 2016 | SAC | Characterizing non-deadlock concurrency bug fixes in open-source Java programs. | Misun Yu, Yu-Seung Ma, Doo-Hwan Bae |
| 2015 | APSEC | Quality Based Software Project Staffing and Scheduling with Budget and Deadline. | Dongwon Seo, Donghwan Shin, Doo-Hwan Bae |
| 2015 | APSEC | Quality Based Software Project Staffing and Scheduling with Cost Bound. | Dongwon Seo, Donghwan Shin, Doo-Hwan Bae |
| 2015 | COMPSAC | Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. | Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae |
| 2014 | APSEC | An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation. | Ah-Rim Han, Doo-Hwan Bae |
| 2014 | SAC | Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. | Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae |
| 2014 | SEKE | Practical Human Resource Allocation in Software Projects Using Genetic Algorithm. | Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae |
| 2013 | PDCAT | SimpleLock: Fast and Accurate Hybrid Data Race Detector. | Misun Yu, Sang-Kyung Yoo, Doo-Hwan Bae |
| 2012 | ISSRE | On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study. | Gigon Bae, Gregg Rothermel, Doo-Hwan Bae |
| 2012 | MODELS | Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. | Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae |
| 2012 | MSR | An empirical study of supplementary bug fixes. | Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae |
| 2011 | ICCSA | Process Instance Management Facilities Based on the Meta Process Models. | Seunghun Park, Sang-Yoon Min, Doo-Hwan Bae |
| 2011 | SAC | Identifying properties of UML state machine diagrams that affect data and control dependence. | HyeonJeong Kim, Vidroha Debroy, Doo-Hwan Bae |
| 2010 | APSEC | Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis. | HyeonJeong Kim, W. Eric Wong, Vidroha Debroy, Doo-Hwan Bae |
| 2010 | COMPSAC | Software Fault Prediction Models for Web Applications. | Le Truong Giang, Dongwon Kang, Doo-Hwan Bae |
| 2010 | COMPSAC | Filtering of Inconsistent Software Project Data for Analogy-Based Effort Estimation. | Tuan Khanh Le-Do, Kyung-A Yoon, Yeong-Seok Seo, Doo-Hwan Bae |
| 2009 | APSEC | Improving the Accuracy of Software Effort Estimation Based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning. | Yeong-Seok Seo, Kyung-A Yoon, Doo-Hwan Bae |
| 2009 | APSEC | A Graph Based Approach to Detecting Causes of Implied Scenarios under the Asynchronous and Synchronous Communication Styles. | In-Gwon Song, Sang-Uk Jeon, Doo-Hwan Bae |
| 2008 | APSEC | A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity. | Dongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, Nobok Lee |
| 2008 | CaiSE | Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models. | Seunghun Park, HyeonJeong Kim, Dongwon Kang, Doo-Hwan Bae |
| 2008 | COMPSAC | Behavioral Dependency Measurement for Change-Proneness Prediction in UML 2.0 Design Models. | Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui Hong |
| 2007 | APSEC | Deriving Software Process Simulation Model from SPEM-based Software Process Model. | Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae |
| 2007 | APSEC | An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics. | Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae |
| 2007 | COMPSAC | Software Process Improvement for Small Organizations. | Doo-Hwan Bae |
| 2007 | ESEM | An Approach to Outlier Detection of Software Measurement Data using the K-means Clustering Method. | Kyung-A Yoon, Oh-Sung Kwon, Doo-Hwan Bae |
| 2006 | APSEC | Using Operational Architecture to Model Embedded Software. | Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae |
| 2006 | ICSoft | Modelling the unexpected behaviours of embedded software using uml sequence diagrams. | Hee-Jin Lee, In-Gwon Song, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui Hong |
| 2006 | ISORC | Interaction-Based Behavior Modeling of Embedded Software using UML 2.0. | Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae |
| 2005 | SEKE | Dynamically Evolvable Composition of Aspects Based On Relation Model. | Ik-Joo Han, Doo-Hwan Bae |
| 2005 | SEKE | Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development. | Tegegne Marew, Jungyoon Kim, Doo-Hwan Bae |
| 2004 | COMPSAC | An Approach to Feature Based Modelling by Dependency Alignment for the Maintenance of the Trustworthy System. | Jungyoon Kim, Doo-Hwan Bae |
| 2002 | APSEC | An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs. | Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae |
| 2001 | APSEC | Framework for Third Party Testing of Component Software. | Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon |
| 2001 | APSEC | Tailoring and Verifying Software Process. | Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae |
| 2000 | COMPSAC | Reliable Transaction Design Using MTS. | Il-Chul Yoon, Hyung-Ho Kim, Doo-Hwan Bae, Cheong Youn |
| 1999 | APSEC | An Operational Component Specification Method. | Hyung-Ho Kim, Doo-Hwan Bae, Dong Kwan Kim, Hyo Taeg Jung, Yun Dae Chung |
| 1999 | ISADS | Applying Model Checking to Concurrent Object-Oriented Software. | Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim |
| 1999 | ISADS | Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). | Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae |
| 1999 | SAFECOMP | Safety Verification of Ada95 Programs Using Software Fault Trees. | Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae |
| 1998 | APSEC | Change Impact Analysis for A Class Hierarchy. | Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae |
| 1998 | COMPSAC | Object-Oriented Model Refinement Technique in Software Reengineering. | Wei-Jin Park, Sang-Yoon Min, Doo-Hwan Bae, Pyeong-Soo Mah |
| 1997 | APSEC | An Approach to Software Process Management Based on Formal Process Modeling and Analysis. | Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae |
| 1997 | COMPSAC | Task.o object modeling approach for robot workcell programming. | Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae |
| 1997 | ISADS | A client-oriented distribution architecture for Web search agents. | Hyunsuk Seung, Doo-Hwan Bae |
| 1995 | COMPSAC | An Architecture-Independent Software Development Approach for Parallel Processing Systems. | Stephen S. Yau, Doo-Hwan Bae, Jun Wang |
| 1995 | ISADS | An object-oriented software development framework for autonomous decentralized systems. | Stephen S. Yau, Keunhyuk Yeom, Bing Gao, Ling Li, Doo-Hwan Bae |
| 1994 | COMPSAC | An approach to object-oriented requirements verification in software development for distributed computing systems. | Stephen S. Yau, Doo-Hwan Bae, Keunhyuk Yeom |
| 1992 | COMPSAC | A partitioning approach for object-oriented software development for parallel processing systems. | Stephen S. Yau, Doo-Hwan Bae, Gilda Pour |
| 1991 | COMPSAC | An object-oriented approach to software development for parallel processing systems. | Stephen S. Yau, Xiaoping Jia, Doo-Hwan Bae, Madhan Chidambaram, Gil-Ho Oh |