A meta-model for representing system-of-systems ontologies YM Baek, J Song, YJ Shin, S Park, DH Bae Proceedings of the 6th International Workshop on Software Engineering for …, 2018 | 28 | 2018 |
Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems YJ Shin, L Liu, S Hyun, DH Bae 16th Symposium on Software Engineering for Adaptive and Self-Managing …, 2021 | 16 | 2021 |
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 |
Concepts and models of environment of self-adaptive systems: A systematic literature review YJ Shin, JY Bae, DH Bae 2021 28th Asia-Pacific Software Engineering Conference (APSEC), 296-305, 2021 | 8 | 2021 |
Pasta: An efficient proactive adaptation approach based on statistical model checking for self-adaptive systems YJ Shin, E Cho, DH Bae International Conference on Fundamental Approaches to Software Engineering …, 2021 | 8 | 2021 |
A modeling method for model-based analysis and design of a system-of-systems YM Baek, Z Mihret, YJ Shin, DH Bae 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 336-345, 2020 | 5 | 2020 |
Data-driven environment modeling for adaptive system-of-systems YJ Shin, YM Baek, E Jee, DH Bae Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2044-2047, 2019 | 4 | 2019 |
Hands-on field operational test dataset of a multi-controller cps: A modeled case study on autonomous driving YJ Shin, E Cho, H Kim, DH Bae 2022 17th Annual System of Systems Engineering Conference (SOSE), 205-212, 2022 | 2 | 2022 |
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 | 2 | 2019 |
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning YJ Shin, D Shin, DH Bae ACM Transactions on Embedded Computing Systems, 2024 | | 2024 |
Data-driven environment model generation using imitation learning for efficient cyber-physical system goal verification YJ Shin 한국과학기술원, 2023 | | 2023 |
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 |
Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems E Cho, H Kim, YJ Shin, DH Bae 한국정보과학회 학술발표논문집, 267-269, 2022 | | 2022 |
Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification YJ Shin, D Shin, DH Bae arXiv preprint arXiv:2204.06799, 2022 | | 2022 |
A Modeling Method for Representation of Geographical Information of a System-of-Systems YM Baek, E Cho, YJ Shin, DH Bae 2021 16th International Conference of System of Systems Engineering (SoSE), 7-12, 2021 | | 2021 |
시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류 신승철, 현상원, 신용준, 송지영, 배두환 정보과학회 컴퓨팅의 실제 논문지 26 (10), 451-457, 2020 | | 2020 |
시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석 현상원, 신용준, 배두환 정보과학회논문지 47 (4), 380-386, 2020 | | 2020 |
결함-공격 트리 기반 안전성 및 보안 분석 기법 비교 조은호, 신용준, 지은경, 배두환 한국정보과학회 학술발표논문집, 299-301, 2019 | | 2019 |
데이터 기반 교통 흐름 시스템 다이내믹스 환경 모델 생성 및 추론 기법 김태환, 조은호, 신용준, 배두환 한국정보과학회 학술발표논문집, 1725-1727, 2018 | | 2018 |