Showing results 1 to 7 of 7
A collaboration policy model for system of systems Mihret, B. Zelalem; Jee, Eunkyoung; Baek, Young-Min; Bae, Doo-Hwan, 13th System of Systems Engineering Conference (SoSE), pp.1 - 8, IEEE, 2018-06 |
A Modeling Method for Model-based Analysis and Design of a System-of-Systems Baek, Young-Min; Mihret, Zelalem; Shin, Yong-Jun; Bae, Doo-Hwan, 27th Asia-Pacific Software Engineering Conference (APSEC), pp.336 - 345, IEEE COMPUTER SOC, 2020-12 |
Generation of Adaptation Strategies for Dynamic Reconfiguration of a System of Systems Lee, Sungjin; Baek, Young-Min; Hyun, Sangwon; Bae, Doo-Hwan, 16th International System of Systems Engineering Conference, SoSE 2021, pp.144 - 149, Institute of Electrical and Electronics Engineers Inc., 2021-06 |
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 |
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 |
Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems Shin, Yong-Jun; Hyun, Sangwon; Baek, Young-Min; Bae, Doo-Hwan, 14th Annual Conference System of Systems Engineering (SoSE), pp.358 - 363, IEEE, 2019-05 |
Discover