Browse "College of Engineering(공과대학)" by Author Song, Jiyoung
Showing results 1 to 14 of 14
| Automated test sequence generation for function block diagram programs Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, pp.305 - 312, IEEE Computer Society, 2016-12 |
| Continuous verification for system of systems with MAPE-K patterns and model slicing = 시스템 오브 시스템즈 대상 MAPE-K 패턴과 모델 슬라이싱을 사용한 지속적 검증link Song, Jiyoung; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
| Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing Song, Jiyoung; Kang, Jeehoon; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07 |
| Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study Song, Jiyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.206, 2023-12 |
| FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10 |
| Modeling and verification for different types of system of systems using PRISM Seo, Dongwon; Shin, Donghwan; Baek, Young-Min; Song, Jiyoung; Yun, Wonkyung; Kim, Junho; Jee, Eunkyoung; et al, 4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18, Association for Computing Machinery, Inc, 2016-05-16 |
| 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 |
| Relationship between Mechanical Properties and Microstructure of Nannocrystalline Gold Bonding Wires Kim, Kyung Seop; Song, Jiyoung; Chung, EK; Pakr, JK; Hong, Soon Hyung, International Symposium on Macro-, Meso-, Micro- and Nano-Mechanics of Materials, pp.167 - 169, International Symposium on Macro-, Meso-, Micro- and Nano-Mechanics of Materials, 2003-12-08 |
| 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 |
| 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 |
| 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 |
| 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 |
| Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems Shin, Seungchyul; Hyun,Sangwon; Shin, Yongjun; Song, Jiyoung; Bae, Doohwan, 16th International System of Systems Engineering Conference, SoSE 2021, pp.216 - 221, Institute of Electrical and Electronics Engineers Inc., 2021-06 |
Discover
Open Access
Date issued
- 23,228 2020 - 2024
- 75,387 2010 - 2019
- 57,250 2000 - 2009
- 30,842 1990 - 1999
- 9,025 1980 - 1989