Browse "College of Engineering(공과대학)" by Author Song, Jiyoung

Showing results 1 to 14 of 14

1
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

2
Continuous verification for system of systems with MAPE-K patterns and model slicing = 시스템 오브 시스템즈 대상 MAPE-K 패턴과 모델 슬라이싱을 사용한 지속적 검증link

Song, Jiyoung; Bae, Doo-Hwan; et al, 한국과학기술원, 2022

3
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

4
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

5
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

6
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

7
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

8
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

9
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

10
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

11
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

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

13
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

14
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

rss_1.0 rss_2.0 atom_1.0