Browse "School of Computing(전산학부)" by Author Bae, Doo-Hwan
Showing results 200 to 259 of 286
| PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems Shin, Yong-Jun; Cho, Eunho; Bae, Doo-Hwan, 24th International Conference on Fundamental Approaches to Software Engineering, pp.292 - 312, Springer International Publishing, 2021-03-29 |
| Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Baek, Young-Min; Bae, Doo-Hwan, 27th Asia-Pacific Software Engineering Conference (APSEC), pp.326 - 335, IEEE COMPUTER SOC, 2020-12 |
| PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors Seo, Jeong-Seok; Cha, Sung-Deok; Zhu, Bin; Bae, Doo-Hwan, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E96D, no.8, pp.1716 - 1726, 2013-08 |
| Personalized primary port: Analysis of user view for the smart environment Park, Wei-Jin; Kim, Junhwan; Bae, Doo-Hwan, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, pp.989 - 997, ICAT'06, 2006-11-29 |
| Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems Shin, Yong Jun; Liu, Lingjun; Hyun, Sangwon; Bae, Doo-Hwan, 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021, pp.231 - 237, Institute of Electrical and Electronics Engineers Inc., 2021-05 |
| Practical Human Resource Allocation in Software Projects Using Genetic Algorithm Park, Jihun; Seo, Dongwon; Hong, Gwangui; Shin, Donghwan; Hwa, Jimin; Bae, Doo-Hwan, 26th International Conference on Software Engineering and Knowledge Engineering, pp.688 - 694, International Conference on Software Engineering and Knowledge Engineering, 2014-07 |
| Process instance management facilities based on the meta process models Park, Seunghun; Min, Sangyoon; Bae, Doo-Hwan, 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, pp.326 - 341, 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, 2011-06-20 |
| Program chairs' message Bae, Doo-Hwan; Chu, William C., 11th Asia-Pacific Software Engineering Conference, APSEC 2004, 2004-11-30 |
| PROOF - A PARALLEL OBJECT-ORIENTED FUNCTIONAL COMPUTATION MODEL YAU, SS; JIA, XO; Bae, Doo-Hwan, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.12, no.3, pp.202 - 212, 1991-07 |
| Quality based software project staffing and scheduling with budget and deadline Seo, Dongwon; Shin, Donghwan; Bae, Doo-Hwan, 3rd Joint International Workshop on Quantitative Approaches to Software Quality, QuASoQ 2015, the Workshop on Alternate Workforces for Software Engineering, WAWSE 2015 and the 1st International Workshop on Case Method for Computing Education, CMCE 2015, CEUR-WS, 2015-12-01 |
| Quality Based Software Project Staffing and Scheduling with Cost Bound Seo, Dongwon; Shin, Donghwan; Bae, Doo-Hwan, Software Engineering Conference (APSEC), 2015 Asia-Pacific, Institute of Electrical and Electronics Engineers Inc., 2015-12-02 |
| Quality based software project staffing and scheduling with time bound = 소프트웨어 품질과 제한 시간을 고려한 프로젝트 계획 생성 방법link Seo, Dong-Won; 서동원; et al, 한국과학기술원, 2014 |
| Refactoring for scalability in server components = 서버 컴포넌트의 확장성을 위한 재구성 기법link Kwon, Jae-Eun; 권재은; et al, 한국과학기술원, 2001 |
| Reliable transaction design using MTS Yoon, Il-Chul; Kim, Hyung-Ho; Youn, Cheong; Bae, Doo-Hwan, 2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000), pp.357 - 362, IEEE, 2000-10-25 |
| Response to Comments on: A cohesion measure ford object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.31, no.14, pp.1389 - 1392, 2001-11 |
| Response to More comments on: A cohesion measure for object-oriented classes Chae, HS; Kwon, Yong Rae; Bae, Doo-Hwan, SOFTWARE-PRACTICE & EXPERIENCE, v.33, no.6, pp.589 - 594, 2003-05 |
| Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| Scalable Mobile Agents Supporting Dynamic Composition of Functionality Kim, In-Gyu; Hong, Jang-Eui; Bae, Doo-Hwan; Han, Ik-Joo; Youn, Cheong, The Fourth Iternational Conference on Autonomous Agents, Workshop Infrastructure for Scalable Multi-Agents Systems, pp.199 - 213, Springer Verlag (Germany), 2001 |
| Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors Hwa, Jimin; Yoo, Shin; Seo, Yeong-Seok; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.7, pp.1033 - 1062, 2017-09 |
| Selecting candidate component best matching specification from a component library = 컴포넌트 라이브러리로부터 명세에 가장 근접한 후보 컴포넌트 추출 기법link Tegegne, Marew; 마로; et al, 한국과학기술원, 2003 |
| SimpleLock(+): Fast and Accurate Hybrid Data Race Detection Yu, Misun; Bae, Doo-Hwan, COMPUTER JOURNAL, v.59, no.6, pp.793 - 809, 2016-06 |
| SimpleLock: Fast and Accurate Hybrid Data Race Detector Yu, Misun; Yoo, Sang-Kyung; Bae, Doo-Hwan, 14'th International Conference on Parallel and Distributed Computing, Applications and Technologies, IEEE(Computer Society), 2013-12-16 |
| Simulation-based integration testing for multiple PLCs in reactor protection system = 원자로 보호계통의 다중 PLC를 위한 시뮬레이션 기반 통합 테스팅link Eun, Hyeongseok; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work Mihret, Zelalem; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.333 - 338, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
| SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems Park, Sumin; Shin, Yong-jun; Hyun, SangWon; Bae, Doo-Hwan, 15th IEEE International Conference of System of Systems Engineering, SOSE 2020, pp.575 - 580, Institute of Electrical and Electronics Engineers Inc., 2020-06-03 |
| Slicing Executable System-of-Systems Models for Efficient Statistical Verification Song, Jiyoung; Torring, Jacob O.; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, ICSE Joint Conference on IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems / 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS-WDES), pp.18 - 25, ASSOC COMPUTING MACHINERY, 2019-05 |
| SoftPM: a software process management system reconciling formalism with easiness Min, SY; Lee, HD; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.42, no.1, pp.1 - 16, 2000-01 |
| Software fault prediction models for Web applications Giang, Le Truong; Kang, Dongwon; Bae, Doo-Hwan, 34th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2010, pp.51 - 56, IEEE, 2010-07-19 |
| Software fault predictors for web applications = 웹 어플리케이션을 위한 소프트웨어 결함 예측 지표에 대한 연구link Le, Truong Giang; 레, 트롱 장; et al, 한국과학기술원, 2010 |
| Software modeling and analysis using a hierarchical object-oriented Petri net Hong, JE; Bae, Doo-Hwan, INFORMATION SCIENCES, v.130, no.1-4, pp.133 - 164, 2000-12 |
| SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTING SYSTEMS YAU, SS; JIA, XP; Bae, Doo-Hwan, COMPUTER COMMUNICATIONS, v.15, no.4, pp.213 - 224, 1992-05 |
| SOOA: A Stepwise Object-Oriented Analysis Method 윤, 청; 인, 소란; 이, 권일; 차, 승훈; 배, 두환; 변, 보균; Misbah, Mirza; et al, 한국정보과학회논문지, Vol.25, No.1, pp.99-110, 1998 |
| SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS Song, Jiyoung; Baek, Young-Min; Jin, Mingyu; Jee, Eunkyoung; Bae, Doo-Hwan, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, pp.546 - 551, IEEE Computer Society, 2017-12 |
| Special issue: Computer Software & Applications Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.76, no.1, pp.1 - 2, 2005-04 |
| Specification and validation of dynamic systems using temporal logic Cho S.M.; Kim H.H.; Cha S.D.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.4, pp.135 - 140, 2001-08 |
| Specification Seeding Method(SSM): Automatic Component Software Generation Using Spontaneous Composition Between Components Park, WJ; Joo, BG; Bae, Doo-Hwan, Software Engineering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.817 - 824, 2001 |
| Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems Shin, Yong-Jun; Hyun, Sangwon; Baek, Young-Min; Bae, Doo-Hwan, 14th Annual Conference System of Systems Engineering (SoSE), pp.358 - 363, IEEE, 2019-05 |
| Statistical Verification Framework for Platooning System of Systems with Uncertainty Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Bae, Doo-Hwan, 26th Asia-Pacific Software Engineering Conference (APSEC), pp.212 - 219, IEEE, 2019-12 |
| Statistical verification using learned usages for evaluating energy-efficient mobile device design Song, Jiyoung; Jung, Youlim; Cho, Chiwoo; Jee, Eunkyoung; Bae, Doo-Hwan, 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022, pp.960 - 963, Association for Computing Machinery, 2022-04-25 |
| System of systems policy suggestion framework using search-based technique = 탐색 기반 기술을 사용한 시스템 오브 시스템즈 정책 제안 프레임워크link Jung, Youlim; Bae, Doo-Hwan; et al, 한국과학기술원, 2018 |
| Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| Systematic functional decomposition in a product line using aspect-oriented software development: A case study Marew, T; Kim, J; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.17, no.1, pp.33 - 55, 2007-02 |
| Tactics based approach for integrating non-functional requirements in object-oriented analysis and design Marew, T; Lee, JS; Bae, Doo-Hwan; Lee, JS, JOURNAL OF SYSTEMS AND SOFTWARE, v.82, no.10, pp.1642 - 1656, 2009-10 |
| Tactics based approach for integrating non-functional requirements in object-oriented analysis and design = 객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법link Zewdie, Tegegne Marew; Tegegne M.Z.; et al, 한국과학기술원, 2014 |
| Tailoring a large-sized software process using process slicing and case-based reasoning technique Park, Seung-Hun; Bae, Doo-Hwan, IET SOFTWARE, v.7, no.1, pp.47 - 55, 2013-02 |
| Tailoring and Verifying Software Process Yoon, Il-Chul; Min, Sang-Yoon; Bae, Doo-Hwan, Asia Pacific Software Engineering Conference, pp.202 - 209, IEEE, 2001-12 |
| Task.o object modeling approach for robot workcell programming Kim, Gyu-Tae; Cha, Sungdeok; Bae, Doo-Hwan, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, pp.109 - 114, IEEE, 1997-08-13 |
| TDX 교환기 시스템 개발을 위한 소프트웨어 프로세스의 개선에 관한 연구 = A study on software process improvement for TDX switching system developmentlink 정성철; Chung, Sung-Chul; et al, 한국과학기술원, 1999 |
| Test cases generation from UML state diagrams Kim, Y.G.; Hong, H.S.; Bae, Doo-Hwan; Cha, Sungdeok, IEE PROCEEDINGS: SOFTWARE, v.146, no.4, pp.187 - 192, 1999-08 |
| Timed pattern-based analysis of collaboration failures in system-of-systems Hyun, Sangwon; Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.198, 2023-04 |
| Timing consistency checking for UML/MARTE behavioral models Choi, Jinho; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE QUALITY JOURNAL, v.24, no.3, pp.835 - 876, 2016-09 |
| Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
| Towards Coping with Role-binding Anomaly Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ikju, Proceedings of Reflection, v.2192, 2001 |
| Towards Coping with Role-Binding Anomaly Lee, Joon-Sang; Bae, Doo-Hwan; Han, Ik-ju, Metalevel Architectures and Separation of Crosscutting Concerns, pp.272 - 273, Springer Verlag (Germany), 2001 |
| Towards Reusable Colored Petri Nets Lee, Nam-Hee; Hong, Jang-Eui; Cha, Sungdeok; Bae, Doo-Hwan, Int. Symp. Software Engineering for Parallel and Distributed Systems, pp.223 - 229, IEEE, 1998-04 |
| Towards Unified Architecture Description Containing Component's Behavior Park, Wei-Jin; Kim, Tai-Hyo; Bae, Doo-Hwan; Cha, Sungdeok, Reusable Architecture for Distributed Information Systems(RACDIS), RACDIS, 1999 |
| Tree aspect-aware interface tree for modular reasoning in aspect-oriented programming = 관점지향 프로그래밍 에서의 단위해석을 위한 관점 인터페이스 트리link Vo, Pham Tra My; Bae, Doo-Hwan; et al, 한국과학기술원, 2006 |
| Trends in Software Design for Distributed Computing Systems You, Stephen S.; Jia, Xiaoping; Bae, Doo-Hwan, Future Trends of Distributed Computing Systems, pp.154 - 160, IEEE, 1990-09 |
| UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 김, 상운; 마, 유승; 강, 제성; 배, 두환; 권, 용래; Kim, Sang-Woon; Ma, Yu-Seung; et al, 한국정보과학회 학술발표논문집, Vol.28, No.2, pp.553-555, 2001-10 |
| UML-based modeling and simulation method for mission-critical real-time embedded system development Choi, Keung Sik; Jung, Sung-Chul; Kim, Hyun-Jung; Bae, Doo-Hwan; Lee, Dong-Hun, IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, pp.160 - 165, IASTED, 2006-02-14 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,774 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989