Publications

International Conference/Workshop 

  • Sumin Park, Yong-jun Shin, Sangwon Hyun, and Doo-Hwan Bae, “SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems”, IEEE 15th System of Systems Engineering Conference, 2020.
  • Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young-Min Baek, and Doo-Hwan Bae, “Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning”, Asia-Pacific Software Engineering Conference (APSEC), 2020 27th
  • Young-Min Baek, Zelalem Mihret, Yong-Jun Shin, and Doo-Hwan Bae, “A Modeling Method for Model-based Analysis and Design of a System-of-Systems”, Asia-Pacific Software Engineering Conference (APSEC), 2020 27th
  • Jiyoung Song, Jacob O. Torring, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae, “Slicing Executable System-of-Systems Models for Efficient Statistical Verification”, Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2019).
  • Sumin Park, B. Zelalem Mihret, Doo-Hwan Bae, “A Simulation-based Behavior Analysis for MCI Response System of Systems”, Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2019).
  • Yong-Jun Shin, Young-Min Baek, Eunkyoung Jee, and Doo-Hwan Bae, “Data-driven environment modeling for adaptive system-of-systems”, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. ACM, 2019.
  • Yong-Jun Shin, Sangwon Hyun, Young-Min Baek, and Doo-Hwan Bae, “Spectrum-Based fault localization on a collaboration graph of a System-of-Systems”, Proceedings of  2019 14th Annual Conference System of Systems Engineering (SoSE) (SoSE2019), Anchorage, USA, May 2019.
  • Sangwon Hyun, Jiyoung Song, Seungchyul Shin, and Doo-Hwan Bae, “Statistical Verification Framework for Platooning System of Systems with Uncertainty”, Asia-Pacific Software Engineering Conference (APSEC), 2019 26th, Putrajaya, Malaysia.
  • Mingyu Jin, Donghwan Shin, and Doo-Hwan Bae, “ABC+: Extended Action-Benefit-Cost Modeling with Knowledge-based Decision-Making and Interaction Model for System of Systems Verification,” 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), 2018. 
  • Young-Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae, “A Meta-Model for Representing System-of-Systems Ontologies”, 6th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2018. 
  • Zelalem Mihret, Eunkyoung Jee, Young-Min Baek, and Doo-Hwan Bae, “System of Systems Collaboration Policy Modeling,” IEEE 13th System of Systems Engineering Conference, 2018.  
  • Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee, and Doo-Hwan Bae, “SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS,” Asia-Pacific Software Engineering Conference (APSEC), 2017 24th. 
  • Wonkyung Yun, Donghwan Shin, and Doo-Hwan Bae, “Mutation Analysis for System of Systems Policy Testing”, 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.
  • Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae, “Modeling and Verification for Different Types of System of Systems using PRISM”, ICSE 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS), 2016

 

International Journal

  • Donghwan Shin, Mingyu Jin, Yeong-Seok Seo, Junho Kim, and Doo-Hwan Bae, “System of Systems Simulation and Verification using Action-Benefit-Cost Modeling Approach”, Journal of Systems and Software (JSS), 2018 (Submitted). 

 

Domestic Conference (S. Korea)

  • 조은호, 박수민, Lingjun Liu, Chua Kiat Kian Anthony, 배두환, “시스템 오브 시스템즈의 런타임 검증 속성 명세 유형 분석 및 적용(Analysis and Application of Runtime Verification Property Specification Patterns of System of Systems)“, 2020 한국소프트웨어종합학술대회 논문집[KSC 2020], 2020.12
  • 현상원, 신용준, 배두환, “시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적검증 결과 활용 기법 분석 (Analysis of Utilization Methods of Statistical Model Checking Results for Localizing Faults on System of Systems)”, 한국컴퓨터종합학술대회 논문집 [KCC 2019], 2019. 06. 최우수 논문상
  • 백영민, 박수민, 신용준, 배두환, “시스템 오브 시스템즈(SoS) 사례 분석을 통한 온톨로지 기반의 SoS 메타모델 개발(Development of Ontology-based System-of-Systems Meta-model Based on the Analysis of SoS Case Scenario)”, 제 20회 한국 소프트웨어공학 학술대회 논문집(Proceedings of the 20th Korea Conference on Software Engineering) [KCSE 2018], 제 20권 1호, pp.3-4, 2018년 01월. 최우수 논문상  
  • 신용준, 박수민, 백영민, 배두환, “시스템 오브 시스템즈 메타모델의 시나리오 기반 분석 및 통계적 검증 활용 가능성 분석(Scenario-based Analysis of System-of-Systems Meta-model and Applicability Analysis for Statistical Verification)”, 제 20회 한국 소프트웨어공학 학술대회 논문집(Proceedings of the 20th Korea Conference on Software Engineering) [KCSE 2018], 제 20권 1호, pp.31-40, 2018년 01월. 
  • 서동원, 신동환, 박지훈, 지은경, 배두환, “시스템 오브 시스템즈 목표 검증을 위한 시뮬레이션 사례 연구”, 제 18회 한국 소프트웨어공학 학술대회 [KCSE 2016], pp.203-206, 2016년 01월. 
  • 김준호, 신동환, 배두환, “시스템 오브 시스템즈 대상 행동-이익-비용 모델링 및 통계적 모델 체킹 기반 속성 검증 사례 연구”, 한국컴퓨터종합학술대회 논문집 [KCC 2016], pp.625-627, 2016년 07월. 
  • 윤원경, 송지영, 지은경, 배두환, “교통 분야 시스템 오브 시스템즈 대상 SUMO의 모델링 적합성 분석”, 한국컴퓨터종합학술대회 논문집 [KCC 2016], pp.631-633, 2016년 07월. 
  • 정유림, 백영민, 윤일철, 배두환, “시스템 오브 시스템즈 모델링을 위한 다중 에이전트 시스템 메타 모델링 기법 분석”, 한국정보과학회 학술발표논문집 [KCSE 2017], pp.398-400, 2016년 12월.
  • 이정현, 임유진, 지은경, 배두환, “태스크 기반 테스트 모델의 군집 적응형 시스템 적용 타당성 연구”, 제42회 한국정보과학회 동계학술발표회, pp.476-478, 2015년 12월. 우수발표 논문상

 

Domestic Journal (S. Korea)

  • 현상원, 신용준, 배두환, “시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석(Analysis of Utilization Methods of the Statistical Model Checking Results for Localizing Faults on System of Systems)”. 정보과학회지 2020, 47(4), 380-386.
  • 신승철, 현상원, 신용준, 송지영, 배두환, “시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류(Manifestation Location-based Classification of Uncertainty Factors Considering Characteristics of System-of-Systems)”. 정보과학회 컴퓨팅의 실제 논문지 2020, 26(10), 451-457.
  • 백영민, 박수민, 신용준, 배두환, “(2018 KCSE 우수논문) 시스템 오브 시스템즈(SoS) 사례 분석을 통한 온톨로지 기반의 SoS 메타모델 개발(Development of Ontology-based System-of-Systems Meta-model Based on the Analysis of SoS Case Scenario),” 정보과학회논문지:소프트웨어 및 응용, 2018. 
  • 김준호, 배두환, 신동환, “시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구”, 정보과학회 컴퓨팅의 실제 논문지, 제23권, 제4호, pp.256-261, 2017년 4월. 

 

Other Related Publications (~2016)

  • [Int. Conference] Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “A Runtime Verification Framework for Dynamically Adaptive Multi-agent Systems”, International Conference on Big Data and Smart Computing (BigComp), 2016
  • [Int. Conference] Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, “Efficient Testing of Self-adaptive Behaviors in Collective Adaptive Systems”, The 39th Annual International Computers, Software & Applications Conference, July 2015.