Home › International Conference

International Conference

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.
  • 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.
  • 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.

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.
  • 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.
  • 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.
  • 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.

2020

  • Sumin Park, Yong-jun Shin, Sangwon Hyun, and Doo-Hwan Bae, “SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems”, IEEE 15th System of Systems Engineering Conference, 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”, Asia-Pacific Software Engineering Conference (APSEC), 2020 27th
  • 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”, Asia-Pacific Software Engineering Conference (APSEC), 2020 27th

    • 2019

    • Jiyoung Song, Jacob O. Torring, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae, “Slicing Executable System-of-Systems Models for Efficient Statistical Verification”, Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2019).
    • Sumin Park, B. Zelalem Mihret, Doo-Hwan Bae, “A Simulation-based Behavior Analysis for MCI Response System of Systems”, Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2019).
    • Yong-Jun Shin, Young-Min Baek, Eunkyoung Jee, and Doo-Hwan Bae, “Data-driven environment modeling for adaptive system-of-systems”, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. ACM, 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”, Proceedings of  2019 14th Annual Conference System of Systems Engineering (SoSE) (SoSE2019), Anchorage, USA, May 2019.
    • Sangwon Hyun, Jiyoung Song, Seungchyul Shin, and Doo-Hwan Bae, “Statistical Verification Framework for Platooning System of Systems with Uncertainty”, Asia-Pacific Software Engineering Conference (APSEC), 2019 26th, Putrajaya, Malaysia.

    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 Verification,” 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), 2018.
    • Mike Papadakis, Donghwan Shin, Shin Yoo, and Doo-Hwan Bae, “Are Mutation Scores Correlated with Real Fault Detection?,” The 40th International Conference on Software Engineering (ICSE), 2018.
    • Young-Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae, “A Meta-Model for Representing System-of-Systems Ontologies”, 6th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2018.
    • Zelalem Mihret, Eunkyoung Jee, Young-Min Baek, and Doo-Hwan Bae, “A Collaboration Policy Model for System of Systems,” IEEE 13th System of Systems Engineering Conference, 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”, Asia-Pacific Software Engineering Conference (APSEC), 2017 24th.
    • Wonkyung Yun, Donghwan Shin, and Doo-Hwan Bae, “Mutation Analysis for System of Systems Policy Testing”, Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and System-of-Systems (SESoS/WDES), 2017

    2016

    • Donghwan Shin, Doo-Hwan Bae, “A Theoretical Framework for Understanding Mutation-based Testing Methods”, IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016
    • Donghwan Shin, Shin Yoo, Doo-Hwan Bae, “Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability”, The 11th International Workshop on Mutation Analysis (MUTATION), 2016
    • Misun Yu, Yu-Seung Ma, Doo-Hwan Bae, “Characterizing Non-Deadlock Concurrency Bug Fixes in Open-Source Java Programs”, 31st ACM Symposium on Applied Computing (SAC), 2016
    • Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae, “Modeling and Verification for Different Types of System of Systems using PRISM”, ICSE 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2016
    • Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “A Runtime Verification Framework for Dynamically Adaptive Multi-agent Systems”, International Conference on Big Data and Smart Computing (BigComp), 2016
    • Eunkyoung Jee, Gee-Yong Park, Jang-Soo Lee, Kee-Choon Kwon, Doo-Hwan Bae, “A safety case for reactor protection system software developed using a prescriptive approach”, 39th Enlarged Halden Programme Group Meeting
    • Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “Automated Test Sequence Generation for Function Block Diagram programs,” Asia-Pacific Software Engineering Conference (APSEC), 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 (ASE), 2016.

    2015

    • Dongwon Seo , Donghwan Shin , Doo-Hwan Bae, “Quality Based Software Project Staffing and Scheduling with Budget and Deadline”, Workshop on Alternate Workforces for Software Engineering, December 2015.
    • Dongwon Seo , Donghwan Shin , Doo-Hwan Bae, “Quality Based Software Project Staffing and Scheduling with Cost Bound”, The 22nd Asia-Pacific Software Engineering Conference, December 2015.
    • Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, “Efficient Testing of Self-adaptive Behaviors in Collective Adaptive Systems”, The 39th Annual International Computers, Software & Applications Conference, July 2015.

    2014

    • Minh Chau Nguyen, Enukyoung Jee, Jinho Choi, 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, March. 2014.
    • Jihun Park, Miryung Kim, Doo-Hwan Bae, “An Empirical Study on Reducing Omission Errors in Practice”, 29th IEEE/ACM International Conference on Automated Software Engineering, Sept. 2014.
    • Jihun Park, Dongwon Seo, Gwangui Hong, Donghwan Shin, Jimin Hwa, Doo-Hwan Bae, “Practical Human Resource Allocation in Software Projects Using Genetic Algorithm”, 26th International Conference on Software Engineering and Knowledge Engineering, July. 2014, pp. 688-694.

    2013

    • Misun Yu, Sang-Kyung Yoo, Doo-Hwan Bae, “SimpleLock: Fast and Accurate Hybrid Data Race Detector”, 14’th International Conference on Parallel and Distributed Computing, Applications and Technologies, 2013, pp. 50-56.

    2012

    • Jinho Choi, Doo-Hwan Bae, “An Approach to Constructing Timing Diagrams from UML./MARTE Behavioral Models for Guidance and Control Unit Software”, International Conferences, EL, DTA and UNESST 2012, pp. 107-110, Springer-Verlag Berlin Heidelberg, Dec, 2012.
    • Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “Empirical Evaluation on FBD Model-Based Test overage Criteria Using Mutation Analysis”, 15th International Conference on Model Driven Engineering Languages & Systems, Aug. 2012, pp. 465-479.
    • Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae, “An Empirical Study of Supplementary Bug Fixes”, 9th IEEE Working Conference on Mining Software Repositories, June, 2012, pp. 40-49.
    • Jinho Choi, Eunkyoung Jee , Doo-Hwan Bae, “Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software”, 6th IEEE International Conference on Software Security and Reliability, June 2012, pp. 118-127.
    • Gigon Bae, Gregg Rothermel, Doo-Hwan Bae, “On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study”, 23rd IEEE International Symposium on Software Reliability Engineering, Nov. 2012.

    2011

    • S. Park, S. Min, and D. Bae, “Process Instance Management facilities based on Meta-Process Models”, 11th International Conference on Computational Science and Its Applications, June, 2011, pp. 326-341.
    • H.J. Kim, D.H. Bae, V. Debroy, and W.E. Wong, “Deriving Data Dependence from/for UML State Machine Diagrams”, 5th International Conference on Secure Software Integration and Reliability Improvement, June 2011.
    • H.J. Kim, V. Debroy, D.H. Bae, “Identifying Properties of UML State Machine Diagrams that Affect Data and Control Dependence”, 26th Symposium on Applied Computing, Mar. 2011, pp. 1464-1469.

    2010

    • H.J. Kim, W. E. Wong, V. Debroy, D.H. Bae, “Bridging the Gap Between Fault Trees and UML Statemachine Diagrams for Safety Analysis”, 17th Asia-Pacific Software Engineering Conference, Dec. 2010, pp. 196-205.
    • T.K. Le-Do, K.A. Yoon, Y.S. Seo, D.H. Bae, “Filtering of Inconsistent Software Project Data for Analogy-based Effort Estimation”, 34th Annual Computer Software and Applications Conference, July 2010, pp. 503-508.
    • L.T. Giang, D.W. Kang, D.H. Bae, “Software Fault Prediction Models for Web applications”, 34th Annual Computer Software and Applications Conference, July 2010, pp. 51-56.

    2009

    • Y.S. Seo, K.A. Yoon, D.H. Bae, “Improving the Accuracy of Software Effort Estimation based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning”, 16th Asia-Pacific Software Engineering Conference, Dec, 2009, pp. 3-10.
    • I.G. Song, S.U. Jeon, D.H. Bae, “A Graph Based Approach to Detecting Causes of Implied Scenarios Under the Asynchronous and Synchronous Communication Styles”, 16th Asia-Pacific Software Engineering Conference, Dec. 2009, pp. 53-60.
    • J.M. Hwa, S.H. Lee, Y.R. Kwon, “Hierarchical Understandability Assessment Model for Large-Scale OO System”, 16th Asia-Pacific Software Engineering Conference, Dec, 2009, pp. 11-18.
    • S.H. Park, H.J. Kim, D.H. Bae, “Change Impact Analysis of a Software Process using Process Slicing”, Ninth International Conference on Quality Software, Aug. 2009, pp. 359-366.

    2008

    • D.W. Kang, I.G. Song, S.H. Park, D.H. Bae, H.K. Kim and N.B. Lee, “A case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity”, The 15th Asia-Pacific Software Engineering Conference(APSEC’08), Dec. 2008, pp. 51-58.
    • A.R. Han, S.U. Jeon, D.H. Bae and J.E. Hong, “Behavioral Dependency Measurement for Change-proneness Prediction in UML 2.0 Design Models”, in Proceedings of the 32nd IEEE Int. Conf. COMPSAC, July 2008, pp. 76-83.
    • S.H. Park, H.J. Kim, D.W. Kang, D.H. Bae, “Developing a Simulation Model using a SPEM-based Process Model and Analytical Models”, 4th International Workshop on Enterprise & Organizational Modeling and Simulation, June 2008.
    • Y.S. Seo, K.A. Yoon, D.H. Bae, “Empirical Analysis of Software Effort Estimation with Outlier Elimination”, 4th International Workshop on Predictor Models in Software Engineering, p25-32, May 2008.

    2007

    • T.H. Song, K.A. Yoon, D.H. Bae, “An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics”, the 14th Asia-Pacific Software Engineering Conference, 406-413, Dec. 2007.
    • S.H. Park, K.S. Choi, K.A, Yoon, D.H. Bae, “Deriving Software Process Simulation Model from SPEM-based Software Process Model”, 14th Asia-Pacific Software Engineering Conference (APSEC’07), p382-389, Dec. 2007.
    • K.A. Yoon, O.S. Kwon, D.H. Bae, “An Approach to Outlier Detection of Software Measurement Data using the K-means Clustering Method”, the 1st International Symposium on Empirical Software Engineering and Measurement, 443-445, Sept. 2007.

    2006

    • I.G. Song, S.U. Jeon, J.E. Hong and D.H. Bae, “Implied scenario analysis in UML 2.0 scenario specification”, The First IEEE International Conference on System Integration and Reliability Improvements, Hanoi (Vietnam), Dec. 2006.
    • S.U. Jeon, J.E. Hong, and D.H. Bae, “Using Operational Architecture to Model Embedded Software”, In Proceedings of 13th Asia-Pacific Software Engineering Conference, pages 157-164, Dec. 2006.
    • H.J. Lee, S.U. Jeon, J.E. Hong, D.H. Bae, “Modeling Unexpected Behaviours Using UML Sequence diagram”, ICSOFT 2006, Setubal, Portugal, Sept. 2006.
    • K.S. Choi, D.H. Bae, “Analysis of Software-Intensive System Acquisition Using Hybrid Software Process Simulation”, International Software Process Workshop and International Workshop on Software Process Simulation and Modeling(SPW/ProSim), co-located with ICSE ’06, 254-261, May, 2006.
    • S.U. Jeon, J.E. Hong, and Doo-Hwan Bae, “Interaction-Based Behavior Modeling of Embedded Software”, In Proceedings of 9th International Symposium on Object and component-oriented Real-time distributed Computing(ISORC), pages 351-358, Apr. 2006.
    • I.G. Kim, T. Marew, D.H. Bae, J.E. Hong, and S.Y. Min, “Dimensions of Composition Models For Supporting Software Evolution”, 5th International Symposium on Software composition, Vienna(Austria), pp.211-226, Mar. 2006.
    • T. Marew and D.H. Bae, “Using Classpects for Integrating Non-Functional and Functional Requirements”, 24th IASTED Conference on Software Engineering, pp. 141-147, Feb. 2006.
    • K.S. Choi, S.C. Jung, H.J. Kim, D.H. Bae, D.H. Lee, “UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development”, 24th IASTED International Multi-Conference Software Engineering, pp. 160-165, Feb. 2006.

    2005

    • K.A. Yoon, S.H. Park, D.H. Bae, H.S. Chang, J.C. Jung, “A framework for the V&V capability assessment focused on the safety-criticality”, the Proceedings of the 13th IEEE International Workshop on Software Technology and Engineering Practice, 17-24, Sept. 2005.
    • I.J.Han, D.H. Bae, “Dynamically Evolvable Composition of Aspect Based On Relation Model”, 17th International Conference on Software Engineering and Knowledge Engineering, 169-174, July 2005.
    • T. Marew, J.Y. Kim, D.H. 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, Taipei, Taiwan, July 2005.
    • K.S. Choi, D.H. Bae, “DEVS-based Software Process Simulation Modeling: Formally Specified, Modularized, and Extensible SPSM”, The 6th International Workshop on Software Process Simulation and Modeling, co-located with ICSE’05, pp. 73-82, May 2005.

    2004

    • J.Y.Kim, D.H.Bae, “An Approach to Feature Based Modeling by Dependency Alignment for the Maintenace of the Trustworthy System”, International Computer Software and Applications Conference, Sept. 2004.
    • K.A.Yoon, S.Y.Min, and D.H. Bae, “Model-Based Project Process Analysis Using Project Tracking Data”, Software Engineering Research and Applications, LNCS 3026, pp.148-167, May 2004.

    2003

    • J.Y.Kim, J.S.Lee, S.H.Lee, D.K.Yoo, D.H.Bae, “Developing a Common Operating Environment for Military Application”, 9th IEEE Workshop on Future Trends of Distributed Computing Systems, pp.367-368, May 2003.

    2002

    • S.U. Jeon, J.S. Lee, and D.H Bae, “An Automated Refactoring Approach To Design Pattern-Based Program Transformations in Java Programs”, APSEC 2002, Gold Coast in Austrailia, Dec. 2002.

    2001

    • J.S. Lee, D.H. Bae, and I.j. Han, “Towards Coping with Role-binding Anomaly”, Reflection2001, LNCS 2192, Sept. 2001.
    • H.H. Kim, D.H. Bae,C.S. Keum, and B.S. Lee, “Developing Component Architecture for Telecommunication Systems”, The second International Conference on Software Engineering, Artificial Intelligence, Network & Parallel/Distributed Computing, Aug. 2001.
    • I. Kim, J. Hong, D. Bae, I. Han, and C. Yoon, “Scalable Mobile Agents Supporting Dynamic Composition of Functionality”, Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, T. Wagner and O. Rana, eds., LNAI 1887, pp. 199-213, Springer-Verlag, 2001.
    • I.C. Yoon, S.Y. Min, D.H. Bae, “Tailoring and Verifying Software Process”, APSEC 2001, Decemer 4-7.

    2000

    • S.U. Jeon, J.S. Lee, and D.H Bae, “An Automated Refactoring Approach To Design Pattern-Based Program Transformations in Java Programs”, APSEC 2002, Gold Coast in Austrailia, Dec. 2002.

    1999

    • H.H. Kim, D.K. Kim, H.T. Jung, Y.D. Chung, and D.H. Bae, “An Operational Component Specification Mothod”, Asia Pacific Software Engineering Conference, pp. 38-45, Dec. 1999.
    • S.Y. Min, D.H. Bae, S.C. Cho, and Y.K. Nam, “Management of Workflow over the Web Supporting Distributed Process Evolution”, Proc. of the 5th International Computer Science Conference (ICSC 99 Internet Applications), Springer-Verlag LNCS 1749, pp. 367-372, Dec. 1999.
    • J.S. Lee, S.Y. Min, and D.H. Bae, “Aspect-Oriented Design (AOD) Technique for Developing Distributed Object Systems over the Internet”, Proc. of the 5th International Computer Science Conference (ICSC 99 Internet Applications), Springer-Verlag LNCS 1749, pp. 156-165, Dec. 1999.
    • W.J. Park, T.H. Kim, D.H. Bae, and S.D. Cha, “Towards Unified Architecture Description Containing Component’s Behaviors”, RACDIS, 1999.
    • S.Y. Min, Y.K. Jang, S.D. Cha, Y.R. Kwon, and D.H. Bae, “Safety Verification of ADA 95 Programs Using Software Fault Trees”, LNCS 1698:Safecomp99, pp. 226-238, Sept. 1999.
    • S.M. Cho, D.H. Bae, S.D. Cha, Y.G. Kim, B.K. Yoo, and S.T. Kim, “Applying Model Checking to Concurrent Object-Oriented Software”, 4th Proc. of International Symposium on Autonomous Decentralized Systems(ISADS’99), pp. 380-383, March 1999.
    • J.S. Lee, T.H. Kim, G.S. Yoon, J.E. Hong, S.D. Cha, and D.H. Bae, “Developing Distributed Object Systems by Incorporating Metaobject Protocol(diMOP) with Unified Modeling Language(UML)”, 4th Proc. of International Symposium on Autonomous Decentralized Systems(ISADS’99), pp. 65-73, March 1999.
    • Y.K. Jang, H.S. Chae, Y.R. Kwon, and D.H. Bae, “Change Impact Analysis for A Class Hierarchy”, Asia Pacific Software Engineering Conference(APSEC’98), pp. 304-311, Dec. 1998.

    1998

    • W.J. Park, S.Y. Min, D.H. Bae, and P.S. Mah, “Object-Oriented Model Refinement Technique in Software Reengineering”, Proc. of Computer Software and Application Conference(COMPSAC’98), pp. 32-38, Aug. 1998.
    • N.H. Lee, J.E. Hong, S.D. Cha, and D.H. Bae, “Towards Reusable Colored Petri Nets”, Proc. of Int’l Symposium on Software Eng. for Parallel and Distributed Systems.(PDSE’98), pp. 223-229, Apr. 1998.

    1997

    • S.Y. Min and D.H. Bae, “An Approach to Software Process Management Based on Formal Process Modeling and Analysis”, Proc. of Asia-Pacific Software Engineering Conf.(APSEC’97), pp. 292-301, Dec. 1997.
    • G.T. Kim, S.D. Cha, and D.H. bae, “An Object Model based Approach for Robot Workcell Application Programming”, Proc. 21 Annual Int’l Computer Software and Applications Conf.(COMPSAC’97), pp. 109-114, August 1997.
    • S.Y. Min and D.H. Bae, “MAM nets : A Petri-net based Approach to Software Process Modeling, Analysis and Management”, Proc. of Int’l Conf. of Software Engineering and Knowledge Engineering(SEKE’97), pp. 76-87, June 1997.
    • H.S. Seung and D.H. Bae, “A Client-Oriented Distributed Architecture for WEB Search Agent”, International Symposium on Autonomous Decentralized Systems (ISADS 97), pp. 299-308, Apr. 1997.

    1995

    • S.S. Yau, D.H. Bae, and J. Wang, “An Architecture-Independent Software Development Approach for Parallel Processing Systems”, Proc. 19th Annual Intl Computer and Application Conf., pp. 305-312, 1995.
    • S.S. Yau, L. Li, and D.H. Bae, “An Object-Oriented Framework for Software Development for Autonomous Decentralized Systems”, Proc. Second International Symposium on Autonomous Decentralized Systems (ISADS 95), Apr. 1995.

    1994

    • S.S. Yau, D.H. Bae, and K. Yeom, “An Approach to Object-Oriented Requirements Verification in Software Development for Distributed Computing Systems”, Proc. Eighteenth Annual Int’l Computer and Applications Conf. (COMPSAC 94), pp. 96-102, Nov. 1994.

    1993

    • S.S. Yau, D.H. Bae, G. Oh, and M. Chidambaram, “An Object-Oriented Approach to Software Design for Distributed Real-Time Computing Systems”, Proc. Fourth IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 297-303, Sept. 1993.

    1992

    • S.S. Yau, D.H. Bae, and G. Pour, “A Partitioning Approach for Object-Oriented Software Development for Parallel Processing Systems”, Proc. Sixteenth Annual Intl Computer Software & Application Conf. (COMPSAC 92), pp. 251-256, Sept 1992.
    • S.S. Yau, D.H. Bae, and M. Chidambaram, “A Framework for Software Development for Distributed Computing Systems”, Proc. Third IEEE Workshop on Future Trend for Distributed Parallel Computing Systems, pp. 240-246, Apr. 1992.

    1991

    • S.S. Yau, D.H. Bae, G. Oh, and M. Chidambaram, “An Object-Oriented Approach to Software Development for Parallel Processing Systems”, Proc. Fifteenth Intl Computer Software & Application Conf. (COMPSAC 91), pp. 453-458, Sept. 1991.

    1990

    • S.S. Yau, X. Jia, and D.H. Bae, “Trend in Software Design for Distributed Computing Systems”, Proc. Second IEEE Workshop on Future Trend of Distributed Computing Systems, pp. 154-160, Sept. 1990.