Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “Timed Pattern-based Analysis of Collaboration Failures in System-of-Systems”, Journal of Systems and Software, 2023:
2022
Esther Cho, Yong-Jun Shin, Sangwon Hyun, Hansoo Kim, and Doo-Hwan Bae, “Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm”, 29th Asia-Pacific Software Engineering Conference (APSEC 2022), 2022:
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae, “MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software”, Software Testing, Verification and Reliability, 32(8), 2022:
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae, “Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing”, Information and Software Technology, 147, 2022:
May Myat Thwe, Zelalem Mihret Belay, Eunkyoung Jee, and Doo-Hwan Bae, “Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing”, 2022 17th Annual System of Systems Engineering Conference (SOSE), 2022:
Zelalem Mihret, Eunkyoung Jee, and Doo-Hwan Bae, “Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work”, 2022 17th Annual System of Systems Engineering Conference (SOSE), 2022:
Yong-Jun Shin, Esther Cho, Hansu Kim, and Doo-Hwan Bae, “Hands-On Field Operational Test Dataset of a Multi-Controller CPS: A Modeled Case Study on Autonomous Driving”, 2022 17th Annual System of Systems Engineering Conference (SOSE), 2022:
Eunho Cho, Gwangoo Yeo, Eunkyoung Jee, and Doo-Hwan Bae, “Anomaly-aware adaptation approach for self-adaptive cyber-physical system of systems using reinforcement learning”, 2022 17th Annual System of Systems Engineering Conference (SOSE), 2022:
Hansu Kim, Sangwon Hyun, Doo-Hwan Bae, “A Survey on Multivariate Time-Series Clustering Techniques for Analyzing Cyber-Physical System-of-Systems Failures” 2022 Korea Computer Congress (KCC), 2022
Esther Cho, Hansu Kim, Yong-Jun Shin, Doo-Hwan Bae, * “Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems” 2022 Korea Computer Congress (KCC), 2022
Young-Min Baek, Esther Cho, Donghwan Shin, and Doo-Hwan Bae, “Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework”, arXiv preprint arXiv:2205.08290, 2022:
Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, and Doo-Hwan Bae, “Statistical verification using learned usages for evaluating energy-efficient mobile device design”, 37th ACM/SIGAPP Symposium on Applied Computing, 2022:
Yong-Jun Shin, Donghwan Shin, and Doo-Hwan Bae, “Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification”, arXiv preprint arXiv:2204.06799, 2022:
2021
Hyeongseok Eun, Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae, “A systematic execution and output method of test sequences for PLC program”, 2021 Korea Software Congress (KSC), 2021
Eunho Cho, Juyeon Yoon, Daehyeon Baek, Dongman Lee, and Doo-Hwan Bae, “DNN Model Deployment on Distributed Edges”, ICWE 2021 Workshops: BECS, 2021:
Sangwon Hyun, Lingjun Liu, Hansu Kim, Esther Cho, and Doo-Hwan Bae, “An empirical study of reliability analysis for platooning system-of-systems”, 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021:
Kiat Kian Anthony Chua, Doo-Hwan Bae, and Eunkyoung Jee, “Metamorphic Testing for Reliability in System of Systems”, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), 2021:
Yong-Jun Shin, Joon-Young Bae, and Doo-Hwan Bae, “Concepts and models of environment of self-adaptive systems: A systematic literature review”, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), 2021:
Eunkyoung Jee, Jiyoung Song, Lingjun Liu, and Doo-Hwan Bae, “Evolution case analysis of testing techniques for FBD programs implementing safety-critical systems”, Communications of the Korean Institute of Information Scientists and Engineers, 39(10), 2021
SungJin Lee, Young-Min Baek, Sangwon Hyun, and Doo-Hwan Bae, “Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems”, 2021 16th International Conference of System of Systems Engineering (SoSE), 2021:
Seungchyul Shin, Sangwon Hyun, Yong-jun Shin, Jiyoung Song, and Doo-Hwan Bae, “Uncertainty based fault type identification for fault knowledge base generation in system of systems”, 2021 16th International Conference of System of Systems Engineering (SoSE), 2021:
Young-Min Baek, Eunho Cho, Yong-Jun Shin, and Doo-Hwan Bae, “A Modeling Method for Representation of Geographical Information of a System-of-Systems”, 2021 16th International Conference of System of Systems Engineering (SoSE), 2021:
Esther Cho, Young-Min Baek, Zelalem Mihret, and Doo-Hwan Bae, “Development of a Scenario Metamodel based on the Conceptualization of a Scenario for Verification and Validation of a Software System”, 2021 Korea Computer Congress (KCC), 2021
May Myat Thwe, Sangwon Hyun, and Doo-Hwan Bae, “Towards the Quality Assessment of Intelligent Transportation System of Systems using Edge Computing”, 2021 Korea Computer Congress (KCC), 2021
Yong-Jun Shin, Lingjun Liu, Sangwon Hyun, and Doo-Hwan Bae, “Platooning legos: An open physical exemplar for engineering self-adaptive cyber-physical systems-of-systems”, 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021:
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae, “MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs”, KIPS Transactions on Software and Data Engineering, 2021
Yong-Jun Shin, Eunho Cho, and Doo-Hwan Bae, “Pasta: An efficient proactive adaptation approach based on statistical model checking for self-adaptive systems”, Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, 2021:
Zelalem Mihret, Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae, “A Systematic Translation from PAT-based Counterexamples to Validate Test Cases”, 2021 Korea Conference on Software Engineering (KCSE), 2021
2020
Lingjun Liu, Eunkyoung Jee, and Doo-Hwan Bae, “Analysis of coupling effect hypothesis for function block diagram programs”, 2020 Korea Software Congress (KSC), 2020
Eunho Cho, Sumin Park, Lingjun Liu, Chua Kiat Kian Anthony, and Doo-Hwan Bae, “Analysis and Application of Runtime Verification Property Specification Patterns of System of Systems”, 2020 Korea Software Congress (KSC), 2020
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young-Min Baek, and Doo-Hwan Bae, “Pattern-based analysis of interaction failures in Systems-of-Systems: a case study on platooning”, 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020:
Young-Min Baek, Zelalem Mihret, Yong-Jun Shin, and Doo-Hwan Bae, “A Modeling Method for Model-based Analysis and Design of a System-of-Systems”, 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020:
Seungchyul Shin, Sangwon Hyun, Yong-jun Shin, Jiyoung Song, and Doo-Hwan Bae, “Manifestation Location-based Classification of Uncertainty Factors Considering Characteristics of System-of-Systems”, KIISE Transactions on Computing Practices, 26(10), 2020
Sumin Park, Yong-jun Shin, Sangwon Hyun, and Doo-Hwan Bae, “Simva-sos: Simulation-based verification and analysis for system-of-systems”, 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020:
Sangwon Hyun, Yong-Jun Shin, and Doo-Hwan Bae, “Analysis of Utilization Methods of the Statistical Model Checking Results for Localizing Faults on System of Systems”, Journal of KIISE, 47(4), 2020
Misun Yu, Yu-Seung Ma, and Doo-Hwan Bae, “Efficient noise injection for exposing hidden data races”, The Journal of Supercomputing, 76(1), 2020:
2019
Sungjin Lee, Sumin Park, Young-min Baek, and Doo-Hwan Bae, “Evaluation of Goal Achievement Considering Dynamic Reconfiguration of System of Systems Using Statistical Model Checking”, 2019 Korea Software Congress (KSC), 2019
Seungchyul Shin, Sangwon Hyun, Jiyoung Song, and Doo-Hwan Bae, “Analysis of Uncertainty Factors in System of Systems: Case Study in Platooning Scenario”, 2019 Korea Software Congress (KSC), 2019
Eunho Cho, Yong-Jun Shin, Eunkyoung Jee, and Doo-Hwan Bae, “Comparative Analysis of fault-attack tree based safety and security assessment approaches”, 2019 Korea Software Congress (KSC), 2019
Misun Yu, Joon-Sang Lee, and Doo-Hwan Bae, “Adaptivelock: efficient hybrid data race detection based on real-world locking patterns”, International Journal of Parallel Programming, 47(5-6), 2019:
Sangwon Hyun, Yong-Jun Shin , and Doo-Hwan Bae, “Analysis of Utilization Methods of Statistical Model Checking Results for Localizing Faults on System of Systems”, 2019 Korea Computer Congress (KCC), 2019
Sumin Park, Zelalem Mihret Belay, and Doo-Hwan Bae, “A simulation-based behavior analysis for mci response system of systems”, 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2019:
Jiyoung Song, Jacob Odgård Tørring, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae, “Slicing executable system-of-systems models for efficient statistical verification”, 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2019:
Yong-Jun Shin, Sangwon Hyun, Young-Min Baek, and Doo-Hwan Bae, “Spectrum-based fault localization on a collaboration graph of a system-of-systems”, 2019 14th Annual Conference System of Systems Engineering (SoSE), 2019:
Yong-Jun Shin, Young-Min Baek, Eunkyoung Jee, and Doo-Hwan Bae, “Data-driven environment modeling for adaptive system-of-systems”, 34th ACM/SIGAPP Symposium on Applied Computing, 2019:
Eunkyoung Jee, Yulim Jung, Junghun Yoo, and Doo-Hwan Bae, “Simulation and Formal Verification of Blockchain Consensus Algorithms : A Case Study and Analysis”, Journal of KIISE, 37(4), 2019
Donghwan Shin, Shin Yoo, Mike Papadakis, and Doo-Hwan Bae, “Empirical evaluation of mutation-based test case prioritization techniques”, Software Testing, Verification and Reliability, 29(1-2), 2019:
2018
Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “Goal Model Slicing for Efficient Verification of System of Systems”, 2018 Korea Software Congress (KSC), 2018
Eunkyoung Jee, Yulim Jung, Junghun Yoo, Donghwan Shin, and Doo-Hwan Bae, “A Case Study of Modeling and Simulation of a Blockchain Consensus Algorithm”, 2018 Korea Software Congress (KSC), 2018
Tae-Hwan Kim, Eunho Cho, Yong-Jun Shin, and Doo-Hwan Bae, “Data-Driven Traffic Environment System-Dynamics Model Generation & Inference Method”, 2018 Korea Software Congress (KSC), 2018
Eunkyoung Jee, Jiyoucng Song, and Doo-Hwan Bae, “Definition and Application of Mutation Operator Extensions for FBD Programs”, KIISE Transactions on Computing Practices, 2018
Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states”, Science of Computer Programming, 163, 2018:
Young-min Baek, Sumin Park, Yong-Jun Shin, and Doo-Hwan Bae, “Analysis of Case Scenario to Develop a System of Systems Meta-model for Ontology Representation”, Journal of KIISE, 45(10), 2018
Jiyoung Song, Chiwoo Cho, Youlim Jung, Eunkyoung Jee, and Doo-Hwan Bae, “Mobile Device Battery Consumption Analysis Techniques - Evaluation and Future Direction -“, Journal of Korea Software Engineering Society, 27(1), 2018
B Zelalem Mihret, Eunkyoung Jee, Young-Min Baek, and Doo-Hwan Bae, “A collaboration policy model for system of systems”, 2018 13th Annual Conference on System of Systems Engineering (SoSE), 2018:
Sumin Park, Eunkyoung Jee, Jiyoung Song, and Doo-Hwan Bae, “A Mutation-Adequate Test Data Generation Technique for FBD Programs”, 2018 Korea Computer Congress (KCC), 2018
Young-Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, and Doo-Hwan Bae, “A meta-model for representing system-of-systems ontologies”, 6th International Workshop on Software Engineering for Systems-of-Systems, 2018:
Mike Papadakis, Donghwan Shin, Shin Yoo, and Doo-Hwan Bae, “Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults”, 40th International Conference on Software Engineering, 2018:
Mingyu Jin, Donghwan Shin, and Doo-Hwan Bae, “ABC+ extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation”, 33rd Annual ACM Symposium on Applied Computing, 2018:
Young-min Baek, Sumin Park, Yong-Jun Shin, and Doo-Hwan Bae, “Development of Ontology-based System-of-Systems Meta-model Based on the Analysis of SoS Case Scenario”, 2018 Korea Conference on Software Engineering (KCSE), 2018
Yong-Jun Shin, Sumin Park, Young-min Baek, and Doo-Hwan Bae, “Scenario-based Analysis of System-of-Systems Meta-model and Applicability Analysis for Statistical Verification”, 2018 Korea Conference on Software Engineering (KCSE), 2018
2017
Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee, and Doo-Hwan Bae, “Sos gap slicer: Slicing sos goal and prism models for change-responsive verification of sos”, 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017:
Jimin Hwa, Shin Yoo, Yeong-Seok Seo, and Doo-Hwan Bae, “Search-based approaches for software module clustering based on multiple relationship factors”, International Journal of Software Engineering and Knowledge Engineering, 27(7), 2017:
Donghwan Shin, Shin Yoo, and Doo-Hwan Bae, “A theoretical and empirical study of diversity-aware mutation adequacy criterion”, IEEE Transactions on Software Engineering, 44(10), 2017:
Wonkyung Yun, Donghwan Shin, and Doo-Hwan Bae, “Mutation analysis for system of systems policy testing”, 2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (JSOS), 2017:
Kyomin Jung Woosang Lim, Jungsoo Lee, yongsub Lim, Doo-Hwan Bae, Haesun Park, and Daeshik Kim, “Hierarchical ordering with partial pairwise hierarchical relationships on the macaque brain datasets”, PloS ONE, 12(5), 2017:
Hee-Jin Lee, Joon-Sang Lee, Eunkyoung Jee, and Doo-Hwan Bae, “A user experience evaluation framework for mobile usability”, International Journal of Software Engineering and Knowledge Engineering, 27(2), 2017:
Jihun Park, Miryung Kim, and Doo-Hwan Bae, “An empirical study of supplementary patches in open source projects”, Empirical Software Engineering, 22, 2017:
Eunkyong Jee, Hanseok Kim, and Doo-Hwan Bae, “FBD 프로그램에 대한 포괄적 뮤테이션 연산자 정의”, 2017 Korea Software Congress (KSC), 2017
Mingyu Jin, Donghwan Shin, Junho Kim, and Doo-Hwan Bae, “System-of-Systems-level Goal Achievement Verification Tool”, 2017 Korea Computer Congress (KCC), 2017
Eunkyong Jee, KEE CHOON KWON, JANG SOO LEE, and Doo-Hwan Bae, “원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구”, 2017 Korea Computer Congress (KCC), 2017
“* <span style=”“font-size:11pt”“>Junho Kim, Donghwan Shin, and Doo-Hwan Bae, ““An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal
Achievement Verification””, KIISE Transactions on Computing Practices, 23(4), 2017”
2016
Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “Automated test sequence generation for function block diagram programs”, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 2016:
Jinho Choi, Eunkyoung Jee, and Doo-Hwan Bae, “Timing consistency checking for UML/MARTE behavioral models”, Software Quality Journal, 24, 2016:
Young-Min Baek, and Doo-Hwan Bae, “Automated model-based android gui testing using multi-level gui comparison criteria”, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016:
Donghwan Shin, Eunkyoung Jee, and Doo-Hwan Bae, “Comprehensive analysis of FBD test coverage criteria using mutants”, Software & Systems Modeling, 15, 2016:
Misun Yu, and Doo-Hwan Bae, “SimpleLock+: Fast and Accurate Hybrid Data Race Detection”, The Computer Journal, 59(6), 2016:
Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, and Doo-Hwan Bae, “Modeling and verification for different types of system of systems using prism”, Proceedings of the 4th International Workshop on Software Engineering for Systems-of-System, 2016:
Donghwan Shin, Shin Yoo, and Doo-Hwan Bae, “Diversity-aware mutation adequacy criterion for improving fault detection capability”, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2016:
Donghwan Shin, and Doo-Hwan Bae, “A theoretical framework for understanding mutation-based testing methods”, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016:
Misun Yu, Yu-Seung Ma, and Doo-Hwan Bae, “Characterizing non-deadlock concurrency bug fixes in open-source Java programs”, Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016:
Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, and Doo-Hwan Bae, “A runtime verification framework for dynamically adaptive multi-agent systems”, 2016 International Conference on Big Data and Smart Computing (BigComp), 2016:
Youlim Jung, Young-Min Baek, Ilchul Yoon, and Doo-Hwan Bae, “Analysis of Multi Agent Systems Meta Modeling Approaches for System-of-Systems Modeling”, 2016 Korea Conference on Software Engineering (KCSE), 2016
Cheonghyun Lee, Eunkyong Jee, Yoo Jin Lim, and Doo-Hwan Bae, “A Feasibility Study of Goal-based Testing with a Task-based Test Model for Collective Adaptive Systems”, KIISE Transactions on Computing Practices, 22(8), 2016
Wonkyung Yun, Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “A Suitability Analysis of SUMO for Modeling System of Systems in Traffic Domain Example”, 2016 Korea Computer Congress (KCC), 2016
Junho Kim, Donghwan Shin, and Doo-Hwan Bae, “A Case Study of Action Benefit Cost Modeling and Statistical Model Checking for System of Systems Property Verification”, 2016 Korea Computer Congress (KCC), 2016
Donghwan Shin, Junho Kim, Wonkyung Yun, Eunkyoung Jee, and Doo-Hwan Bae, “A Case Study for Mutation-based Fault Localization for FBD Programs”, KIISE Transactions on Computing Practices, 22(3), 2016
2015
Dongwon Seo, Donghwan Shin, and Doo-Hwan Bae, “Quality based software project staffing and scheduling with cost bound”, 2015 Asia-Pacific Software Engineering Conference (APSEC), 2015:
Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, and Doo-Hwan Bae, “Efficient testing of self-adaptive behaviors in collective adaptive systems”, 2015 IEEE 39th Annual Computer Software and Applications Conference, 2015:
Ah-Rim Han, Doo-Hwan Bae, and Sungdeok Cha, “An efficient approach to identify multiple and independent move method refactoring candidates”, Information and Software Technology, 59, 2015:
Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, and Doo-Hwan Bae, “Human resource allocation in software project with practical considerations”, International Journal of Software Engineering and Knowledge Engineering, 25(1), 2015:
Dongwon Seo, Donghwan Shin, and Doo-Hwan Bae, “Quality Based Software Project Staffing and Scheduling with Budget and Deadline.”, QuASoQ/WAWSE/CMCE@ APSEC, 2015:
Cheonghyun Lee, Yoo Jin Lim, Eunkyoung Jee, and Doo-Hwan Bae, “A Feasibility Study of Verification on a Task-based Test Model for Collective Adaptive Systems “, 제42회 한국정보과학회 동계학술발표회, 2015
Youngmin Baek, Gwangui Hong, and Doo-Hwan Bae, “A GUI State Comparison Technique for Effective Model-based Android GUI Testing”, Journal of KIISE, 42(11), 2015
Dongwon Seo, Donghwan Shin, and Doo-Hwan Bae, “Quality-Based Software Project Staffing and Scheduling with Project Deadline”, Journal of KIISE, 42(7), 2015
Eunkyong Jee, Donghwan Shin, Youngmin Baek, and Doo-Hwan Bae, “원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고”, Communications of the Korean Institute of Information Scientists and Engineers, 2015
Youngmin Baek, Gwangui Hong, Cheonghyun Lee, and Doo-Hwan Bae, “A Screen Comparison Technique for Effective Model-based Android GUI Testing”, 2015 Korea Computer Congress (KCC), 2015
Donghwan Shin, Wonkyung Yun, Junho Kim, Eunkyoung Jee, and Doo-Hwan Bae, “Applicability of Mutation-based Fault Localization for FBD Programs”, 2015 Korea Computer Congress (KCC), 2015
Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “Generation of Test Sequences Satisfying Structural Test Coverage Criteria for FBD Programs “, 2015 Korea Computer Congress (KCC), 2015
Hanseok Kim, Eunkyoung Jee, and Doo-Hwan Bae, “Analysis of Timed Automata Model-based Testing Approaches and Case Study”, KIISE Transactions on Computing Practices, 21(2), 2015
Dongwon Seo, Donghwan Shin, and Doo-Hwan Bae, “Quality Based Software Project Staffing and Scheduling with Time Bound”, 2015 Korea Conference on Software Engineering (KCSE), 2015
Young-Taek Kim, Jihun Park, Young-Mi Jeoun, Jongmoon Baik, and Doo-Hwan Bae, “An Approach for Software Process Improvement based on Software Defect Analysis of UAS”, 2015 Korea Conference on Software Engineering (KCSE), 2015
2014
Ah-Rim Han, and Doo-Hwan Bae, “An efficient method for assessing the impact of refactoring candidates on maintainability based on matrix computation”, 2014 21st Asia-Pacific Software Engineering Conference, 2014:
Gigon Bae, Gregg Rothermel, and Doo-Hwan Bae, “Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study”, Journal of Systems and Software, 97, 2014:
Jihun Park, Miryung Kim, and Doo-Hwan Bae, “An empirical study on reducing omission errors in practice”, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, 2014:
Eunkyoung Jee, Donghwan Shin, Sungdeok Cha, Jang‐Soo Lee, Doo‐Hwan Bae, and Doo-Hwan Bae, “Automated test case generation for FBD programs implementing reactor protection system software”, Software Testing, Verification and Reliability, 24(8), 2014:
Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, and Doo-Hwan Bae, “Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software”, Proceedings of the 29th annual ACM symposium on applied computing, 2014:
Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, and Doo-Hwan Bae, “Practical Human Resource Allocation in Software Projects Using Genetic Algorithm”, SEKE, 2014:
Cheolwoo Chae, Donghwan Shin, Eunkyoung Jee, Gwangui Hong, and Doo-Hwan Bae, “Case Study and Analysis of Multi-Agent Systems Modeling with SCADE”, 2014 Korea Software Congress (KSC), 2014
Yusung Sim, Yeongju Song, Jaewon Wi, Jaemin Hong, Doo-Hwan Bae, Eunkyoung Jee, Ji-Hoon Park, and Doo-Hwan Bae, “Design of Timetable Scheduling Algorithm suitable for Free Course Registration”, 2014 Korea Software Congress (KSC), 2014
Hanseok Kim, Eunkyoung Jee, and Doo-Hwan Bae, “Analysis of timed automata model-based testing approaches”, 2014 Korea Computer Congress (KCC), 2014
Gwangui Hong, Yujin Lim, Eunkyoung Jee, Donghwan Shin, and Doo-Hwan Bae, “Verification Framework for Autonomous Collaboration of Smart Devices”, 2014 Korea Computer Congress (KCC), 2014
Eunkyoung Jee, and Doo-Hwan Bae, “Analysis of Automated Code Generation Techniques from Timed Automata Models”, Communications of the Korean Institute of Information Scientists and Engineers, 32(4), 2014
Yoo-Jin Lim, Donghwan Shin, Eunkyoung Jee, Ji-Hoon Park, and Doo-Hwan Bae, “의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석”, 2014 Korea Conference on Software Engineering (KCSE), 2014
2013
Ross Jeffery Yeong-Seok Seo, and Doo-Hwan Bae, “AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning”, Information and Software technology, 55(10), 2013:
Jeongseok Seo, Sungdeok Cha, Bin Zhu, Doohwan Bae, and Doo-Hwan Bae, “PC worm detection system based on the correlation between user interactions and comprehensive network behaviors”, IEICE TRANSACTIONS on Information and Systems, 96(8), 2013:
Yeong-Seok Seo, and Doo-Hwan Bae, “On the value of outlier elimination on software effort estimation research”, Empirical Software Engineering, 18, 2013:
Su Yong Kim, Sungdeok Cha, and Doo-Hwan Bae, “Automatic and lightweight grammar generation for fuzz testing”, Computers & Security, 36, 2013:
Ah-Rim Han, and Doo-Hwan Bae, “Dynamic profiling-based approach to identifying cost-effective refactorings”, Information and Software Technology, 55(6), 2013:
Seung-Hun Park, and Doo-Hwan Bae, “Tailoring a large‐sized software process using process slicing and case‐based reasoning technique”, Iet Software, 7(1), 2013:
Jihun Park, Donghwan Shin, Gwangui Hong, Dongwon Seo, Jimin Hwa, Gigon Bae, Yeong-Seok Seo, and Doo-Hwan Bae, “Automatic Project Planning Technique and Tool Based on Software Industry Requirements”, Journal of Software Engineering Society, 26(4), 2013:
Gwangui Hong, Eunkyoung Jee, Dongwon Seo, and Doo-Hwan Bae, “A Systematic Code Verification Approach and a Case Study for the Properties of Real-time Software Model”, Journal of KIISE : Software and Applications, 40(12), 2013
Dongwon Seo, Eunkyoung Jee, and Doo-Hwan Bae, “Application of real-time model based test cases to test cases on code”, 2013 Korea Software Congress (KSC), 2013
Jimin Hwa, Ji-Hoon Park, Donghwan Shin, Gwangui Hong, Yeong-Seok Seo, Gigon Bae, and Doo-Hwan Bae, “Automated Human Resource Allocation based on Practical Feedback from Software Industry”, Journal of KIISE : Software and Applications, 40(7), 2013
Gwangui Hong, Eunkyoung Jee, and Doo-Hwan Bae, “Systematic code verification for properties of real-time software models”, 2013 Korea Computer Congress (KCC), 2013
Jinho Choi, Eunkyoung Jee, and Doo-Hwan Bae, “Systematic Generation of VxWorks-based Code from Timed Automata Models”, KIISE Transactions on Computing Practices, 19(2), 2013
Donghwan Shin, Eunkyoung Jee, and Doo-Hwan Bae, “Definition of Mutation Operators for FBD Models and Case Study”, KIISE Transactions on Computing Practices, 19(1), 2013
Jimin Hwa, Ji-Hoon Park, Donghwan Shin, Gwangui Hong, Gigon Bae, Yeong-Seok Seo, and Doo-Hwan Bae, “소프트웨어 프로젝트 계획에서의 구체적 실무 이슈를 반영한 자동화된 인력 할당 기법”, 2013 Korea Conference on Software Engineering (KCSE), 2013
2012
Gigon Bae, Gregg Rothermel, and Doo-Hwan Bae, “On the relative strengths of model-based and dynamic event extraction-based GUI testing techniques: An empirical study”, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012:
Myongho Kim, Joohyun Lee, and Doo-Hwan Bae, “Generic Process Framework for Safety-Critical Software in a Weapon System”, FGIT-EL/DTA/UNESST, 2012:
Yeong-Seok Seo, Donghwan Shin, Gookhyun Kim, Jongmoon Baik, and Doo-Hwan Bae, “Identification of Quality Improvement Strategies using COPQ in Software Industry”, International Journal of Performability Engineering, 8(6), 2012:
Jinho Choi, Eunkyoung Jee, and Doo-Hwan Bae, “Toward systematic construction of timing diagrams from UML/MARTE behavioral models for time-triggered embedded software”, 2012 IEEE Sixth International Conference on Software Security and Reliability, 2012:
Jihun Park, Miryung Kim, Baishakhi Ray, and Doo-Hwan Bae, “An empirical study of supplementary bug fixes”, 2012 9th IEEE Working Conference on Mining Software Repositories (MSR), 2012:
Woomok Kim, Tae-hyung Kim, Sangtae Kim, and Doo-Hwan Bae, “Rebuilding a Unified Database Service via Context Analysis Method”, 2012 16th European Conference on Software Maintenance and Reengineering, 2012:
Dong-Hwan Shin, Eun-Kyoung Jee, and Doo-Hwan Bae, “Definition of Mutation Operators for FBD Models”, Proceedings of the Korean Information Science Society Conference, 2012:
Jin-Ho Choi, Eun-Kyoung Jee, and Doo-Hwan Bae, “Systematic vxworks-based code generation from timed automata model”, Proceedings of the Korean Information Science Society Conference, 2012:
Jinho Choi, and Doo-Hwan Bae, “An approach to constructing timing diagrams from UML/MARTE behavioral models for guidance and control unit software”, Computer Applications for Database, Education, and Ubiquitous Computing: International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings, 2012:
Donghwan Shin, Eunkyoung Jee, and Doo-Hwan Bae, “Empirical evaluation on FBD model-based test coverage criteria using mutation analysis”, Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings 15, 2012:
Jongse Won, Yeong-Seok Seo, and Doo-Hwan Bae, “An experimental study on the realtionship between software configuration management and fault incidence information”, 2012 Korea Software Congress (KSC), 2012
Jinho Choi, Eunkyoung Jee, and Doo-Hwan Bae, “Systematic VxWorks-based Code Generation from Timed Automata Model”, 2012 Korea Computer Congress (KCC), 2012
Donghwan Shin, Eunkyoung Jee, and Doo-Hwan Bae, “Definition of Mutation Operators for FBD Models”, 2012 Korea Computer Congress (KCC), 2012
2011
DongSeok Cho, DooHwan Bae, and Doo-Hwan Bae, “Case study on installing a porting process for embedded operating system in a small team”, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement-Companion, 2011:
Hyeon-Jeong Kim, Doo-Hwan Bae, Vidroha Debroy, W Eric Wong, and Doo-Hwan Bae, “Deriving Data Dependence from/for UML State Machine Diagrams”, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011:
In-Gwon Song, Sang-Uk Jeon, Ah-Rim Han, and Doo-Hwan Bae, “An approach to identifying causes of implied scenarios using unenforceable orders”, Information and Software Technology, 53(6), 2011:
Dongwon Kang, Jinhwan Jung, Doo‐Hwan Bae, and Doo-Hwan Bae, “Constraint‐based human resource allocation in software projects”, Software: Practice and Experience, 41(5), 2011:
Sukhee Lee, Gigon Bae, Heung Seok Chae, Doo‐Hwan Bae, Yong Rae Kwon, and Doo-Hwan Bae, “Automated scheduling for clone‐based refactoring using a competent GA”, Software: Practice and Experience, 41(5), 2011:
Seunghun Park, and Doo-Hwan Bae, “An approach to analyzing the software process change impact using process slicing and simulation”, Journal of Systems and Software, 84(4), 2011:
HyeonJeong Kim, Vidroha Debroy, DooHwan Bae, and Doo-Hwan Bae, “Identifying properties of UML state machine diagrams that affect data and control dependence”, Proceedings of the 2011 ACM Symposium on Applied Computing, 2011:
Wei-Jin Park, and Doo-Hwan Bae, “A two-stage framework for UML specification matching”, Information and Software Technology, 53(3), 2011:
Seunghun Park, Sangyoon Min, Doohwan Bae, and Doo-Hwan Bae, “Process instance management facilities based on the meta process models”, Computational Science and Its Applications-ICCSA 2011: International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V 11, 2011:
Jinho Choi, Eunkyoung Jee, Hyunjeong Kim, and Doo-Hwan Bae, “A Case Study on Timing Constraints Verification for Safety-Critical, Time-Triggered Embedded Software”, Journal of KIISE : Software and Applications, 38(12), 2011
Seokho Cheon, and Doo-Hwan Bae, “A case study on software architecture reengineering of realtime embedded system”, 2011 Korea Software Congress (KSC), 2011
Bum-Seok Park, Hyunjeong Kim, and Doo-Hwan Bae, “A regression test resource allocation method based on repaircost in embedded software product line”, 2011 Korea Software Congress (KSC), 2011
Hyunsik Cho, Yeong-Seok Seo, and Doo-Hwan Bae, “Improving the Accuracy of Analogy-Based Effort Estimation by Local Optimization of Attribute Weight”, Journal of KIISE : Software and Applications, 38(7), 2011
Dongwon Kang, In-Gwon Song, and Doo-Hwan Bae, “Knowledge-based Process Tailoring Automation”, Journal of KIISE : Software and Applications, 38(6), 2011
Jinho Choi, Eunkyoung Jee, Hyunjeong Kim, and Doo-Hwan Bae, “A case study on timing constraints verification for a safety-critical, real-time system”, 2011 Korea Computer Congress (KCC), 2011
Woomok Kim, Jaewhan Kwon, and Doo-Hwan Bae, “A Case Study of the Improvement of Maintainability using Reengineering Approach on the Mobile Software Platform”, 2011 Korea Computer Congress (KCC), 2011
Hyunsik Cho, Yeong-Seok Seo, and Doo-Hwan Bae, “유추기반 공수 예측에서 국소적으로 최적화된 속성 가중치 부여 기법”, 2011 Korea Conference on Software Engineering (KCSE), 2011
2010
HyeonJeong Kim, W Eric Wong, Vidroha Debroy, and Doo-Hwan Bae, “Bridging the gap between fault trees and UML state machine diagrams for safety analysis”, 2010 Asia Pacific Software Engineering Conference (APSEC), 2010:
Dongwon Kang, and Doo-Hwan Bae, “Software fault prediction models for web applications”, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops, 2010:
Tuan Khanh Le-Do, Kyung-A Yoon, Yeong-Seok Seo, and Doo-Hwan Bae, “Filtering of inconsistent software project data for analogy-based effort estimation”, 2010 IEEE 34th Annual Computer Software and Applications Conference, 2010:
Sunkyung Lee, Dongwon Kang, and Doo-Hwan Bae, “Software Effort Estimation based on Use Case Transaction”, KIISE Transactions on Computing Practices, 16(5), 2010
Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, and Jang-Eui Hong, “Measuring behavioral dependency for improving change-proneness prediction in UML-based design models”, Journal of Systems and Software, 83(2), 2010:
Dongwon Kang, In-Gwon Song, and Doo-Hwan Bae, “사례기반 추론을 활용한 지식 기반 프로세스 테일러링 기법”, 2010 Korea Conference on Software Engineering (KCSE), 2010
Hee-Jin Lee, Joon-Sang Lee, and Doo-Hwan Bae, “요구사항 단계에서의 메뉴 관계 분석을 통한 휴대폰의 사용성 측정”, 2010 Korea Conference on Software Engineering (KCSE), 2010
Kyung-A Yoon, and Doo-Hwan Bae, “A pattern-based outlier detection method identifying abnormal attributes in software project data”, Information and Software Technology, 52(2), 2010:
2009
In-Gwon Song, Sang-Uk Jeon, and Doo-Hwan Bae, “A graph based approach to detecting causes of implied scenarios under the asynchronous and synchronous communication styles”, 2009 16th Asia-Pacific Software Engineering Conference, 2009:
Yeong-Seok Seo, Kyung-A Yoon, and Doo-Hwan Bae, “Improving the accuracy of software effort estimation based on multiple least square regression models by estimation error-based data partitioning”, 2009 16th Asia-Pacific Software Engineering Conference, 2009:
Sunkyung Lee, Dongwon Kang, and Doo-Hwan Bae, “Software effort estimation based on use case transaction”, 2009 Korea Software Congress (KSC), 2009
Jang-Eui Hong, and Doo-Hwan Bae, “Power Consumption Analysis Techniques for Energy Efficient Embedded Software”, Communications of the Korean Institute of Information Scientists and Engineers, 27(11), 2009
Tae-Hoon Song, Byung-Yeop Na, Kyung-A Yoon, and Doo-Hwan Bae, “AN APPROACH TO LIFE CYCLE COST ESTIMATION FOR OPERATION AND MAINTENANCE OF FIXED-WING AIRCRAFT BY CONSIDERING PERFORMANCE AND CAPABILITY”, Conference of Korean Operations Research and Management Science Society, 2009
Tegegne Marew, Joon-Sang Lee, and Doo-Hwan Bae, “Tactics based approach for integrating non-functional requirements in object-oriented analysis and design”, Journal of Systems and Software, 82(10), 2009:
Sang-Uk Jeon, Jang-Eui Hong, In-Gwon Song, and Doo-Hwan Bae, “Developing platform specific model for MPSoC architecture from UML-based embedded software models”, Journal of Systems and Software, 82(10), 2009:
Seunghun Park, Hyeonjeong Kim, and Doo-Hwan Bae, “Change impact analysis of a software process using process slicing”, 2009 Ninth International Conference on Quality Software, 2009:
Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, and Doo-Hwan Bae, “A data flow-based structural testing technique for FBD programs”, Information and Software Technology, 51(7), 2009:
Dongho Lee, Kyung-A Yoon, and Doo-Hwan Bae, “A Missing Data Imputation by Combining K Nearest Neighbor with Maximum Likelihood Estimation for Numerical Software Project Data”, Journal of KIISE : Software and Applications, 36(4), 2009
Hyoung In Ihm, Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, and Jang-Eui Hong, “내장형 S/W 개발 시 명령어패턴을 이용한 모델기반의 에너지 소모 예측 기법”, 2009 Korea Conference on Software Engineering (KCSE), 2009
Chan Hee Yi, Dongwon Kang, Seung-Hun Park, and Doo-Hwan Bae, “연관성 규칙을 활용한 비기능 요구사항에의 추적성 향상에 대한 연구”, 2009 Korea Conference on Software Engineering (KCSE), 2009
KeungSik Choi, and Doo-Hwan Bae, “Dynamic project performance estimation by combining static estimation models with system dynamics”, Information and software technology, 51(1), 2009:
2008
Dongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, and Nobok Lee, “A case retrieval method for knowledge-based software process tailoring using structural similarity”, 2008 15th Asia-Pacific Software Engineering Conference, 2008:
Jang-Eui Hong, Jong-phil Kim, and Doo-Hwan Bae, “Scenario-Based Interoperability Test Approach for Defense Information Systems in NCW Environment”, Communications of the Korean Institute of Information Scientists and Engineers, 26(11), 2008
Yeong-Seok Seo, Kyung-A Yoon, and Doo-Hwan Bae, “Analyzing Influence of Outlier Elimination on Accuracy of Software Effort Estimation”, Journal of KIISE : Software and Applications, 35(10), 2008
Dongho Lee, Kyung-A Yoon, and Doo-Hwan Bae, “An approach to missing data imputation by combining K nearest neighbor with maximum likelihood estimation for numerical software project data”, 2008 Korea Software Congress (KSC), 2008
Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, and Jang-Eui Hong, “Behavioral dependency measurement for change-proneness prediction in UML 2.0 design models”, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008:
Seunghun Park, Hyeonjeong Kim, Dongwon Kang, and Doo-Hwan Bae, “Developing a Simulation Model using a SPEM-based Process Model and Analytical Models”, 4th International Workshop on Enterprise & Organizational Modeling and Simulation, 2008:
Yeong-Seok Seo, Kyung-A Yoon, and Doo-Hwan Bae, “An empirical analysis of software effort estimation with outlier elimination”, 4th international workshop on Predictor models in software engineering, 2008:
Hyung Ho Kim, and Doo-Hwan Bae, “Object-oriented concept analysis for software modularisation”, IET software, 2(2), 2008:
Jang-Eui Hong, and Doo-Hwan Bae, “Process Model for Software Engineering Education”, Communications of the Korean Institute of Information Scientists and Engineers, 26(2), 2008
HyeonJeong Kim, Seung-Hun Park, Gyeong-Sik Choe, and Doo-Hwan Bae, “시뮬레이션을 이용한 점진적 모델의 특성이 일정 및 공수에 미치는 영향 분석”, 2008 Korea Conference on Software Engineering (KCSE), 2008
Yeong-Seok Seo, Kyung-A Yoon, and Doo-Hwan Bae, “이상치 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석”, 2008 Korea Conference on Software Engineering (KCSE), 2008
Hyoung In Ihm, In-Gwon Song, Sang-Uk Jeon, Ah-Rim Han, Jang-Eui Hong, and Doo-Hwan Bae, “임베디드 소프트웨어 설계 모델의 추상화 수준에 따른 전력소모 예측 기법”, 2008 Korea Conference on Software Engineering (KCSE), 2008
Seunghun Park, Hyeonjeong Kim, Dongwon Kang, and Doo-Hwan Bae, “Developing a software process simulation model using SPEM and analytical models”, International Journal of Simulation and Process Modelling, , 2008:
2007
Tae-Hoon Song, Kyung-A Yoon, and Doo-Hwan Bae, “An approach to probabilistic effort estimation for military avionics software maintenance by considering structural characteristics”, 14th Asia-Pacific Software Engineering Conference (APSEC’07), 2007:
SeungHun Park, KeungSik Choi, KyungA Yoon, and Doo-Hwan Bae, “Deriving software process simulation model from spem-based software process model”, 14th Asia-Pacific Software Engineering Conference (APSEC’07), 2007:
Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “ESUML - An Environment for the Analysis of UML-based Embedded Software Model”, Journal of Korea Software Engineering Society, 20(4), 2007
In-Gyu Kim, Doo-Hwan Bae, and Jang-Eui Hong, “A component composition model providing dynamic, flexible, and hierarchical composition of components for supporting software evolution”, Journal of Systems and Software, 80(11), 2007:
Eun Young Choi, and Doo-Hwan Bae, “Improving Reusability through Sensor Framework In Mobile Environment”, 2007 Korea Software Congress (KSC), 2007
Kyung-A Yoon, Oh-Sung Kwon, and Doo-Hwan Bae, “An approach to outlier detection of software measurement data using the k-means clustering method”, First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), 2007:
In-Gwon Song, Gi-Young Oh, Jang-Eui Hong, and Doo-Hwan Bae, “Modeling and Simulation of Platform Specific Model in MPSoC Environment”, Journal of KIISE : Software and Applications, 34(8), 2007
Seok Joong Woo, Kyung-A Yoon, and Doo-Hwan Bae, “소프트웨어 개발자의 행동패턴을 이용한 작업기반 소프트웨어 개발 공수측정 및 분석”, 2007 Joint Workshop on Software Engineering Technology (KSEJW), 2007
Ah-Rim Han, Dongwon Kang, HyeonJeong Kim, and Doo-Hwan Bae, “지식 기반의 소프트웨어 프로세스 테일러링을 위한 유사 프로세스 추출 기법”, 2007 Joint Workshop on Software Engineering Technology (KSEJW), 2007
Seung-Hun Park, Gyeong-Sik Choe, and Doo-Hwan Bae, “A Software Process Modeling Approach for Providing Consistency between the Process Description and Simulation”, Korea Multimedia Society, 11(2), 2007
Dongwon Kang, Seung-Hun Park, Jang-Eui Hong, Byung Gul Lee, Jeong Ah Kim, Sooyong Park, Byung-Sun Ko, Eun-Joong Lee, Sang-Eun Lee, and Doo-Hwan Bae, “중소규모 조직을 위한 소프트웨어 프로세스 모델”, 2007 Korea Conference on Software Engineering (KCSE), 2007
In-Gwon Song, Gi-Young Oh, Jang-Eui Hong, and Doo-Hwan Bae, “MPSoC용 임베디드 소프트웨어의 PSM 모델 개발을 위한 UML 모델의 자동 매핑 기법”, 2007 Korea Conference on Software Engineering (KCSE), 2007
Tegegne Marew, Jungyoon Kim, and Doo-Hwan Bae, “Systematic functional decomposition in a product line using aspect-oriented software development: A case study”, International Journal of Software Engineering and Knowledge Engineering, 17(1), 2007:
2006
In-Gwon Song, Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “Implied scenario analysis in UML 2.0 scenario specification”, International Conference on System Integration and reliability Improvements, 2006
Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “Using operational architecture to model embedded software”, 2006 13th Asia Pacific Software Engineering Conference (APSEC’06), 2006:
Gyeong-Sik Choe, and Doo-Hwan Bae, “Analysis of Defense Software Acquisition Using Software Process Simulation”, The Quarterly Journal of Defense Policy Studies, 22(4), 2006
Wei-jin Park, Junhwan Kim, and Doo-Hwan Bae, “Personalized primary port: analysis of user view for the smart environment”, 16th International Conference on Artificial Reality and Telexistence, 2006:
Jang-Eui Hong, and Doo-Hwan Bae, “MDA-based Embedded Software Development for Multiprocessor Architecture”, Communications of the Korean Institute of Information Scientists and Engineers, 24(8), 2006
Jungyoon Kim, and Doo-Hwan Bae, “An approach to feature-based software construction for enhancing maintainability”, Software: Practice and Experience, 36(9), 2006:
KeungSik Choi, Doo-Hwan Bae, and TagGon Kim, “An approach to a hybrid software process simulation using the DEVS formalism”, Software Process: Improvement and Practice, 11(4), 2006:
Ah-Rim Han, Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “Time Consistency Checking on UML 2.0 Behavioral Models Using OCL”, 2006 Korea Computer Congress (KCC), 2006
Ikjoo Han, and Doo-Hwan Bae, “Composition of aspects based on a relation model: Synergy of multiple paradigms”, International Journal of Software Engineering and Knowledge Engineering, 16(3), 2006:
Keung Sik Choi, and Doo-Hwan Bae, “Analysis of Software-Intensive System Acquisition Using Hybrid Software Process Simulation”, International Workshop on Software Process Simulation and Modeling, 2006:
Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “Interaction-based behavior modeling of embedded software using UML 2.0”, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC’06), 2006:
In-Gyu Kim, Tegegne Marew, Doo-Hwan Bae, Jang-Eui Hong, and Sang-Yoon Min, “Dimensions of composition models for supporting software evolution”, 5th International Symposium on Software composition, 2006:
Sang-Uk Jeon, Hee-Jin Lee, and Doo-Hwan Bae, “Object-Oriented Design of Shape-Steel Manufacturing Automation System”, Communications of the Korean Institute of Information Scientists and Engineers, 24(3), 2006
Tegegne Marew, and Doo-Hwan Bae, “Using Classpects for Integrating Non-Functional and Functional Requirements.”, 24th IASTED International Multi-Conference Software Engineering, 2006:
KeungSik Choi, SungChul Jung, HyunJung Kim, Doo-Hwan Bae, and DongHun Lee, “UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development.”, 24th IASTED International Multi-Conference Software Engineering, 2006:
Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “Operational Architecture에 기반한 임베디드 소프트웨어의 계층적 모델링”, 2006 Korea Conference on Software Engineering (KCSE), 2006
Yong Ho Jin, Su Hyun Kim, Kyung-A Yoon, and Doo-Hwan Bae, “다차원적 데이터 분석을 지원하기 위한 소프트웨어 측정 데이터 모델의 확장”, 2006 Korea Conference on Software Engineering (KCSE), 2006
Dongwon Kang, Kyung-A Yoon, and Doo-Hwan Bae, “개발자 능력을 고려한 소프트웨어 모듈 할당 자동화 기법”, 2006 Korea Conference on Software Engineering (KCSE), 2006
2005
Hee-Jin Lee, In-Gwon Song, Sang-Uk Jeon, Jang-Eui Hong, and Doo-Hwan Bae, “Extended Sequence Diagrams For Embedded Software Behavior Modeling”, 2005 Korea Software Congress (KSC), 2005
Sang-Uk Jeon, Hee-Jin Lee, Jang-Eui Hong, and Doo-Hwan Bae, “ESUML: UML-based Modeling Method for Embedded Software”, 2005 Korea Software Congress (KSC), 2005
Kyung-A Yoon, Seung-Hun Park, Doo-Hwan Bae, Hoon-Seon Chang, and Jae-Cheon Jung, “A Framework for the Vamp; V Capability Assessment Focused on the Safety-Criticality”, 13th IEEE International Workshop on Software Technology and Engineering Practice (STEP’05), 2005:
Tegegne Marew, Jungyoon Kim, and Doo-Hwan Bae, “Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development.”, 17th International Conference on Software Engineering and Knowledge Engineering, 2005:
Ik-Joo Han, and Doo-Hwan Bae, “Dynamically Evolvable Composition of Aspects Based On Relation Model”, 17th International Conference on Software Engineering and Knowledge Engineering, 2005:
KeungSik Choi, Doo-Hwan Bae, and TagGon Kim, “DEVS-based software process simulation modeling: formally specified, modularized, and extensible SPSM”, ProSim’05, 2005:
Yang Hae-Sool, and Doo-Hwan Bae, “Standardization of Software Quality and Trend of Test Certification Technologies”, Communications of the Korean Institute of Information Scientists and Engineers, 23(3), 2005
Seung-Hun Park, Kyung-A Yoon, and Doo-Hwan Bae, “CMMI를 기반으로 확장된 SPEM 프로파일을 이용한 프로세스 모델링과 테일러링”, 2005 Korea Conference on Software Engineering (KCSE), 2005
2004
Heung Seok Chae, Yong Rae Kwon, and Doo-Hwan Bae, “Improving cohesion metrics for classes by considering dependent instance variables”, IEEE transactions on Software Engineering, 30(11), 2004:
Jungyoon Kim, and Doo-Hwan Bae, “An approach to feature based modelling by dependency alignment for the maintenance of the trustworthy system”, 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), 2004:
Heung-Seok Chae, Yong Rae Kwon, and Doo-Hwan Bae, “Improving Cohesion Metrics for Classes By Considering Dependent Instance Variables”, Journal of KIISE : Software and Applications, 31(9), 2004
Kyung-A Yoon, Sang-Yoon Min, and Doo-Hwan Bae, “Model-based project process analysis using project tracking data”, Software Engineering Research and Applications, 2004:
Joon-Sang Lee, and Doo-Hwan Bae, “An aspect-oriented framework for developing component-based software with the collaboration-based architectural style”, Information and Software Technology, 46(2), 2004:
Cheol-Ho Kim, Sang-Uk Jeon, and Doo-Hwan Bae, “관점 지향 리팩토링 목록 설계”, 2004 Korea Conference on Software Engineering (KCSE), 2004
2003
Seung-Hun Park, Kyung-A Yoon, Sang-Uk Jeon, Doo-Hwan Bae, and Hoon Seon Chang, “Case Study : CMMI based Appraisal for the Software Development Process of Nuclear Power Safety Measuring Control System”, 2003 Korea Software Congress (KSC), 2003
Jungyoon Kim, Joon-Sang Lee, Doo Hwan Bae, Dong-Kuk Ryu, and Sang-Il Lee, “Developing a common operating environment for military application”, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003, 2003:
Heung-Seok Chae, Yong-Rae Kwon, and Doo-Hwan Bae, “Response to ‘More comments on: A cohesion measure for object-oriented classes’”, Software: Practice and Experience, 33(6), 2003:
Sang-Uk Jeon, In-Gyu Kim, Jungyoon Kim, Kyung-A Yoon, and Doo-Hwan Bae, “CBD Methodology Comparison”, Korea Information Processing Society Review, 10(3), 2003
Seon-ae Lee, Joon-Sang Lee, and Doo-Hwan Bae, “Compatibility - Guaranteeing Software Component Evolution based on Composition Rules”, 2003 Korea Computer Congress (KCC), 2003
Hyun-Min Ko, Myung-Geun Son, Yunju Oh, and Doo-Hwan Bae, “The Analysis on the Possibility of Business Process Modeling using UML Activity Diagram”, 2003 Korea Computer Congress (KCC), 2003
Myung-Geun Son, Hyun-Min Ko, Kyung-A Yoon, and Doo-Hwan Bae, “A Development Method for Common Operating Environment Segments”, 2003 Korea Computer Congress (KCC), 2003
2002
Sang-Uk Jeon, Joon-Sang Lee, and Doo-Hwan Bae, “An automated refactoring approach to design pattern-based program transformations in Java programs”, Ninth Asia-Pacific Software Engineering Conference, 2002:
Joon-Sang Lee, and Doo-Hwan Bae, “An enhanced role model for alleviating the role-binding anomaly”, Software: practice and experience, 32(14), 2002:
Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, and Doo-Hwan Bae, “A semantics of sequence diagrams”, Information Processing Letters, 84(3), 2002:
Seung Mo Cho, Hyung Ho Kim, Sungdeok Cha, and Doo-Hwan Bae, “A Temporal Logic for Specification of Dynamic Systems and Its Verification”, Journal of KIISE : Software and Applications, 29(7-8), 2002
Seung Mo Cho, Hyung Ho Kim, Sungdeok Cha, and Doo-Hwan Bae, “Monitoring and Checking Concurrent Java Programs with HDTL”, Journal of KIISE : Software and Applications, 29(5-6), 2002
2001
Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, and Yong-Rae Kwon, “Framework for third party testing of component software”, Eighth Asia-Pacific Software Engineering Conference, 2001:
Il-Chul Yoon, Sang-Yoon Min, and Doo-Hwan Bae, “Tailoring and verifying software process”, Eighth Asia-Pacific Software Engineering Conference, 2001:
Doo-Hwan Bae, “Software Engineering Education for IT Industry in the 21th Century”, Communications of the Korean Institute of Information Scientists and Engineers, 19(12), 2001
Heung-Seok Chae, Yong-Rae Kwon, and Doo-Hwan Bae, “Response to ‘Comments on: A cohesion measure for object-oriented classes’”, Software: Practice and Experience, 31(14), 2001:
Yong-Ho Jin, and Doo-Hwan Bae, “A Requirements Analysis Method for Embedded System Using Nested Use Case Model”, 2001 Korea Software Congress (KSC), 2001
Sang-Woon Kim, Yu-Seung Ma, Jae-Sung Kang, Doo-Hwan Bae, and Yong Rae Kwon, “Generating Automated Testing Environment for Enterprise Components using UML / OCL”, 2001 Korea Software Congress (KSC), 2001
Joon-Sang Lee, Doo-Hwan Bae, and Ikju Han, “Towards Coping with Role-Binding Anomaly”, **, 2001:
Hyung Ho Kim, Doo-Hwan Bae, Chang-Sup Keum, and Byung-Sun Lee, “Developing component architecture for telecommunication systems”, The second International Conference on Software Engineering, Artificial Intelligence, Network & Parallel/Distributed Computing, 2001:
Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, and Doo-Hwan Bae, “A Temporal Logic for Dynamic Systems and its Application to SDL”, The second International Conference on Software Engineering, Artificial Intelligence, Network & Parallel/Distributed Computing, 2001:
Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, and Doo-Hwan Bae, “Specification and validation of dynamic systems using temporal logic”, IEE Proceedings-Software, 148(4), 2001:
In-Gyu Kim, Jang-Eui Hong, Doo-Hwan Bae, Ik-Joo Han, and Cheong Youn, “Scalable mobile agents supporting dynamic composition of functionality”, Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, 2001:
Jang-Eui Hong, and Doo-Hwan Bae, “Incremental scenario modeling using hierarchical object-oriented petri net”, International journal of software engineering and knowledge engineering, 11(3), 2001:
Jinhyung Cho, and Doo-Hwan Bae, “Scenario - Driven Verification Method for Completeness and Consistency Checking of UML Object - Oriented Analysis Model”, Journal of KIISE : Software and Applications, 28(3), 2001
Jang-Eui Hong, and Doo-Hwan Bae, “High-level Petri net for incremental analysis of object-oriented system requirements”, IEE Proceedings-Software, 148(1), 2001:
Seunguk Oh, Yu-Seung Ma, Doo-Hwan Bae, Yong Rae Kwon, Gil Jo Kim, Ja-Kyong Koo, and Doo-Hwan Bae, “Framework for Third Party Testing of EJB Compenent Software”, Communications of the Korean Institute of Information Scientists and Engineers, 19(2), 2001
2000
Jang-Eui Hong, and Doo-Hwan Bae, “Software modeling and analysis using a hierarchical object-oriented Petri net”, Information Sciences, 130(1-4), 2000:
Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo Hwan Bae, Hasan Ural, and Doo-Hwan Bae, “A test sequence selection method for statecharts”, Software testing, verification and reliability, 10(4), 2000:
I-Chul Yoon, Hyung-Ho Kim, Cheong Youn, and Doo-Hwan Bae, “Reliable transaction design using MTS”, 24th Annual International Computer Software and Applications Conference. COMPSAC2000, 2000:
Kwon Jae-Eun, Hyung Ho Kim, and Doo-Hwan Bae, “Nonfunctionality - driven Design Refactoring”, 2000 Korea Software Congress (KSC), 2000
A cohesion measure for object‐oriented classes, and Doo-Hwan Bae, “A cohesion measure for object‐oriented classes”, Software: Practice and Experience, 30(12), 2000:
In-Gyu Kim, Jang-Eui Hong, and Doo-Hwan Bae, “고장 감내 자율적 객체”, Journal of Korea Software Engineering Society, 2000
Yongjae Shin, Soon-Hung Han, and Doo-Hwan Bae, “Integration of heterogeneous CAD databases using STEP and the Internet”, Decision Support Systems, 28(4), 2000:
Joon-Sang Lee, and Doo-Hwan Bae, “An approach to specifying concurrent, distributed, and autonomous object behaviors using a high-level meta-object protocol”, IEICE transactions on communications, 83(5), 2000:
Hyung Ho Kim, Young-Gon Kim, Doo-Hwan Bae, Min-Kyung Kim, and Byoung-Kyu Yoo, “A Systematic Construction of Object-Oriented Methods”, Journal of KIISE : Software and Applications, 27(5), 2000
Ilchul Yoon, Hyung Ho Kim, and Doo-Hwan Bae, “Reliability Verification on MTS - based Transaction System”, 2000 Korea Computer Congress (KCC), 2000
Jang-Eui Hong, Ilchul Yoon, and Doo-Hwan Bae, “Hierarchical Specification and Verification of Requirements using An Object-Oriented Petri Net”, Journal of KIISE : Software and Applications, 27(2), 2000
Seung Mo Cho, Young-Gon Kim, Doo-Hwan Bae, Sung-won Byon, and Sang-Taek Kim, “Model Checking of Concurrent Object-Oriented Systems”, Journal of KIISE : Software and Applications, 27(1), 2000
Heung-Seok Chae, Yong Rae Kwon, and Doo-Hwan Bae, “유도 인스턴스 변수를 고려한 응집도 척도의 개선”, Journal of KIISE : Software and Applications, 27(1), 2000
Sang-Yoon Min, Ho-Dong Lee, and Doo-Hwan Bae, “SoftPM: a software process management system reconciling formalism with easiness”, Information and Software Technology, 42(1), 2000:
1999
Hyung Ho Eim, Dong Ewan Kim, Hyo Taeg Jung, Yun Dae Chung, and Doo-Hwan Bae, “An operational component specification method”, Sixth Asia Pacific Software Engineering Conference (ASPEC’99), 1999:
Sang-Yoon Min, Doo-Hwan Bae, Sung-Chan Cho, and Young-Kwang Nam, “Management of workflow over the Web supporting distributed process evolution”, 5th International Computer Science Conference, ICSC’99, 1999:
Joon-Sang Lee, Sang-Yoon Min, and Doo-Hwan Bae, “Aspect-Oriented Design (AOD) technique for developing distributed object-oriented systems over the Internet”, 5th International Computer Science Conference, ICSC’99, 1999:
In-Gyu Kim, Jang-Eui Hong, and Doo-Hwan Bae, “Autonomous Object to Support Dynamic Composition of Functionality based on Code Mobility”, 1999 Korea Software Congress (KSC), 1999
In Bok Chung, Hyung Ho Kim, and Doo-Hwan Bae, “VisDiS : A Visual Architecture Description Language supporting Distributed System Design”, 1999 Korea Software Congress (KSC), 1999
TaiHyo Kim, Sungdeok Cha, and Doo-Hwan Bae, “Automata - Based Semantics of MSCs and Algorithm for the Construction of Semantic - Automata”, 1999 Korea Software Congress (KSC), 1999
Wei-Jin Park, Tai-Hyo Kim, Doo-Hwan Bae, and Sungdeok Cha, “Towards Unified Architecture Description Containing Component’s Behaviors”, RACDIS, 1999
Sang-Yoon Min, Yoon-Kyu Jang, Sung-Deok Cha, Yong-Rae Kwon, and Doo-Hwan Bae, “Safety verification of Ada95 programs using software fault trees”, Safecomp99, 1999
Heung-Seok Chae, Yong Rae Kwon, and Doo-Hwan Bae, “A Cohesion Metric for Classes in Object-Oriented Systems”, Journal of KIISE, 26(9), 1999
Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha, “Test cases generation from UML state diagrams”, IEE Proceedings-Software, 146(4), 1999:
Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, and Doo-Hwan Bae, “Developing distributed software systems by incorporating meta-object protocol (diMOP) with unified modeling language (UML)”, Fourth International Symposium on Autonomous Decentralized Systems, 1999:
Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, and Sang Taek Kim, “Applying model checking to concurrent object-oriented software”, Fourth International Symposium on Autonomous Decentralized Systems, 1999:
Cheong Youn, Ung-Mo Kim, and Doo-Hwan Bae, “A Use Case Driven Approach to Systemetic Functional Decomposition”, Journal of KIISE, 26(2), 1999
1998
Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, and Doo-Hwan Bae, “Change impact analysis for a class hierarchy”, 1998 Asia Pacific Software Engineering Conference, 1998:
Wei-jin Park, Sang-Yoon Min, Doo-Hwan Bae, and Pyeong Soo Mah, “An Object-Oriented Model Refinement Technique for Object-Oriented Reengineering”, Journal of KIISE, 25(10), 1998
In-Gyu Kim, Hyung Ho Kim, Doo-Hwan Bae, Min-Kyung Kim, and Byoung-Kyu Yoo, “Analysis for Multimedia Stream Protocol”, 1998 Korea Software Congress (KSC), 1998
Woong hee Cho, Doo-Hwan Bae, Sungdeok Cha, Yong Rae Kwon, Sung-gi Won, and Sung-won Byon, “Concurrent Object Model Verification with SPIN++”, 1998 Korea Software Congress (KSC), 1998
Wei-Jin Park, Sang-Yoon Min, Doo-Hwan Bae, and Pyeong-Soo Mah, “Object-oriented model refinement technique in software reengineering”, The Twenty-Second Annual International Computer Software and Applications Conference (Compsac’98), 1998:
Jang-Eui Hong, Sang-Yoon Min, and Doo-Hwan Bae, “A Model-driven Framework for Software Reuse Adoption”, Journal of KIISE, 25(8), 1998
Soran Ine, Cheong Youn, and Doo-Hwan Bae, “Managing Complexity in Object-Oriented Analysis”, ETRI Journal, 20(2), 1998
Nam-Hee Lee, Jang-Eui Hong, Sungdeok Cha, and Doo-Hwan Bae, “Towards reusable colored Petri nets”, Int’l Symposium on Software Eng. for Parallel and Distributed Systems.(PDSE’98), 1998:
Cheong Youn, Soran Ine, Kwon-Il Lee, Seunghun Cha, Doo-Hwan Bae, Bo-Gyun Byoun, and Mirza Misbah, “SOOA : A Stepwise Object-Oriented Analysis Method”, Journal of KIISE, 25(1), 1998
1997
Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, and Doo-Hwan Bae, “An approach to software process management based on formal process modeling and analysis”, Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference, 1997:
Gyu-Tae Kim, and Doo-Hwan Bae, “Multi Robot Programming using Task.o Object Model and ToC Technique”, 1997 Korea Software Congress (KSC), 1997
Wei-jin Park, Sang-Yoon Min, Doo-Hwan Bae, Yunsook Jin, and Pyeong Soo Mah, “An Approach to Effective Representation of Conceptual Abstractions using Specification Information Tree in Software Reengineering”, 1997 Korea Software Congress (KSC), 1997
Ho Dong Lee, Young-Gon Kim, Doo-Hwan Bae, Yame Jeun, and Tae Seop Song, “An Implementation on Object - Oriented Distributed Multimedia Application”, 1997 Korea Software Congress (KSC), 1997
Hyung Ho Kim, Young-Gon Kim, Doo-Hwan Bae, Sung-gi Won, and Tae Seop Song, “Concurrent Program Design and Verification Using Process Algebra”, 1997 Korea Software Congress (KSC), 1997
Jang-Eui Hong, and Doo-Hwan Bae, “HOOSL : A Specification Language for Distributed Multimedia Software”, 1997 Korea Software Congress (KSC), 1997
Gyu-Tae Kim, Sung Deok Cha, and Doo-Hwan Bae, “Task.o object modeling approach for robot workcell programming”, Twenty-First Annual International Computer Software and Applications Conference (COMPSAC’97), 1997:
Sang-Yoon Min, and Doo-Hwan Bae, “MAM nets: A Petri-net based approach to software process modeling, analysis and management”, 9th International Conference on Software Engineering and Knowledge Engineering, 1997:
Hyeongseob Kim, and Doo-Hwan Bae, “Modeling for Measurement of Code Reusability with without Modification”, Journal of KIISE, 24(5), 1997
Hyunsuk Seung, and Doo-Hwan Bae, “A client-oriented distribution architecture for Web search agents”, Third International Symposium on Autonomous Decentralized Systems. ISADS 97, 1997:
Jin Wook Baek, Doo-Hwan Bae, Young-Gon Kim, Tae Young Lim, and Tae Seop Song, “An Apporach to Verification of Dynamic Behavior in Object - Oriented Requirements Analysis”, 1997 Korea Computer Congress (KCC), 1997
1996
Hyeongseob Kim, and Doo-Hwan Bae, “소프트웨어 코드 재사용성 측정을 위한 모델링”, 1996 세계 한민족과학기술자 종합학술대회, 1996
1995
Stephen S Yau, Doo-Hwan Bae, and Jun Wang “An architecture-independent software development approach for parallel processing systems”, Nineteenth Annual International Computer Software and Applications Conference (COMPSAC’95), 1995:
Stephen S Yau, Keunhyuk Yeom, Bing Gao, Ling Li, and Doo-Hwan Bae, “An object-oriented software development framework for autonomous decentralized systems”, ISADS 95. Second International Symposium on Autonomous Decentralized Systems, 1995:
1994
Stephen S Yau, Doo-Hwan Bae, and Keunhyuk Yeom, “An approach to object-oriented requirements verification in software development for distributed computing systems”, Eighteenth annual international computer software and applications conference (COMPSAC 94), 1994:
Stephen S Yau, and Doo-Hwan Bae, “Object-oriented and functional software design for distributed real-time systems”, computer communications, 17(10), 1994:
1993
Stephen S. Yau, Doo-Hwan Bae, Gil-Ho Oh, and Madhan Chidambaram, “An object-oriented approach to software design for distributed real-time computing systems”, 4th Workshop on Future Trends of Distributed Computing Systems, 1993:
Stephen S Yau, Doo-Hwan Bae, and Madhan Chidambaram, “Object-oriented development of architecture transparent software for distributed parallel systems”, computer communications, 1993:
1992
Stephen S Yau, Xiaoping Jia, and Doo-Hwan Bae, “Software design methods for distributed computing systems”, Computer Communications, 15(4), 1992:
Stephen S Yau, Doo-Hwan Bae, and Gilda Pour, “A partitioning approach for object-oriented software development for parallel processing systems”, Computer Software & Applications Conference 92, 1992:
Stephan S Yau, Doo-Hwan Bae, and Madhan Chidambaram, “A framework for software development for distributed parallel computing systems”, Future Trends of Distributed Computing Systems, 1992:
1991
Stephen S Yau, Xiaoping Jia, and Doo-Hwan Bae, “PROOF: a parallel object-oriented functional computation model”, Journal of Parallel and Distributed Computing, 12(3), 1991:
Stephen S Yau, Xiaoping Jia, Doo-Hwan Bae, Madhan Chidambaram, and Gilho Oh, “An object-oriented approach to software development for parallel processing systems”, Computer Software & Applications Conference91, 1991:
1990
Stephen S Yau, Xiaoping Jia, and Doo-Hwan Bae, “Trends in software design for distributed computing systems”, Second IEEE Workshop on Future Trends of Distributed Computing Systems, 1990:
