| Platooning legos: An open physical exemplar for engineering self-adaptive cyber-physical systems-of-systems YJ Shin, L Liu, S Hyun, DH Bae 2021 International Symposium on Software Engineering for Adaptive and Self …, 2021 | 18 | 2021 |
| Statistical verification framework for platooning system of systems with uncertainty S Hyun, J Song, S Shin, DH Bae 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 212-219, 2019 | 11 | 2019 |
| Simva-sos: Simulation-based verification and analysis for system-of-systems S Park, Y Shin, S Hyun, DH Bae 2020 IEEE 15th International Conference of System of Systems Engineering …, 2020 | 10 | 2020 |
| Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing J Song, J Kang, S Hyun, E Jee, DH Bae Information and Software Technology 147, 106904, 2022 | 5 | 2022 |
| An empirical study of reliability analysis for platooning system-of-systems S Hyun, L Liu, H Kim, E Cho, DH Bae 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 5 | 2021 |
| Pattern-based analysis of interaction failures in systems-of-systems: A case study on platooning S Hyun, J Song, S Shin, YM Baek, DH Bae 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 326-335, 2020 | 5 | 2020 |
| Timed pattern-based analysis of collaboration failures in system-of-systems S Hyun, J Song, E Jee, DH Bae Journal of Systems and Software 198, 111613, 2023 | 3 | 2023 |
| Slicing executable system-of-systems models for efficient statistical verification J Song, JO Tørring, S Hyun, E Jee, DH Bae 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems …, 2019 | 3 | 2019 |
| Uncertainty based fault type identification for fault knowledge base generation in system of systems S Shin, S Hyun, Y Shin, J Song, DH Bae 2021 16th International Conference of System of Systems Engineering (SoSE …, 2021 | 2 | 2021 |
| Spectrum-based fault localization on a collaboration graph of a system-of-systems YJ Shin, S Hyun, YM Baek, DH Bae 2019 14th Annual Conference System of Systems Engineering (SoSE), 358-363, 2019 | 2 | 2019 |
| Towards the quality assessment of intelligent transportation system of systems using edge computing MM Thwe, S Hyun, DH Bae 한국정보과학회 학술발표논문집, 163-165, 2021 | 1 | 2021 |
| Timed Pattern-Based Analysis of Failure-Inducing Interactions in Platooning System-of-Systems S Hyun, E Jee, J Song, DH Bae Available at SSRN 4057041, 0 | 1 | |
| METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities S Hyun, M Guo, MA Babar International Conference on Software Testing, Verification, and Validation, ICST, 2024 | | 2024 |
| Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm E Cho, YJ Shin, S Hyun, H Kim, DH Bae 2022 29th Asia-Pacific Software Engineering Conference (APSEC), 209-218, 2022 | | 2022 |
| 다변수 시계열 데이터 군집화 알고리즘의 사이버 물리 시스템 오브 시스템즈 실패 분석을 위한 연구 조사 김한수， 현상원， 배두환 한국정보과학회 학술발표논문집, 276-278, 2022 | | 2022 |
| Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems SJ Lee, YM Baek, S Hyun, DH Bae 2021 16th International Conference of System of Systems Engineering (SoSE …, 2021 | | 2021 |
| 시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류 신승철， 현상원， 신용준， 송지영， 배두환 정보과학회 컴퓨팅의 실제 논문지 26 (10), 451-457, 2020 | | 2020 |
| 시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석 현상원， 신용준， 배두환 정보과학회논문지 47 (4), 380-386, 2020 | | 2020 |
| 시스템 오브 시스템즈에서의 불확실성 요소 분석 군집운행: 시나리오에서의 사례 연구 신승철， 현상원， 송지영， 배두환 2019 한국소프트웨어종합학술대회, 2019 | | 2019 |
| 2024 IEEE Conference on Software Testing, Verification and Validation (ICST)| 979-8-3503-0818-1/24/$31.00© 2024 IEEE| DOI: 10.1109/ICST60714. 2024.00057 BK Aichernig, A Alshammari, D Amalfitano, P Ammann, P Arcaini, ... | | |
Doo-Hwan BaeKAIST在 se.kaist.ac.kr 的电子邮件经过验证
