An object-oriented approach to software development for parallel processing systems. - Stephen S. Yau; Xiaoping Jia; Doo-Hwan Bae; Madhan Chidambaram; Gil-Ho Oh (COMPSAC, 1991)

PROOF: A Parallel Object-Oriented Functional Computation Model. - Stephen S. Yau; Xiaoping Jia; Doo-Hwan Bae (J. Parallel Distributed Comput., 1991)

A partitioning approach for object-oriented software development for parallel processing systems. - Stephen S. Yau; Doo-Hwan Bae; Gilda Pour (COMPSAC, 1992)

Software design methods for distributed computing systems. - Stephen S. Yau; Xiaoping Jia; Doo-Hwan Bae (Comput. Commun., 1992)

Object-oriented development of architecture transparent software for distributed parallel systems. - Stephen S. Yau; Doo-Hwan Bae; Madhan Chidambaram (Comput. Commun., 1993)

An approach to object-oriented requirements verification in software development for distributed computing systems. - Stephen S. Yau; Doo-Hwan Bae; Keunhyuk Yeom (COMPSAC, 1994)

Object-oriented and functional software design for distributed real-time systems. - Stephen S. Yau; Doo-Hwan Bae (Comput. Commun., 1994)

An Architecture-Independent Software Development Approach for Parallel Processing Systems. - Stephen S. Yau; Doo-Hwan Bae; Jun Wang (COMPSAC, 1995)

An object-oriented software development framework for autonomous decentralized systems. - Stephen S. Yau; Keunhyuk Yeom; Bing Gao; Ling Li; Doo-Hwan Bae (ISADS, 1995)

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 (APSEC, 1997)

Task.o object modeling approach for robot workcell programming. - Gyu-Tae Kim; Sung Deok Cha; Doo-Hwan Bae (COMPSAC, 1997)

A client-oriented distribution architecture for Web search agents. - Hyunsuk Seung; Doo-Hwan Bae (ISADS, 1997)

Change Impact Analysis for A Class Hierarchy. - Yoon Kyu Jang; Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (APSEC, 1998)

Object-Oriented Model Refinement Technique in Software Reengineering. - Wei-Jin Park; Sang-Yoon Min; Doo-Hwan Bae; Pyeong-Soo Mah (COMPSAC, 1998)

Towards Reusable Colored Petri Nets. - Nam Hee Lee; Jang-Eui Hong; Sung Deok Cha; Doo-Hwan Bae (PDSE, 1998)

An Operational Component Specification Method. - Hyung-Ho Kim; Doo-Hwan Bae; Dong Kwan Kim; Hyo Taeg Jung; Yun Dae Chung (APSEC, 1999)

Aspect-Oriented Design (AOD) Technique for Developing Distributed Object-Oriented Systems over the Internet. - Joon-Sang Lee; Sang-Yoon Min; Doo-Hwan Bae (ICSC, 1999)

Management of Workflow over the Web Supporting Distributed Process Evolution. - Sang-Yoon Min; Doo-Hwan Bae; Sung-Chan Cho; Young-Kwang Nam (ICSC, 1999)

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 (ISADS, 1999)

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 (ISADS, 1999)

Safety Verification of Ada95 Programs Using Software Fault Trees. - Sang-Yoon Min; Yoon-Kyu Jan; Sung Deok Cha; Yong Rae Kwon; Doo-Hwan Bae (SAFECOMP, 1999)

Test cases generation from UML state diagrams. - Young Gon Kim; Hyoung Seok Hong; Doo-Hwan Bae; Sung Deok Cha (IEE Proc. Softw., 1999)

Scalable Mobile Agents Supporting Dynamic Composition of Functionality. - In-Gyu Kim; Jang-Eui Hong; Doo-Hwan Bae; Ik-Joo Han; Cheong Youn (Agents Workshop on Infrastructure for Multi-Agent Systems, 2000)

Reliable Transaction Design Using MTS. - Il-Chul Yoon; Hyung-Ho Kim; Doo-Hwan Bae; Cheong Youn (COMPSAC, 2000)

Integration of heterogeneous CAD databases using STEP and the Internet. - Yongjae Shin; Soonhung Han; Doo-Hwan Bae (Decis. Support Syst., 2000)

SoftPM: a software process management system reconciling formalism with easiness. - Sang-Yoon Min; H.-D. Lee; Doo-Hwan Bae (Inf. Softw. Technol., 2000)

Software modeling and analysis using a hierarchical object-oriented Petri net. - Jang-Eui Hong; Doo-Hwan Bae (Inf. Sci., 2000)

A cohesion measure for object-oriented classes. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (Softw. Pract. Exp., 2000)

A test sequence selection method for statecharts. - Hyoung Seok Hong; Young Gon Kim; Sung Deok Cha; Doo-Hwan Bae; Hasan Ural (Softw. Test. Verification Reliab., 2000)

Framework for Third Party Testing of Component Software. - Yu-Seung Ma; Seung-Uk Oh; Doo-Hwan Bae; Yong Rae Kwon (APSEC, 2001)

Tailoring and Verifying Software Process. - Il-Chul Yoon; Sang-Yoon Min; Doo-Hwan Bae (APSEC, 2001)

Towards Coping with Role-Binding Anomaly. - Joon-Sang Lee; Doo-Hwan Bae; Ikju Han (Reflection, 2001)

Specification and validation of dynamic systems using temporal logic. - Seung Mo Cho; Hyung Ho Kim; Sung Deok Cha; Doo-Hwan Bae (IEE Proc. Softw., 2001)

High-level Petri net for incremental analysis of object-oriented system requirements. - Jang-Eui Hong; Doo-Hwan Bae (IEE Proc. Softw., 2001)

Incremental Scenario Modeling Using Hierarchical Object-Oriented Petri Net. - Jang-Eui Hong; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2001)

Response to Comments on: A cohesion measure for object-oriented classes. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (Softw. Pract. Exp., 2001)

An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs. - Sang-Uk Jeon; Joon-Sang Lee; Doo-Hwan Bae (APSEC, 2002)

A semantics of sequence diagrams. - Seung Mo Cho; Hyung-Ho Kim; Sung Deok Cha; Doo-Hwan Bae (Inf. Process. Lett., 2002)

An enhanced role model for alleviating the role-binding anomal. - Joon-Sang Lee; Doo-Hwan Bae (Softw. Pract. Exp., 2002)

Developing a Common Operating Environment for Military Application. - Jungyoon Kim; Joon-Sang Lee; Doo-Hwan Bae; Dong-Kuk Ryu; Sang-Il Lee (FTDCS, 2003)

Response to 'More comments on: A cohesion measure for object-oriented classes'. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (Softw. Pract. Exp., 2003)

An Approach to Feature Based Modelling by Dependency Alignment for the Maintenance of the Trustworthy System. - Jungyoon Kim; Doo-Hwan Bae (COMPSAC, 2004)

An aspect-oriented framework for developing component-based software with the collaboration-based architectural style. - Joon-Sang Lee; Doo-Hwan Bae (Inf. Softw. Technol., 2004)

Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables. - Heung Seok Chae; Yong Rae Kwon; Doo-Hwan Bae (IEEE Trans. Software Eng., 2004)

Dynamically Evolvable Composition of Aspects Based On Relation Model. - Ik-Joo Han; Doo-Hwan Bae (SEKE, 2005)

Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development. - Tegegne Marew; Jungyoon Kim; Doo-Hwan Bae (SEKE, 2005)

A Framework for the Vamp;V Capability Assessment Focused on the Safety-Criticality. - Kyung-A Yoon; Seunghun Park; Doo-Hwan Bae; Hoon-Seon Chang; Jae-Cheon Jung (STEP, 2005)

Editorial. - Doo-Hwan Bae (J. Syst. Softw., 2005)

Using Operational Architecture to Model Embedded Software. - Sang-Uk Jeon; Jang-Eui Hong; Doo-Hwan Bae (APSEC, 2006)

UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development. - KeungSik Choi; SungChul Jung; HyunJung Kim; Doo-Hwan Bae; DongHun Lee (IASTED Conf. on Software Engineering, 2006)

Using Classpects for Integrating Non-Functional and Functional Requirements. - Tegegne Marew; Doo-Hwan Bae (IASTED Conf. on Software Engineering, 2006)

Personalized Primary Port: Analysis of User View for the Smart Environment. - Wei-Jin Park; Junhwan Kim; Doo-Hwan Bae (ICAT, 2006)

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 (ICSOFT (1), 2006)

Interaction-Based Behavior Modeling of Embedded Software using UML 2.0. - Sang-Uk Jeon; Jang-Eui Hong; Doo-Hwan Bae (ISORC, 2006)

Analysis of Software-Intensive System Acquisition Using Hybrid Software Process Simulation. - KeungSik Choi; Doo-Hwan Bae (SPW/ProSim, 2006)

Dimensions of Composition Models for Supporting Software Evolution. - In-Gyu Kim; Tegegne Marew; Doo-Hwan Bae; Jang-Eui Hong; Sang-Yoon Min (SC@ETAPS, 2006)

Composition of Aspects Based on a Relation Model: Synergy of Multiple Paradigms. - Ik-Joo Han; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2006)

Guest Editorial. - Doo-Hwan Bae (J. Syst. Softw., 2006)

An approach to a hybrid software process simulation using the DEVS formalism. - KeungSik Choi; Doo-Hwan Bae; TagGon Kim (Softw. Process. Improv. Pract., 2006)

An approach to feature-based software construction for enhancing maintainability. - Jungyoon Kim; Doo-Hwan Bae (Softw. Pract. Exp., 2006)

Deriving Software Process Simulation Model from SPEM-based Software Process Model. - Seunghun Park; KeungSik Choi; Kyung-A Yoon; Doo-Hwan Bae (APSEC, 2007)

An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics. - Tae-Hoon Song; Kyung-A Yoon; Doo-Hwan Bae (APSEC, 2007)

Software Process Improvement for Small Organizations. - Doo-Hwan Bae (COMPSAC (1), 2007)

An Approach to Outlier Detection of Software Measurement Data using the K-means Clustering Method. - Kyung-A Yoon; Oh-Sung Kwon; Doo-Hwan Bae (ESEM, 2007)

Systematic Functional Decomposition in a Product Line Using Aspect-oriented Software Development: a Case Study. - Tegegne Marew; Jungyoon Kim; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2007)

A component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution. - In-Gyu Kim; Doo-Hwan Bae; Jang-Eui Hong (J. Syst. Softw., 2007)

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 (APSEC, 2008)

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)

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 (COMPSAC, 2008)

An empirical analysis of software effort estimation with outlier elimination. - Yeong-Seok Seo; Kyung-A Yoon; Doo-Hwan Bae (PROMISE@ICSE, 2008)

Object-oriented concept analysis for software modularisation. - Hyung Ho Kim; Doo-Hwan Bae (IET Softw., 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)

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 (APSEC, 2009)

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 (APSEC, 2009)

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

Dynamic project performance estimation by combining static estimation models with system dynamics. - KeungSik Choi; Doo-Hwan Bae (Inf. Softw. Technol., 2009)

A data flow-based structural testing technique for FBD programs. - Eunkyoung Jee; Junbeom Yoo; Sung Deok Cha; Doo-Hwan Bae (Inf. Softw. Technol., 2009)

Developing platform specific model for MPSoC architecture from UML-based embedded software models. - Sang-Uk Jeon; Jang-Eui Hong; In-Gwon Song; Doo-Hwan Bae (J. Syst. Softw., 2009)

Tactics based approach for integrating non-functional requirements in object-oriented analysis and design. - Tegegne Marew; Joon-Sang Lee; Doo-Hwan Bae (J. Syst. Softw., 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)

Software Fault Prediction Models for Web Applications. - Le Truong Giang; Dongwon Kang; Doo-Hwan Bae (COMPSAC Workshops, 2010)

Filtering of Inconsistent Software Project Data for Analogy-Based Effort Estimation. - Tuan Khanh Le-Do; Kyung-A Yoon; Yeong-Seok Seo; Doo-Hwan Bae (COMPSAC, 2010)

A pattern-based outlier detection method identifying abnormal attributes in software project data. - Kyung-A Yoon; Doo-Hwan Bae (Inf. Softw. Technol., 2010)

Introduction to the special issue. - Michael Grottke; Doo-Hwan Bae; Bjørn Axel Gran (J. Syst. Softw., 2010)

Measuring behavioral dependency for improving change-proneness prediction in UML-based design models. - Ah-Rim Han; Sang-Uk Jeon; Doo-Hwan Bae; Jang-Eui Hong (J. Syst. Softw., 2010)

Process Instance Management Facilities Based on the Meta Process Models. - Seunghun Park; Sang-Yoon Min; Doo-Hwan Bae (ICCSA (5), 2011)

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

Case Study on Installing a Porting Process for Embedded Operating System in a Small Team. - DongSeok Cho; Doo-Hwan Bae (SSIRI (Companion), 2011)

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

A two-stage framework for UML specification matching. - Wei-Jin Park; Doo-Hwan Bae (Inf. Softw. Technol., 2011)

An approach to identifying causes of implied scenarios using unenforceable orders. - In-Gwon Song; Sang-Uk Jeon; Ah-Rim Han; Doo-Hwan Bae (Inf. Softw. Technol., 2011)

An approach to analyzing the software process change impact using process slicing and simulation. - Seunghun Park; Doo-Hwan Bae (J. Syst. Softw., 2011)

Constraint-based human resource allocation in software projects. - Dongwon Kang; Jinhwan Jung; Doo-Hwan Bae (Softw. Pract. Exp., 2011)

Automated scheduling for clone-based refactoring using a competent GA. - Sukhee Lee; Gigon Bae; Heung Seok Chae; Doo-Hwan Bae; Yong Rae Kwon (Softw. Pract. Exp., 2011)

Rebuilding a Unified Database Service via Context Analysis Method. - Woomok Kim; Tae-hyung Kim; Sangtae Kim; Doo-Hwan Bae (CSMR, 2012)

An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software. - Jinho Choi 002; Doo-Hwan Bae (FGIT-EL/DTA/UNESST, 2012)

Generic Process Framework for Safety-Critical Software in a Weapon System. - Myongho Kim; Joohyun Lee; Doo-Hwan Bae (FGIT-EL/DTA/UNESST, 2012)

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 (ISSRE, 2012)

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. - Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (MoDELS, 2012)

An empirical study of supplementary bug fixes. - Jihun Park; Miryung Kim; Baishakhi Ray; Doo-Hwan Bae (MSR, 2012)

Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. - Jinho Choi 002; Eunkyoung Jee; Doo-Hwan Bae (SERE, 2012)

SimpleLock: Fast and Accurate Hybrid Data Race Detector. - Misun Yu; Sang-Kyung Yoo; Doo-Hwan Bae (PDCAT, 2013)

Automatic and lightweight grammar generation for fuzz testing. - Su Yong Kim; Sung Deok Cha; Doo-Hwan Bae (Comput. Secur., 2013)

On the value of outlier elimination on software effort estimation research. - Yeong-Seok Seo; Doo-Hwan Bae (Empir. Softw. Eng., 2013)

Tailoring a large-sized software process using process slicing and case-based reasoning technique. - Seunghun Park; Doo-Hwan Bae (IET Softw., 2013)

PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors. - Jeongseok Seo; Sung Deok Cha; Bin Zhu 008; Doo-Hwan Bae (IEICE Trans. Inf. Syst., 2013)

Dynamic profiling-based approach to identifying cost-effective refactorings. - Ah-Rim Han; Doo-Hwan Bae (Inf. Softw. Technol., 2013)

AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning. - Yeong-Seok Seo; Doo-Hwan Bae; Ross Jeffery (Inf. Softw. Technol., 2013)

An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation. - Ah-Rim Han; Doo-Hwan Bae (APSEC (1), 2014)

An empirical study on reducing omission errors in practice. - Jihun Park; Miryung Kim; Doo-Hwan Bae (ASE, 2014)

Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. - Minh Chau Nguyen; Eunkyoung Jee; Jinho Choi 002; Doo-Hwan Bae (SAC, 2014)

Practical Human Resource Allocation in Software Projects Using Genetic Algorithm. - Jihun Park; Dongwon Seo; Gwangui Hong; Donghwan Shin 001; Jimin Hwa; Doo-Hwan Bae (SEKE, 2014)

Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study. - Gigon Bae; Gregg Rothermel; Doo-Hwan Bae (J. Syst. Softw., 2014)

Automated test case generation for FBD programs implementing reactor protection system software. - Eunkyoung Jee; Donghwan Shin 001; Sung Deok Cha; Jang-Soo Lee; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2014)

Quality Based Software Project Staffing and Scheduling with Budget and Deadline. - Dongwon Seo; Donghwan Shin 001; Doo-Hwan Bae (QuASoQ/WAWSE/CMCE@APSEC, 2015)

Quality Based Software Project Staffing and Scheduling with Cost Bound. - Dongwon Seo; Donghwan Shin 001; Doo-Hwan Bae (APSEC, 2015)

Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. - Yoo Jin Lim; Eunkyoung Jee; Donghwan Shin 001; Doo-Hwan Bae (COMPSAC, 2015)

Human Resource Allocation in Software Project with Practical Considerations. - Jihun Park; Dongwon Seo; Gwangui Hong; Donghwan Shin 001; Jimin Hwa; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2015)

An efficient approach to identify multiple and independent Move Method refactoring candidates. - Ah-Rim Han; Doo-Hwan Bae; Sung Deok Cha (Inf. Softw. Technol., 2015)

Automated Test Sequence Generation for Function Block Diagram Programs. - Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (APSEC, 2016)

A runtime verification framework for dynamically adaptive multi-agent systems. - Yoo Jin Lim; Gwangui Hong; Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (BigComp, 2016)

Modeling and verification for different types of system of systems using PRISM. - Dongwon Seo; Donghwan Shin 001; Young Min Baek; Jiyoung Song; Wonkyung Yun; Junho Kim; Eunkyoung Jee; Doo-Hwan Bae (SESoS, 2016)

A Theoretical Framework for Understanding Mutation-Based Testing Methods. - Donghwan Shin 001; Doo-Hwan Bae (ICST, 2016)

Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability. - Donghwan Shin 001; Shin Yoo; Doo-Hwan Bae (ICST Workshops, 2016)

Automated model-based Android GUI testing using multi-level GUI comparison criteria. - Young Min Baek; Doo-Hwan Bae (ASE, 2016)

Characterizing non-deadlock concurrency bug fixes in open-source Java programs. - Misun Yu; Yu-Seung Ma; Doo-Hwan Bae (SAC, 2016)

SimpleLock+: Fast and Accurate Hybrid Data Race Detection. - Misun Yu; Doo-Hwan Bae (Comput. J., 2016)

Comprehensive analysis of FBD test coverage criteria using mutants. - Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (Softw. Syst. Model., 2016)

Timing consistency checking for UML/MARTE behavioral models. - Jinho Choi 002; Eunkyoung Jee; Doo-Hwan Bae (Softw. Qual. J., 2016)

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 (APSEC, 2017)

Mutation Analysis for System of Systems Policy Testing. - Wonkyung Yun; Donghwan Shin 001; Doo-Hwan Bae (SESoS/WDES, 2017)

Empirical Evaluation of Mutation-based Test Prioritization Techniques. - Donghwan Shin 001; Shin Yoo; Mike Papadakis; Doo-Hwan Bae (CoRR, 2017)

An empirical study of supplementary patches in open source projects. - Jihun Park; Miryung Kim; Doo-Hwan Bae (Empir. Softw. Eng., 2017)

Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors. - Jimin Hwa; Shin Yoo; Yeong-Seok Seo; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2017)

A User eXperience Evaluation Framework for Mobile Usability. - Hee-Jin Lee; Joon-Sang Lee; Eunkyoung Jee; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2017)

A Meta-Model for Representing System-of-Systems Ontologies. - Young Min Baek; Jiyoung Song; Yong-Jun Shin; Sumin Park; Doo-Hwan Bae (SESoS, 2018)

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 001; Shin Yoo; Doo-Hwan Bae (ICSE, 2018)

ABC+: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation. - Mingyu Jin; Donghwan Shin 001; Doo-Hwan Bae (SAC, 2018)

A collaboration policy model for system of systems. - Zelalem Mihret; Eunkyoung Jee; Young Min Baek; Doo-Hwan Bae (SoSE, 2018)

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. - Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (Sci. Comput. Program., 2018)

A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion. - Donghwan Shin 001; Shin Yoo; Doo-Hwan Bae (IEEE Trans. Software Eng., 2018)

Statistical Verification Framework for Platooning System of Systems with Uncertainty. - Sangwon Hyun; Jiyoung Song; Seungchyul Shin; Doo-Hwan Bae (APSEC, 2019)

A simulation-based behavior analysis for MCI response system of systems. - Sumin Park; Zelalem Mihret; Doo-Hwan Bae (SESoS/WDES, 2019)

Slicing executable system-of-systems models for efficient statistical verification. - Jiyoung Song; Jacob O. Tørring; Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (SESoS/WDES, 2019)

Data-driven environment modeling for adaptive system-of-systems. - Yong-Jun Shin; Young Min Baek; Eunkyoung Jee; Doo-Hwan Bae (SAC, 2019)

Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems. - Yong-Jun Shin; Sangwon Hyun; Young Min Baek; Doo-Hwan Bae (SoSE, 2019)

AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns. - Misun Yu; Joon-Sang Lee; Doo-Hwan Bae (Int. J. Parallel Program., 2019)

Empirical evaluation of mutation-based test case prioritization techniques. - Donghwan Shin 001; Shin Yoo; Mike Papadakis; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2019)

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 (APSEC, 2020)

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 (APSEC, 2020)

SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems. - Sumin Park; Yong-Jun Shin; Sangwon Hyun; Doo-Hwan Bae (SoSE, 2020)

Efficient noise injection for exposing hidden data races. - Misun Yu; Yu-Seung Ma; Doo-Hwan Bae (J. Supercomput., 2020)

Correction to: Efficient noise injection for exposing hidden data races. - Misun Yu; Yu-Seung Ma; Doo-Hwan Bae (J. Supercomput., 2020)

Metamorphic Testing for Reliability in System of Systems. - Kiat Kian Anthony Chua; Doo-Hwan Bae; Eunkyoung Jee (APSEC, 2021)

Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review. - Yong-Jun Shin; Joon-Young Bae; Doo-Hwan Bae (APSEC, 2021)

PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems. - Yong-Jun Shin; Eunho Cho; Doo-Hwan Bae (FASE, 2021)

DNN Model Deployment on Distributed Edges. - Eunho Cho; Juyeon Yoon; Daehyeon Baek; Dongman Lee; Doo-Hwan Bae (ICWE Workshops, 2021)

An Empirical Study of Reliability Analysis for Platooning System-of-Systems. - Sangwon Hyun; Lingjun Liu; Hansu Kim; Esther Cho; Doo-Hwan Bae (QRS Companion, 2021)

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 (SEAMS@ICSE, 2021)

A Modeling Method for Representation of Geographical Information of a System-of-Systems. - Young Min Baek; Eunho Cho; Yong-Jun Shin; Doo-Hwan Bae (SoSE, 2021)

Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems. - Sungjin Lee; Young Min Baek; Sangwon Hyun; Doo-Hwan Bae (SoSE, 2021)

Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems. - Seungchyul Shin; Sangwon Hyun; Yong-Jun Shin; Jiyoung Song; Doo-Hwan Bae (SoSE, 2021)

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 (APSEC, 2022)

Statistical verification using learned usages for evaluating energy-efficient mobile device design. - Jiyoung Song; Youlim Jung; Chiwoo Cho; Eunkyoung Jee; Doo-Hwan Bae (SAC, 2022)

Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning. - Eunho Cho; Gwangoo Yeo; Eunkyoung Jee; Doo-Hwan Bae (SoSE, 2022)

Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work. - Zelalem Mihret; Eunkyoung Jee; Doo-Hwan Bae (SoSE, 2022)

Hands-On Field Operational Test Dataset of a Multi-Controller CPS: A Modeled Case Study on Autonomous Driving. - Yong-Jun Shin; Esther Cho; Hansu Kim; Doo-Hwan Bae (SoSE, 2022)

Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing. - May Myat Thwe; Zelalem Mihret; Eunkyoung Jee; Doo-Hwan Bae (SoSE, 2022)

Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification. - Yong-Jun Shin; Donghwan Shin 001; Doo-Hwan Bae (CoRR, 2022)

Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework. - Young Min Baek; Esther Cho; Donghwan Shin 001; Doo-Hwan Bae (CoRR, 2022)

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. - Jiyoung Song; Jeehoon Kang; Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (Inf. Softw. Technol., 2022)

MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software. - Lingjun Liu; Eunkyoung Jee; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2022)

Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. - Hyeongseok Eun; Eunkyoung Jee; Doo-Hwan Bae; Younggeul Kim; Yoonhee Lee (APSEC, 2023)

Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022). - Coralie Esnoul; Ricardo Colomo-Palacios; Eunkyoung Jee; Sabarathinam Chockalingam; John Eidar Simensen; Doo-Hwan Bae (ACM SIGSOFT Softw. Eng. Notes, 2023)

Timed pattern-based analysis of collaboration failures in system-of-systems. - Sangwon Hyun; Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (J. Syst. Softw., 2023)

Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023). - Coralie Esnoul; Mary Sánchez-Gordón; Eunkyoung Jee; Ricardo Colomo-Palacios; Sabarathinam Chockalingam; John Eidar Simensen; Doo-Hwan Bae (ACM SIGSOFT Softw. Eng. Notes, 2023)

Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study. - Jiyoung Song; Doo-Hwan Bae (J. Syst. Softw., 2023)

Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement. - Zelalem Mihret; Jakob Axelsson; Eunkyoung Jee; Doo-Hwan Bae (SysCon, 2024)

An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension. - Young Min Baek; Esther Cho; Donghwan Shin 001; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2024)

Report on the 11th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2023. - Rodrigo Pereira dos Santos; Pablo Oliveira Antonino; Antonia Bertolino; Doo-Hwan Bae (ACM SIGSOFT Softw. Eng. Notes, 2024)

Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning. - Yong-Jun Shin; Donghwan Shin 001; Doo-Hwan Bae (ACM Trans. Embed. Comput. Syst., 2024)

Report on the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2024. - Pablo Oliveira Antonino; Doo-Hwan Bae; Antonia Bertolino; Francesca Lonetti (ACM SIGSOFT Softw. Eng. Notes, 2024)

Collaboration failure analysis in cyber-physical system-of-systems using context fuzzy clustering. - Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (Empir. Softw. Eng., 2025)