Browse "CS-Conference Papers(학술회의논문)" by Author Baek, Young-Min

Showing results 1 to 7 of 7

1
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

2
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

3
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

4
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

5
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

6
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

7
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

rss_1.0 rss_2.0 atom_1.0