Browse "CS-Conference Papers(학술회의논문)" by Author Song, Jiyoung
Showing results 1 to 8 of 8
| 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 |
| 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 |
| 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 |
| 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
Type
- 102 Article
- 7,376 Conference
- 1 Thesis
Date issued
- 923 2020 - 2023
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989