{"id":348,"date":"2018-11-06T00:57:02","date_gmt":"2018-11-06T00:57:02","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=348"},"modified":"2020-12-15T05:43:05","modified_gmt":"2020-12-15T05:43:05","slug":"conference-and-journal-papers","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/publications-2\/conference-and-journal-papers\/","title":{"rendered":"Publications"},"content":{"rendered":"<p class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\"><span style=\"font-size: 18px;\"><strong>International Conference\/Workshop\u00a0<\/strong><\/span><\/p>\n<ul>\n<li>Sumin Park, Yong-jun Shin, Sangwon Hyun, and Doo-Hwan Bae,\u00a0<strong>\u201cSIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems\u201d<\/strong>,\u00a0<em>IEEE 15th System of Systems Engineering Conference, 2020.<\/em><a href=\"https:\/\/ieeexplore.ieee.org\/document\/9130528\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li><span data-sheets-value=\"{&quot;1&quot;:2,&quot;2&quot;:&quot;Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young-Min Baek, and Doo-Hwan Bae&quot;}\" data-sheets-userformat=\"{&quot;2&quot;:7049,&quot;3&quot;:{&quot;1&quot;:0},&quot;6&quot;:{&quot;1&quot;:[{&quot;1&quot;:2,&quot;2&quot;:0,&quot;5&quot;:{&quot;1&quot;:2,&quot;2&quot;:0}},{&quot;1&quot;:0,&quot;2&quot;:0,&quot;3&quot;:3},{&quot;1&quot;:1,&quot;2&quot;:0,&quot;4&quot;:1}]},&quot;10&quot;:2,&quot;11&quot;:0,&quot;12&quot;:0,&quot;14&quot;:{&quot;1&quot;:2,&quot;2&quot;:0},&quot;15&quot;:&quot;Arial, sans-serif&quot;}\">Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young-Min Baek, and Doo-Hwan Bae,\u00a0<strong>\u201cPattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning\u201d<\/strong>,\u00a0<em>Asia-Pacific Software Engineering Conference (APSEC), 2020 27th<\/em><\/span><\/li>\n<li><span data-sheets-value=\"{&quot;1&quot;:2,&quot;2&quot;:&quot;Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young-Min Baek, and Doo-Hwan Bae&quot;}\" data-sheets-userformat=\"{&quot;2&quot;:7049,&quot;3&quot;:{&quot;1&quot;:0},&quot;6&quot;:{&quot;1&quot;:[{&quot;1&quot;:2,&quot;2&quot;:0,&quot;5&quot;:{&quot;1&quot;:2,&quot;2&quot;:0}},{&quot;1&quot;:0,&quot;2&quot;:0,&quot;3&quot;:3},{&quot;1&quot;:1,&quot;2&quot;:0,&quot;4&quot;:1}]},&quot;10&quot;:2,&quot;11&quot;:0,&quot;12&quot;:0,&quot;14&quot;:{&quot;1&quot;:2,&quot;2&quot;:0},&quot;15&quot;:&quot;Arial, sans-serif&quot;}\">Young-Min Baek, Zelalem Mihret, Yong-Jun Shin, and Doo-Hwan Bae,\u00a0<strong>\u201cA Modeling Method for Model-based Analysis and Design of a System-of-Systems\u201d<\/strong>,\u00a0<em>Asia-Pacific Software Engineering Conference (APSEC), 2020 27th<\/em><\/span><\/li>\n<li>Jiyoung Song, Jacob O. Torring, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae,\u00a0<strong>\u201cSlicing Executable System-of-Systems Models for Efficient Statistical Verification\u201d<\/strong>,\u00a0<em>Proceedings of the 3rd ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2019).<\/em><a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3355290\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>Sumin Park, B. Zelalem Mihret, Doo-Hwan Bae,\u00a0<strong>\u201cA Simulation-based Behavior Analysis for MCI Response System of Systems\u201d<\/strong>,<em>\u00a0Proceedings of the 3rd ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2019)<\/em>.<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3355288\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>Yong-Jun Shin,\u00a0Young-Min Baek,\u00a0Eunkyoung Jee, and Doo-Hwan Bae,\u00a0<strong>\u201cData-driven environment modeling for adaptive system-of-systems\u201d,<\/strong>\u00a0<em>Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing. ACM, 2019<\/em>.<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3297618\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>Yong-Jun Shin, Sangwon Hyun, Young-Min Baek, and Doo-Hwan Bae,\u00a0<strong>\u201cSpectrum-Based fault localization on a collaboration graph of a System-of-Systems\u201d<\/strong>,\u00a0<em>Proceedings of\u00a0 2019 14th Annual Conference System of Systems Engineering (SoSE) (SoSE2019), Anchorage, USA, May 2019<\/em>.<a href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/8753843\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>Sangwon Hyun, Jiyoung Song, Seungchyul Shin, and Doo-Hwan Bae,\u00a0<strong>\u201cStatistical Verification Framework for Platooning System of Systems with Uncertainty\u201d<\/strong>,\u00a0<em>Asia-Pacific Software Engineering Conference (APSEC), 2019 26th, Putrajaya, Malaysia<\/em>.<\/li>\n<li>Mingyu Jin, Donghwan Shin, and Doo-Hwan Bae, <strong>&#8220;ABC+: Extended Action-Benefit-Cost Modeling with Knowledge-based Decision-Making and Interaction Model for System of Systems Verification,&#8221;\u00a0<\/strong><em>33rd ACM\/SIGAPP Symposium On Applied Computing (SAC), 2018.\u00a0<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3167426\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/em><\/li>\n<li>Young-Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae, \u201c<strong>A Meta-Model for Representing System-of-Systems Ontologies<\/strong>\u201d, <em>6th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2018.\u00a0<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3194755\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/em><\/li>\n<li>Zelalem Mihret, Eunkyoung Jee, Young-Min Baek, and Doo-Hwan Bae, <strong>&#8220;System of Systems Collaboration Policy Modeling,&#8221;<\/strong> <em>IEEE 13th System of Systems Engineering Conference, 2018.\u00a0\u00a0<a href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/8428699\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/em><\/li>\n<li>Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee, and Doo-Hwan Bae, <strong>&#8220;SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS,&#8221;<\/strong> <em>Asia-Pacific Software Engineering Conference (APSEC), 2017 24th.\u00a0<a href=\"https:\/\/ieeexplore.ieee.org\/document\/8305979\/\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/em><\/li>\n<li>Wonkyung Yun, Donghwan Shin, and Doo-Hwan Bae, \u201c<strong>Mutation Analysis for System of Systems Policy Testing<\/strong>\u201d, <em>Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and System-of-Systems (SESoS\/WDES), 2017.<a href=\"https:\/\/ieeexplore.ieee.org\/document\/7961688\/\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/em><\/li>\n<li>Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae, \u201c<strong>Modeling and Verification for Different Types of System of Systems using PRISM<\/strong>\u201d, <em>ICSE 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2016 <\/em><a href=\"http:\/\/dl.acm.org\/citation.cfm?id=2897833\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\"><span style=\"font-size: 18px;\"><strong>International Journal<\/strong><\/span><\/p>\n<ul>\n<li>Donghwan Shin, Mingyu Jin, Yeong-Seok Seo, Junho Kim, and Doo-Hwan Bae, \u201c<strong>System of Systems Simulation and Verification using Action-Benefit-Cost Modeling Approach<\/strong>\u201d,\u00a0Journal of Systems and Software (JSS), 2018 (Submitted)<em>.\u00a0<\/em><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\"><span style=\"font-size: 18px;\"><strong>Domestic Conference (S. Korea)<\/strong><\/span><\/p>\n<ul>\n<li>\uc870\uc740\ud638, \ubc15\uc218\ubbfc, Lingjun Liu, Chua Kiat Kian Anthony, \ubc30\ub450\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988\uc758 \ub7f0\ud0c0\uc784 \uac80\uc99d \uc18d\uc131 \uba85\uc138 \uc720\ud615 \ubd84\uc11d \ubc0f \uc801\uc6a9(Analysis and Application of Runtime Verification Property Specification Patterns of System of Systems)<\/strong>\u201c,\u00a0<em>2020\u00a0\ud55c\uad6d\uc18c\ud504\ud2b8\uc6e8\uc5b4\uc885\ud569\ud559\uc220\ub300\ud68c \ub17c\ubb38\uc9d1[KSC 2020]<\/em>, 2020.12<\/li>\n<li>\ud604\uc0c1\uc6d0, \uc2e0\uc6a9\uc900, \ubc30\ub450\ud658,\u00a0<strong>\u201c\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988\uc758 \uc624\ub958 \uc704\uce58 \ucd94\uc815\uc744 \uc704\ud55c \ud1b5\uacc4\uc801\uac80\uc99d \uacb0\uacfc \ud65c\uc6a9 \uae30\ubc95 \ubd84\uc11d (Analysis of Utilization Methods of Statistical Model Checking Results for Localizing Faults on System of Systems)\u201d<\/strong>,\u00a0<em>\ud55c\uad6d\ucef4\ud4e8\ud130\uc885\ud569\ud559\uc220\ub300\ud68c \ub17c\ubb38\uc9d1 [KCC 2019]<\/em>, 2019. 06.\u00a0<img src=\"http:\/\/se.kaist.ac.kr\/images\/trophy.png\" alt=\"\" width=\"17\" \/><strong><em>\ucd5c\uc6b0\uc218 \ub17c\ubb38\uc0c1<\/em><\/strong><\/li>\n<li>\ubc31\uc601\ubbfc, \ubc15\uc218\ubbfc, \uc2e0\uc6a9\uc900, \ubc30\ub450\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988(SoS) \uc0ac\ub840 \ubd84\uc11d\uc744 \ud1b5\ud55c \uc628\ud1a8\ub85c\uc9c0 \uae30\ubc18\uc758 SoS \uba54\ud0c0\ubaa8\ub378 \uac1c\ubc1c(Development of Ontology-based System-of-Systems Meta-model Based on the Analysis of SoS Case Scenario)<\/strong>\u201d,\u00a0<em>\uc81c 20\ud68c \ud55c\uad6d \uc18c\ud504\ud2b8\uc6e8\uc5b4\uacf5\ud559 \ud559\uc220\ub300\ud68c \ub17c\ubb38\uc9d1(Proceedings of the 20th Korea Conference on Software Engineering) [KCSE 2018]<\/em>, \uc81c 20\uad8c 1\ud638, pp.3-4, 2018\ub144 01\uc6d4.\u00a0<img src=\"http:\/\/se.kaist.ac.kr\/images\/trophy.png\" alt=\"\" width=\"17\" \/><strong><em>\ucd5c\uc6b0\uc218 \ub17c\ubb38\uc0c1\u00a0\u00a0<a href=\"http:\/\/sigsoft.or.kr\/ftp\/KCSE_2018%20Proceedings.v2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\"><img loading=\"lazy\" class=\"alignnone\" src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" height=\"30\" \/><\/a><\/em><\/strong><\/li>\n<li>\uc2e0\uc6a9\uc900, \ubc15\uc218\ubbfc, \ubc31\uc601\ubbfc, \ubc30\ub450\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988 \uba54\ud0c0\ubaa8\ub378\uc758 \uc2dc\ub098\ub9ac\uc624 \uae30\ubc18 \ubd84\uc11d \ubc0f \ud1b5\uacc4\uc801 \uac80\uc99d \ud65c\uc6a9 \uac00\ub2a5\uc131 \ubd84\uc11d(Scenario-based Analysis of System-of-Systems Meta-model and Applicability Analysis for Statistical Verification)<\/strong>\u201d,\u00a0<em>\uc81c 20\ud68c \ud55c\uad6d \uc18c\ud504\ud2b8\uc6e8\uc5b4\uacf5\ud559 \ud559\uc220\ub300\ud68c \ub17c\ubb38\uc9d1(Proceedings of the 20th Korea Conference on Software Engineering) [KCSE 2018]<\/em>, \uc81c 20\uad8c 1\ud638, pp.31-40, 2018\ub144 01\uc6d4.\u00a0<a href=\"http:\/\/sigsoft.or.kr\/ftp\/KCSE_2018%20Proceedings.v2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\"><img loading=\"lazy\" class=\"alignnone\" src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" height=\"30\" \/><\/a><\/li>\n<li>\uc11c\ub3d9\uc6d0, \uc2e0\ub3d9\ud658, \ubc15\uc9c0\ud6c8, \uc9c0\uc740\uacbd, \ubc30\ub450\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988 \ubaa9\ud45c \uac80\uc99d\uc744 \uc704\ud55c \uc2dc\ubbac\ub808\uc774\uc158 \uc0ac\ub840 \uc5f0\uad6c<\/strong>\u201d,\u00a0<em>\uc81c 18\ud68c \ud55c\uad6d \uc18c\ud504\ud2b8\uc6e8\uc5b4\uacf5\ud559 \ud559\uc220\ub300\ud68c [KCSE 2016]<\/em>, pp.203-206, 2016\ub144 01\uc6d4.\u00a0<a href=\"http:\/\/www.sigsoft.or.kr\/?page_id=1438\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>\uae40\uc900\ud638, \uc2e0\ub3d9\ud658, \ubc30\ub450\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988 \ub300\uc0c1 \ud589\ub3d9-\uc774\uc775-\ube44\uc6a9 \ubaa8\ub378\ub9c1 \ubc0f \ud1b5\uacc4\uc801 \ubaa8\ub378 \uccb4\ud0b9 \uae30\ubc18 \uc18d\uc131 \uac80\uc99d \uc0ac\ub840 \uc5f0\uad6c<\/strong>\u201d,\u00a0<em>\ud55c\uad6d\ucef4\ud4e8\ud130\uc885\ud569\ud559\uc220\ub300\ud68c \ub17c\ubb38\uc9d1 [KCC 2016]<\/em>, pp.625-627, 2016\ub144 07\uc6d4.\u00a0<a href=\"https:\/\/www.eiric.or.kr\/community\/post2.php?m=view&amp;gubun=201607&amp;num=4669&amp;pg=3&amp;seGubun=8&amp;seGubun1=&amp;SnxGubun=%B1%B8%B5%CE&amp;searchBy=Subject&amp;searchWord=\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>\uc724\uc6d0\uacbd, \uc1a1\uc9c0\uc601, \uc9c0\uc740\uacbd, \ubc30\ub450\ud658, \u201c<strong>\uad50\ud1b5 \ubd84\uc57c \uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988 \ub300\uc0c1 SUMO\uc758 \ubaa8\ub378\ub9c1 \uc801\ud569\uc131 \ubd84\uc11d<\/strong>\u201d,\u00a0<em>\ud55c\uad6d\ucef4\ud4e8\ud130\uc885\ud569\ud559\uc220\ub300\ud68c \ub17c\ubb38\uc9d1 [KCC 2016]<\/em>, pp.631-633, 2016\ub144 07\uc6d4.\u00a0<a href=\"http:\/\/se.kaist.ac.kr\/ekjee\/paper\/KCC2016-wkyun.pdf\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>\uc815\uc720\ub9bc, \ubc31\uc601\ubbfc, \uc724\uc77c\ucca0, \ubc30\ub450\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988 \ubaa8\ub378\ub9c1\uc744 \uc704\ud55c \ub2e4\uc911 \uc5d0\uc774\uc804\ud2b8 \uc2dc\uc2a4\ud15c \uba54\ud0c0 \ubaa8\ub378\ub9c1 \uae30\ubc95 \ubd84\uc11d<\/strong>\u201d,\u00a0<em>\ud55c\uad6d\uc815\ubcf4\uacfc\ud559\ud68c \ud559\uc220\ubc1c\ud45c\ub17c\ubb38\uc9d1 [KCSE 2017]<\/em>, pp.398-400, 2016\ub144 12\uc6d4.<a href=\"http:\/\/www.sigsoft.or.kr\/?page_id=1438\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>\uc774\uc815\ud604, \uc784\uc720\uc9c4, \uc9c0\uc740\uacbd, \ubc30\ub450\ud658, \u201c<strong>\ud0dc\uc2a4\ud06c \uae30\ubc18 \ud14c\uc2a4\ud2b8 \ubaa8\ub378\uc758 \uad70\uc9d1 \uc801\uc751\ud615 \uc2dc\uc2a4\ud15c \uc801\uc6a9 \ud0c0\ub2f9\uc131 \uc5f0\uad6c<\/strong>\u201d,\u00a0<em>\uc81c42\ud68c \ud55c\uad6d\uc815\ubcf4\uacfc\ud559\ud68c \ub3d9\uacc4\ud559\uc220\ubc1c\ud45c\ud68c<\/em>, pp.476-478, 2015\ub144 12\uc6d4.\u00a0<a href=\"http:\/\/www.dbpia.co.kr\/Article\/NODE06602424\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><img src=\"http:\/\/se.kaist.ac.kr\/images\/trophy.png\" alt=\"\" width=\"17\" \/><strong><em>\uc6b0\uc218\ubc1c\ud45c \ub17c\ubb38\uc0c1<\/em><\/strong><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\"><span style=\"font-size: 18px;\"><strong>Domestic Journal (S. Korea)<\/strong><\/span><\/p>\n<ul>\n<li>\ud604\uc0c1\uc6d0, \uc2e0\uc6a9\uc900, \ubc30\ub450\ud658,\u00a0<strong>\u201c\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988\uc758 \uc624\ub958 \uc704\uce58 \ucd94\uc815\uc744 \uc704\ud55c \ud1b5\uacc4\uc801 \uac80\uc99d \uacb0\uacfc \ud65c\uc6a9 \uae30\ubc95 \ubd84\uc11d(Analysis of Utilization Methods of the Statistical Model Checking Results for Localizing Faults on System of Systems)\u201d<\/strong>.\u00a0<em>\uc815\ubcf4\uacfc\ud559\ud68c\uc9c0 2020, 47(4), 380-386.<\/em><\/li>\n<li>\uc2e0\uc2b9\ucca0, \ud604\uc0c1\uc6d0, \uc2e0\uc6a9\uc900, \uc1a1\uc9c0\uc601, \ubc30\ub450\ud658,\u00a0<strong>\u201c\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988\uc758 \ud2b9\uc131\uc744 \uace0\ub824\ud55c \ubc1c\ud604 \uc704\uce58 \uae30\ubc18 \ubd88\ud655\uc2e4\uc131 \uc694\uc18c \ubd84\ub958(Manifestation Location-based Classification of Uncertainty Factors Considering Characteristics of System-of-Systems)\u201d<\/strong>.\u00a0<em>\uc815\ubcf4\uacfc\ud559\ud68c \ucef4\ud4e8\ud305\uc758 \uc2e4\uc81c \ub17c\ubb38\uc9c0 2020, 26(10), 451-457.<\/em><\/li>\n<li>\ubc31\uc601\ubbfc, \ubc15\uc218\ubbfc, \uc2e0\uc6a9\uc900, \ubc30\ub450\ud658,\u00a0<strong>\u201c(2018 KCSE \uc6b0\uc218\ub17c\ubb38) \uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988(SoS) \uc0ac\ub840 \ubd84\uc11d\uc744 \ud1b5\ud55c \uc628\ud1a8\ub85c\uc9c0 \uae30\ubc18\uc758 SoS \uba54\ud0c0\ubaa8\ub378 \uac1c\ubc1c(Development of Ontology-based System-of-Systems Meta-model\u00a0Based on the Analysis of SoS Case Scenario),\u201d\u00a0<\/strong><em>\uc815\ubcf4\uacfc\ud559\ud68c\ub17c\ubb38\uc9c0:\uc18c\ud504\ud2b8\uc6e8\uc5b4 \ubc0f \uc751\uc6a9, 2018.\u00a0<strong><a href=\"http:\/\/sigsoft.or.kr\/ftp\/KCSE_2018%20Proceedings.v2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\"><img loading=\"lazy\" class=\"alignnone\" src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" height=\"30\" \/><\/a><\/strong><\/em><\/li>\n<li>\uae40\uc900\ud638, \ubc30\ub450\ud658, \uc2e0\ub3d9\ud658, \u201c<strong>\uc2dc\uc2a4\ud15c \uc624\ube0c \uc2dc\uc2a4\ud15c\uc988 \uc218\uc900\uc758 \ubaa9\ud45c \ub2ec\uc131 \uac80\uc99d\uc744 \uc704\ud55c \ud589\ub3d9-\uc774\uc775-\ube44\uc6a9 \ubaa8\ub378\uacfc \ud1b5\uacc4\uc801 \ubaa8\ub378 \uccb4\ud0b9 \uc801\uc6a9 \uc5f0\uad6c<\/strong>\u201d,\u00a0<em>\uc815\ubcf4\uacfc\ud559\ud68c \ucef4\ud4e8\ud305\uc758 \uc2e4\uc81c \ub17c\ubb38\uc9c0<\/em>, \uc81c23\uad8c, \uc81c4\ud638, pp.256-261, 2017\ub144 4\uc6d4.\u00a0<a href=\"http:\/\/www.dbpia.co.kr\/Journal\/ArticleDetail\/NODE07153954\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\"><span style=\"font-size: 18px;\"><strong>Other Related Publications (~2016)<\/strong><\/span><\/p>\n<ul>\n<li>[Int. Conference] Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, \u201c<strong>A Runtime Verification Framework for Dynamically Adaptive Multi-agent Systems<\/strong>\u201d, <em>International Conference on Big Data and Smart Computing (BigComp), 2016 <\/em> <a href=\"http:\/\/www.computer.org\/csdl\/proceedings\/bigcomp\/2016\/8796\/00\/07425981-abs.html\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<li>[Int. Conference] Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, \u201c<strong>Efficient Testing of Self-adaptive Behaviors in Collective Adaptive Systems<\/strong>\u201d, <em>The 39th Annual International Computers, Software &amp; Applications Conference, July 2015.<\/em> <a href=\"http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?reload=true&amp;arnumber=7273621\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/pdf.png\" alt=\"\" width=\"13\" \/><\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>International Conference\/Workshop\u00a0 Sumin Park, Yong-jun Shin, Sangwon Hyun, and Doo-Hwan Bae,\u00a0\u201cSIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems\u201d,\u00a0IEEE 15th System of Systems Engineering Conference, 2020. Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young-Min Baek, and Doo-Hwan Bae,\u00a0\u201cPattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning\u201d,\u00a0Asia-Pacific Software Engineering Conference (APSEC), 2020 27th Young-Min Baek, Zelalem [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":334,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/348"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=348"}],"version-history":[{"count":14,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/348\/revisions"}],"predecessor-version":[{"id":942,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/348\/revisions\/942"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/334"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=348"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}