Publications

International Conference/Workshop 

  • 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)

  • 백영민, 박수민, 신용준, 배두환, “시스템 오브 시스템즈(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)

  • 백영민, 박수민, 신용준, 배두환, “(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.