Doo-Hwan Bae
Orcid: 0000-0002-3152-5219
According to our database1,
Doo-Hwan Bae
authored at least 180 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning.
ACM Trans. Embed. Comput. Syst., January, 2024
Report on the 11th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2023.
ACM SIGSOFT Softw. Eng. Notes, January, 2024
An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension.
Int. J. Softw. Eng. Knowl. Eng., January, 2024
2023
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study.
J. Syst. Softw., December, 2023
Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023).
ACM SIGSOFT Softw. Eng. Notes, October, 2023
J. Syst. Softw., April, 2023
Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022).
ACM SIGSOFT Softw. Eng. Notes, January, 2023
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023
2022
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software.
Softw. Test. Verification Reliab., 2022
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.
Inf. Softw. Technol., 2022
Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework.
CoRR, 2022
Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification.
CoRR, 2022
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing.
Proceedings of the 17th Annual System of Systems Engineering Conference, 2022
Hands-On Field Operational Test Dataset of a Multi-Controller CPS: A Modeled Case Study on Autonomous Driving.
Proceedings of the 17th Annual System of Systems Engineering Conference, 2022
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work.
Proceedings of the 17th Annual System of Systems Engineering Conference, 2022
Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning.
Proceedings of the 17th Annual System of Systems Engineering Conference, 2022
Statistical verification using learned usages for evaluating energy-efficient mobile device design.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems.
Proceedings of the 16th International Conference of System of Systems Engineering, 2021
Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems.
Proceedings of the 16th International Conference of System of Systems Engineering, 2021
A Modeling Method for Representation of Geographical Information of a System-of-Systems.
Proceedings of the 16th International Conference of System of Systems Engineering, 2021
Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the ICWE 2021 Workshops, 2021
PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2021
Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021
2020
J. Supercomput., 2020
Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Softw. Test. Verification Reliab., 2019
AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns.
Int. J. Parallel Program., 2019
Proceedings of the 14th Annual Conference System of Systems Engineering, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019
Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019
Statistical Verification Framework for Platooning System of Systems with Uncertainty.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
IEEE Trans. Software Eng., 2018
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states.
Sci. Comput. Program., 2018
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
ABC<sup>+</sup>: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults.
Proceedings of the 40th International Conference on Software Engineering, 2018
Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2018
2017
Int. J. Softw. Eng. Knowl. Eng., 2017
Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors.
Int. J. Softw. Eng. Knowl. Eng., 2017
Empir. Softw. Eng., 2017
Proceedings of the 2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, 2017
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
Softw. Syst. Model., 2016
Comput. J., 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016
Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2015
An efficient approach to identify multiple and independent Move Method refactoring candidates.
Inf. Softw. Technol., 2015
Int. J. Softw. Eng. Knowl. Eng., 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
Proceedings of the Joint Proceedings of the 3rd International Workshop on Quantitative Approaches to Software Quality (QuASoQ), 2015
2014
Automated test case generation for FBD programs implementing reactor protection system software.
Softw. Test. Verification Reliab., 2014
Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study.
J. Syst. Softw., 2014
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software.
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
An Efficient Method for Assessing the Impact of Refactoring Candidates on Maintainability Based on Matrix Computation.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning.
Inf. Softw. Technol., 2013
Inf. Softw. Technol., 2013
PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors.
IEICE Trans. Inf. Syst., 2013
Tailoring a large-sized software process using process slicing and case-based reasoning technique.
IET Softw., 2013
Empir. Softw. Eng., 2013
Proceedings of the International Conference on Parallel and Distributed Computing, 2013
2012
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Proceedings of the Computer Applications for Database, Education, and Ubiquitous Computing, 2012
An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software.
Proceedings of the Computer Applications for Database, Education, and Ubiquitous Computing, 2012
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012
2011
Softw. Pract. Exp., 2011
Softw. Pract. Exp., 2011
An approach to analyzing the software process change impact using process slicing and simulation.
J. Syst. Softw., 2011
Inf. Softw. Technol., 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Case Study on Installing a Porting Process for Embedded Operating System in a Small Team.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Identifying properties of UML state machine diagrams that affect data and control dependence.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
2010
Measuring behavioral dependency for improving change-proneness prediction in UML-based design models.
J. Syst. Softw., 2010
A pattern-based outlier detection method identifying abnormal attributes in software project data.
Inf. Softw. Technol., 2010
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010
2009
Tactics based approach for integrating non-functional requirements in object-oriented analysis and design.
J. Syst. Softw., 2009
Developing platform specific model for MPSoC architecture from UML-based embedded software models.
J. Syst. Softw., 2009
Inf. Softw. Technol., 2009
Dynamic project performance estimation by combining static estimation models with system dynamics.
Inf. Softw. Technol., 2009
Proceedings of the Ninth International Conference on Quality Software, 2009
A Graph Based Approach to Detecting Causes of Implied Scenarios under the Asynchronous and Synchronous Communication Styles.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
Improving the Accuracy of Software Effort Estimation Based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
2008
Int. J. Simul. Process. Model., 2008
Proceedings of the 4th International Workshop on Predictor Models in Software Engineering, 2008
Behavioral Dependency Measurement for Change-Proneness Prediction in UML 2.0 Design Models.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models.
Proceedings of the Advances in Enterprise Engineering I, 2008
A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008
2007
A component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution.
J. Syst. Softw., 2007
Systematic Functional Decomposition in a Product Line Using Aspect-oriented Software Development: a Case Study.
Int. J. Softw. Eng. Knowl. Eng., 2007
An Approach to Outlier Detection of Software Measurement Data using the K-means Clustering Method.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
Softw. Pract. Exp., 2006
Softw. Process. Improv. Pract., 2006
Int. J. Softw. Eng. Knowl. Eng., 2006
Proceedings of the Software Composition - 5th International Symposium, 2006
Analysis of Software-Intensive System Acquisition Using Hybrid Software Process Simulation.
Proceedings of the Software Process Change, 2006
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006
Modelling the unexpected behaviours of embedded software using uml sequence diagrams.
Proceedings of the ICSOFT 2006, 2006
Proceedings of the Advances in Artificial Reality and Tele-Existence, 2006
Using Classpects for Integrating Non-Functional and Functional Requirements.
Proceedings of the IASTED International Conference on Software Engineering, 2006
UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development.
Proceedings of the IASTED International Conference on Software Engineering, 2006
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006
2005
Proceedings of the 13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 2005
Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Dynamically Evolvable Composition of Aspects Based On Relation Model.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
2004
IEEE Trans. Software Eng., 2004
An aspect-oriented framework for developing component-based software with the collaboration-based architectural style.
Inf. Softw. Technol., 2004
An Approach to Feature Based Modelling by Dependency Alignment for the Maintenance of the Trustworthy System.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Softw. Pract. Exp., 2003
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003
2002
Softw. Pract. Exp., 2002
An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2001
Softw. Pract. Exp., 2001
Int. J. Softw. Eng. Knowl. Eng., 2001
High-level Petri net for incremental analysis of object-oriented system requirements.
IEE Proc. Softw., 2001
IEE Proc. Softw., 2001
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
Softw. Test. Verification Reliab., 2000
Inf. Sci., 2000
Inf. Softw. Technol., 2000
Decis. Support Syst., 2000
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000
Proceedings of the Infrastructure for Agents, 2000
1999
Proceedings of the Computer Safety, 1999
Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML).
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999
Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999
Aspect-Oriented Design (AOD) Technique for Developing Distributed Object-Oriented Systems over the Internet.
Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
Proceedings of the COMPSAC '98, 1998
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998
1997
Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
An Approach to Software Process Management Based on Formal Process Modeling and Analysis.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1995
An object-oriented software development framework for autonomous decentralized systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995
An Architecture-Independent Software Development Approach for Parallel Processing Systems.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
Comput. Commun., 1994
An approach to object-oriented requirements verification in software development for distributed computing systems.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994
1993
Object-oriented development of architecture transparent software for distributed parallel systems.
Comput. Commun., 1993
1992
A partitioning approach for object-oriented software development for parallel processing systems.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
J. Parallel Distributed Comput., 1991
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991