Home › Domestic Conference

Domestic Conference

2020

  • Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae, “Analysis of coupling effect hypothesis for function block diagram programs“, 2020 한국소프트웨어종합학술대회 논문집[KSC 2020], 2020.12
  • 조은호, 박수민, Lingjun Liu, Chua Kiat Kian Anthony, 배두환, “시스템 오브 시스템즈의 런타임 검증 속성 명세 유형 분석 및 적용(Analysis and Application of Runtime Verification Property Specification Patterns of System of Systems)“, 2020 한국소프트웨어종합학술대회 논문집[KSC 2020], 2020.12
  • Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae, “Automated mutant generation for function block diagram programs“, 제 22회 한국 소프트웨어공학 학술대회 논문집(Proceedings of the 22th Korea Conference on Software Engineering) [KCSE 2020], 2020. 02.

2019

  • 현상원, 신용준, 배두환, “시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적검증 결과 활용 기법 분석 (Analysis of Utilization Methods of Statistical Model Checking Results for Localizing Faults on System of Systems)”, 한국컴퓨터종합학술대회 논문집 [KCC 2019], 2019. 06. 최우수 논문상

 

2018

  • 백영민, 박수민, 신용준, 배두환, “시스템 오브 시스템즈(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월. 
  • 현상원, 송지영, 지은경, 배두환, “시스템 오브 시스템즈의 효율적 검증을 위한 목표 모델 슬라이싱 (Goal Model Slicing for Efficient Verification of System of Systems)”. 한국정보과학회 학술발표논문집 [KSC 2018], 2018.12, 432-434.  우수 논문상
  • 김태환, 조은호, 신용준, 배두환, “데이터 기반 교통 흐름 시스템 다이내믹스 환경 모델 생성 및 추론 기법”. 한국정보과학회 학술발표논문집 [KSC 2018], 2018. 12, 1725-1727.
  • 지은경, 정유림, 유중훈, 신동환, 배두환, “블록체인 합의 알고리즘 모델링 및 시뮬레이션 사례연구”. 한국정보과학회 학술발표논문집 [KSC 2018], 2018.12, 438-440.

 

2017

  • 권기춘, 이장수, 지은경, “Safety Justification and Safety Case for Safety-critical Software in Digital Reactor Protection System,” 한국원자력학회 춘계학술발표회(Proceedings of the KNS 2017 Autumn Meeting), 2017.
  • 지은경, 김한석, 배두환, “FBD 프로그램에 대한 포괄적 뮤테이션 연산자 정의,” 한국정보과학회 학술발표논문집 , 2017.12, 1662-1662 (1 pages)
  • 지은경, 권기춘, 이장수, 배두환, “원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구,” 한국정보과학회 2017년 한국컴퓨터종합학술대회 논문집, 2017.06, 1621-1621 (1 page), 2017.

 

2016

  • 서동원, 신동환, 박지훈, 지은경, 배두환, “시스템 오브 시스템즈 목표 검증을 위한 시뮬레이션 사례 연구”, 제 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월.

 

2015

  • 이정현, 임유진, 지은경, 배두환, “태스크 기반 테스트 모델의 군집 적응형 시스템 적용 타당성 연구”, 제42회 한국정보과학회 동계학술발표회, pp.476-478, 2015년 12월. 우수발표 논문상
  • 백영민, 홍광의, 이정현, 배두환, “효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법”, 한국컴퓨터종합학술대회 논문집, pp.549-551, 2015년 06월.우수 논문상 
  • 송지영, 지은경, 배두환, “FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘”, 한국컴퓨터종합학술대회 논문집, pp.570-572, 2015년 06월.
  • 신동환, 윤원경, 김준호, 지은경, 배두환, “FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석”, 한국컴퓨터종합학술대회 논문집, pp.567-569, 2015년 06월.우수발표 논문상
  • 서동원, 신동환, 배두환, “제한 시간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법”, 제 17회 한국 소프트웨어공학 학술대회 [KCSE 2015], pp.3-4, 2015년 01월. 최우수 논문상
  • 김영택, 박지훈, 전영미, 백종문, 배두환, “무인항공기체계 소프트웨어 결함 원인분석을 통한 소프트웨어 프로세스 개선 방안”, 제 17회 한국 소프트웨어공학 학술대회 [KCSE 2015], pp.279-281, 2015년 01월.
  • 지은경, 신동환, 배두환, “원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고”, 정보과학회지 제33권 제7호 , pp.15-26, 2015년 07월.

 

2014

  • 채철우, 신동환, 지은경, 홍광의, 배두환, “SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석”, 제41회 한국정보과학회 동계학술발표회, pp.399-401, 2014년 12월.
  • 홍광의, 임유진, 지은경, 신동환, 배두환, “스마트 기기 자율 협업 검증 프레임워크”, 한국컴퓨터종합학술대회 논문집, pp.454-456, 2014년 06월.
  • 김한석, 지은경, 배두환, “타임드 오토마타 모델 기반 테스팅 기법 분석”, 한국컴퓨터종합학술대회 논문집, pp.523-525, 2014년 06월. 우수발표 논문상
  • 박지훈, 신동환, 홍광의, 서동원, 화지민, 배기곤, 서영석, 배두환, “실무 요구사항을 고려한 소프트웨어 프로젝트 계획 생성 지원 기법 및 도구”, 한국소프트웨어공학 학술대회 [KCSE 2014], 2014년 02월. 우수 논문상
  • 임유진, 신동환, 지은경, 박지훈, 배두환, “의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석”, 한국소프트웨어공학 학술대회 [KCSE 2014] , 2014년 02월.

 

2013

  • 서동원, 지은경, 배두환, “실시간 모델 기반 테스트 케이스를 코드 테스트에 활용하기 위한 방법”, 제40회 한국정보과학회 추계학술발표회, 2013년 11월.
  • 홍광의, 지은경, 배두환, “실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법”, 2013 한국컴퓨터종합학술대회 논문집, 2013년 06월. 우수 논문상
  • 화지민, 박지훈, 신동환, 홍광의, 배기곤, 서영석, 배두환, “소프트웨어 프로젝트 계획에서의 구체적 실무 이슈를 반영한 자동화된 인력 할당 기법”, 한국소프트웨어공학 학술대회, 2013년 02월. 최우수 논문상

 

2012

  • 원종세, 서영석, 배두환, “소프트웨어 형상 관리 정보와 결함 발생 수와의 상관성에 대한 실험적 연구”, 제39회 한국정보과학회 추계학술발표회, 2012년 10월.
  • 신동환, 지은경, 배두환, “FBD 모델 대상 뮤테이션 연산자 정의”, 2012 한국컴퓨터종합학술대회 논문집, 제39권, 제1호, pp. 184-186, 2012년 6월. 우수발표 논문상
  • 최진호, 지은경, 배두환, “타임드 오토마타 모델로부터 체계적인 VxWorks 기반 코드 생성”, 2012 한국컴퓨터종합학술대회 논문집, 제39권, 제1호, pp.138-140, 2012년 6월. 우수발표 논문상

 

2011

  • 박범석, 김현정, 배두환, “임베디드 소프트웨어 제품라인에서의 수리비용 기반 회귀 테스트 자원 할당 방법”, 한국정보과학회 2011가을 학술발표논문집, 제38권, 제2호(B), pp.124-127, 2011년 11월.
  • 최진호, 지은경, 김현정, 배두환, “안전성이 중요한 실시간 시스템의 시간 제약성 검증에 관한 사례 연구”, 2011 한국컴퓨터종합학술대회 논문집, 제38권, 제1호, pp. 166-169, 2011년 6월. 우수 논문상
  • 조현식, 서영석, 배두환, “유추기반 공수 예측에서 국소적으로 최적화된 속성 가중치 부여 기법”, 2011 한국 소프트웨어공학 학술대회 논문집, 제13권, 제1호, pp.77-86, 2011년 2월.
  • 천석호, 배두환, “내장형 실시간 시스템의 소프트웨어 아키텍처 리엔지니어링 사례연구”, 2011 한국정보과학회 가을 학술발표논문집, 제38권, 제2호(B), pp.65-68, 2011년 11월.

 

2010

  • 강동원, 송인권, 배두환, “사례기반 추론을 활용한 지식 기반 프로세스 테일러링 기법”, 2010 한국 소프트웨어공학 학술대회 논문집, 제12권, 제1호, pp.149-156, 2010년 2월.
  • 이희진, 이준상, 배두환, “요구사항 단계에서의 메뉴 관계 분석을 통한 휴대폰의 사용성 측정”, 2010 한국 소프트웨어공학 학술대회 논문집, 제12권, 제1호, pp.228-233, 2010년 2월.

 

2009

  • 이선경, 강동원, 배두환, “유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법”, 2009 한국 정보과학회 추계학술대회 발표논문집, 제36권, 제2호(A), pp.68-69, 2009년 11월.
  • 임형인, 한아림, 전상욱, 배두환, 홍장의, “내장형 S/W 개발 시 명령어패턴을 이용한 모델기반의 에너지 소모 예측 기법”, 2009 한국 소프트웨어공학 학술대회 논문집, 제11권, 제1호, pp.122-129, 2009년 2월.
  • 이찬희, 강동원, 박승훈, 배두환, “연관성 규칙을 활용한 비기능 요구사항에의 추적성 향상에 대한 연구”, 2009 한국 소프트웨어공학 학술대회 논문집, 제11권, 제1호, pp.397-404, 2009년 2월.

 

2008

  • 이동호, 윤경아, 배두환, “K-NN과 최대 우도 추정법을 결합한 소프트웨어 프로젝트 수치 데이터용 결측값 대치법에 관한 연구”, 2008 한국 정보과학회 추계학술대회 발표논문집, 제35권, 제2호(A), pp.41-42, 2008년 10월.
  • 김현정, 박승훈, 최경식, 배두환, “시뮬레이션을 이용한 점진적 모델의 특성이 일정 및 공수에 미치는 영향 분석”, 2008 한국 소프트웨어 공학 학술대회 논문집, 제10권, 제1호, pp. 318-325, 2008년 2월.
  • 서영석, 윤경아, 배두환, “이상치 제거 기법을 이용한 소프트웨어 공수 예측 모델의 경험적 분석”, 2008 한국 소프트웨어공학 학술대회 논문집, 제10권, 제1호, pp.354-355, 2008년 2월.
  • 임형인, 송인권, 전상욱, 한아림, 홍장의, 배두환, “임베디드 소프트웨어 설계 모델의 추상화 수준에 따른 전력소모 예측 기법”, 2008 한국 소프트웨어공학 학술대회 논문집, 제10권, 제1호, pp.113-120, 2008년 2월.

 

2007

  • 우석중, 윤경아, 배두환, “소프트웨어 개발자의 행동패턴을 이용한 작업기반 소프트웨어 개발 공수측정 및 분석”, 한국 소프트웨어공학기술 합동워크샵 2007 발표집, 제5권, 제1호, pp.42-52, 2007년 8월.
  • 강동원, 박승훈, 홍장의, 이병걸, 김정아, 박수용, 고병선, 이은중, 이상은, 배두환, “중소규모 조직을 위한 소프트웨어 프로세스 모델”, 한국 소프트웨어공학 학술대회 논문집, 제1권, 제9호, 2007.
  • 한아림, 강동원, 김현정, 배두환, “지식 기반의 소프트웨어 프로세스 테일러링을 위한 유사 프로세스 추출 기법”, 한국 소프트웨어공학기술 합동워크샵 2007 발표집, 제 5권, 제1호, pp.42-52, 2007년 8월.
  • 송인권, 오기영, 홍장의, 배두환, “MPSoC용 임베디드 소프트웨어의 PSM 모델 개발을 위한 UML 모델의 자동 매핑 기법”, 한국 소프트웨어공학 학술대회 논문집, 제9권, 제1호, pp.152-159, 2007년 2월.
  • 최은영, 배두환, “모바일 환경에서 재사용성을 향상시키기 위한 센서 프레임워크”, 2007 한국정보과학회 가을 학술발표 논문집 , 제34권, 제2호(B), pp.61-65, 2007년 10월, .

 

2006

  • 한아림, 전상욱, 홍장의, 배두환, “OCL을 이용한 UML 2.0 행위 모델의 시간 일관성 검사”, 2006 한국 컴퓨터 종합 학술대회 논문집, 제33권, 제1호, pp.181-183, 2006년 6월.
  • 전상욱, 홍장의, 배두환, “Operational Architecture에 기반한 임베디드 소프트웨어의 계층적 모델링”, 한국 소프트웨어공학 학술대회 논문집, 제8권, 제1호, pp. 49-56, 2006년 2월.
  • 진용호, 김수현, 윤경아, 배두환, “다차원적 데이터 분석을 지원하기 위한 소프트웨어 측정 데이터 모델의 확장”, 한국 소프트웨어공학 학술대회 논문집, 제8권, 제1호, pp.387-395, 2006년 2월.
  • 강동원, 윤경아, 배두환, “개발자 능력을 고려한 소프트웨어 모듈 할당 자동화 기법”, 한국 소프트웨어공학 학술대회 논문집, 제8권, 제1호, pp. 431-440, 2006년 2월.

 

2005

  • 이희진, 송인권, 전상욱, 홍장의, 배두환, “임베디드 소프트웨어 행위 기술 모델링을 위한 시퀀스 다이어그램의 확장”, 한국 정보과학회 추계학술대회 발표논문집, 제32권, 제2호, pp.340-343, 2005년 11월.
  • 전상욱, 이희진, 홍장의, 배두환, “ESUML : UML 기반 임베디드 소프트웨어 모델링 방법론”, 한국 정보과학회 추계학술대회 발표논문집, 제32권, 제2호, pp.343-346, 2005년 11월.
  • 박승훈, 윤경아, 배두환, “CMMI를 기반으로 확장된 SPEM 프로파일을 이용한 프로세스 모델링과 테일러링”, 한국 소프트웨어공학 학술대회 논문집, 제1권, 제1호, pp.316-327, 2005년 2월.

 

2004

  • 김철호, 전상욱, 배두환, “관점 지향 리팩토링 목록 설계”, 한국 소프트웨어공학 학술대회 논문집, 제6권, 제1호, pp.262-271, 2004년 2월.

 

2003

  • 박승훈, 윤경아, 전상욱, 배두환, “사례연구: 원전 안전성 계측제어 계통의 소프트웨어 개발 프로세스의 CMMI 기반 평가”, 한국정보과학회 추계학술대회 발표논문집, 제30권, 제2호, pp.265-267, 2003년 10월.
  • 손명근, 고현민, 윤경아, 배두환, “공통운영환경 세그먼트 개발 방법”, 한국정보과학회 춘계학술대회 발표논문집, 제30권, 제1호, pp.79-81, 2003년 4월.
  • 이선애, 이준상, 배두환, “안정적 확장이 보장되는 소프트웨어를 위한 정형적 조합법칙”, 한국정보과학회 춘계학술대회 발표논문집, 제30권, 제1호, pp.10-12 , 2003년 4월.
  • 고현민, 손명근, 오윤주, 배두환, “UML Activity Diagram을 통한 비즈니스 프로세스 모델링 가능성 분석”, 한국정보과학회 춘계학술대회 발표논문집, 제30권, 제1호, pp.112-114, 2003년 4월.

 

2001

  • 진용호, 배두환, “중첩된 구조의 유즈케이스 모델을 이용한 임베디드 시스템의 요구사항 분석 방법 제안”, 한국정보과학회, 2001년도 가을 학술발표논문집, 제28권 제2호(I), pp. 487-489, 2001년 10월.

 

2000

  • 권재은, 김형호, 배두환, “비기능성 기반 디자인 재구성”, 한국정보과학회 가을 학술 발표 대회, 제28권, 2000년 10월.
  • 김인규, 홍장의, 배두환, “고장 감내 자율적 객체”, 한국정보과학회 소프트웨어공학 학회지, 제13권, pp.19 – 29, 2000년 6월.
  • 윤일철, 김형호, 배두환, “MTS 기반 트랜잭션 시스템의 안전성 검증”, 2000 봄 학술발표논문집, 제27권, 제1호, pp.492-494, 2000년 4월.

 

1999

  • 정인복, 김형호, 배두환, “VisDis: 분산 시스템 설계를 위한 시각적 아키텍처 기술 언어”, 99 가을 학술발표논문집, 제26권, 2호, pp.469-471, 1999년 10월.
  • 김인규, 홍장의, 배두환, “코드 이동성에 기반한 동적 기능 합성을 지원하는 자율적 객체”, 99 가을 학술발표논문집, 제26권, 2호, pp. 457-459 , 1999년 10월.

 

1998

  • 김인규, 김형호, 배두환, 김민경, 유병규, “멀티미디어 스트림 프로토콜의 분석 기법”, 한국정보과학회 추계학술발표대회, pp.466-468, 1998년 10월.
  • 조웅희, 배두환, 차성덕, 권용래, 원성기, 변성원, “SPIN++를 이용한 병렬 객체 모델의 검증”, 한국정보과학회 추계학술발표대회, pp.472-475, 1998년 10월.

 

1997

  • 김규태, 배두환, “Task.o 객체모형과 Toc 기법을 이용한 다중로봇 프로그래밍”, 한국정보과학회 추계학술발표대회, pp.515-518, 1997년 10.
  • 박외진, 민상윤, 배두환, 진윤숙, 마평수, “재공학에서 명세정보트리를 이용한 효과적인 객념적 추상화 표현방법”, 한국정보과학회 추계학술발표대회, pp.523-526, 1997년 10.
  • 이호동, 김영곤, 배두환, 전예임, 송태섭, “CORBA를 이용한 객체지향 분산 멀티미디어 응용시스템 구현”, 한국정보과학회 추계학술발표대회, pp.611-614, 1997년 10.
  • 김형호, 김영곤, 배두환, 원성기, 송태섭, “프로세스 대수를 이용한 병행 프로그램 설계 및 검증”, 한국정보과학회 추계학술발표대회, pp.627-630, 1997년 10.
  • 홍장의, 배두환, “HOOSL: 분산 멀티미디어 소프트웨어의 명세언어”, 한국정보과학회 추계학술발표대회, pp.635-638, 1997년 10.
  • 백진욱, 배두환, 김영곤, 임태영, 송태섭, “객체지향 요구분석의 동적 행위검증을 위한 방법”, 한국정보과학회 춘계학술발표대회, pp.567-570, 1997년 4월.

 

1996

  • 김형섭, 배두환, “소프트웨어 코드 재사용성 측정을 위한 모델링”, 1996 세계 한민족과학기술자 종합학술대회, pp.1072-1079, 1996년.