2020
- 현상원, 신용준, 배두환, “시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석(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.
2019
- 지은경, 정유림, 유중훈, 배두환, “블록체인 합의 알고리즘에 대한 시뮬레이션 및 정형 검증(Simulation and Formal Verification of Blockchain Consensus Algorithms: A Case Study and Analysis)”. 정보과학회지 2019, 37(4), 37-48.
2018
- 백영민, 박수민, 신용준, 배두환, “(2018 KCSE 우수논문) 시스템 오브 시스템즈(SoS) 사례 분석을 통한 온톨로지 기반의 SoS 메타모델 개발(Development of Ontology-based System-of-Systems Meta-model Based on the Analysis of SoS Case Scenario),” 정보과학회논문지:소프트웨어 및 응용 (submitted), 2018.
- 송지영, 조치우, 정유림, 지은경, & 배두환. (2018). 모바일 디바이스 배터리 소모 분석 기법: 평가 및 발전 방향 제고. 소프트웨어공학 소사이어티 논문지, 27(1), 1-7.
- 지은경, 송지영, and 배두환. “FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용.” 정보과학회 컴퓨팅의 실제 논문지 24.11 (2018): 589-595.
2017
- 김준호, 배두환, 신동환, “시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구”, 정보과학회 컴퓨팅의 실제 논문지, 제23권, 제4호, pp.256-261, 2017년 4월.
2016
- 신동환, 김준호, 윤원경, 지은경, 배두환, “FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구”, 정보과학회 컴퓨팅의 실제 논문지, 제22권, 제3호, pp.145-150, 2016년 3월.
2015
- 백영민, 홍광의, 배두환, “효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법”, 정보과학회논문지:소프트웨어 및 응용, 제42권, 제11호, pp.1386-1396, 2015년 11월.
- 서동원, 신동환, 배두환, “제한된 프로젝트 기간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법”, 정보과학회논문지:소프트웨어 및 응용, 제42권, 제7호, pp.878-888, 2015년 7월.
- 김한석, 지은경, 배두환, “타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구”, 정보과학회논문지:컴퓨팅의 실제 및 레터, 제21권, 제2호, pp.132-137, 2015년 2월.
2014
- 홍광의, 지은경, 서동원, 배두환, “실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구”, NIPA 소프트웨어공학센터 SW 공학 트렌드·동향분석 Webzine, 제101호, 2014년 7월.
- 지은경, 배두환, “타임드 오토마타 모델 기반 코드 자동 생성 기술 현황 및 분석”, 정보과학회지, 제32권, 제4호, pp.72-84, 2014년 4월.
2013
- 박지훈, 신동환, 홍광의, 서동원, 화지민, 배기곤, 서영석, 배두환, “소프트웨어 산업체 요구사항을 반영한 자동화된 프로젝트 계획 생성 지원 기법 및 도구”, 소프트웨어 공학소사이어티 논문지, 제26권, 제4호, pp.77-92, 2013년 12월.
- 홍광의, 지은경, 서동원, 배두환, “실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구”, 정보과학회논문지:소프트웨어 및 응용, 제40권, 제12호, pp.618-627, 2013년 12월.
- 화지민, 박지훈, 신동환, 홍광의, 배기곤, 서영석, 배두환, “소프트웨어 산업체 피드백을 반영한 자동화된 인력 할당”, 정보과학회논문지:소프트웨어 및 응용, 제40권, 제7호, pp.369-380, 2013년 7월.
- 최진호, 지은경, 배두환, “타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성”, 정보과학회논문지:컴퓨팅의 실제 및 레터, 제19권, 제2호, pp.90-94, 2013년 2월.
- 신동환, 지은경, 배두환, “FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구”, 정보과학회논문지:컴퓨팅의 실제 및 레터, 제19권, 제1호, pp.36-40, 2013년 1월.
2011
- 최진호, 지은경, 김현정, 배두환, “안전성이 중요한 시간 기반 내장형 소프트웨어의 시간 제약성 검증에 관한 사례 연구”, 정보과학회논문지: 소프트웨어 및 응용, 제38권, 제12호, pp. 647-656, 2011년 12월.
2012년 소프트웨어공학 소사이어티 우수논문상
- 조현식, 서영석, 배두환, “속성 가중치의 지역적 최적화에 의한 유추기반 공수 예측 정확도의 향상”, 정보과학회논문지: 소프트웨어 및 응용, 제38권, 제7호, pp.347-357, 2011년 7월.
- 강동원, 송인권, 배두환, “지식 기반의 프로세스 테일러링 자동화 기법”, 정보과학회논문지: 소프트웨어 및 응용, 제38권, 제6호, pp.304-316, 2011년 6월.
- 김우목, 권재환, 배두환, “리엔지니어링을 통한 모바일 소프트웨어 플랫폼 유지보수성 향상에 대한 사례 연구”, 한국정보과학회 한국컴퓨터종합학술대회 논문집, 제38권, 제1호(A), pp.170-173, 2011년 6월.
2010
- 이선경, 강동원, 배두환, “유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법”, 정보과학회논문지: 소프트웨어 및 응용, 제16권, 제5호, pp.566-570, 2010년 5월.
2009
- 이동호, 윤경아, 배두환, “k-NN과 최대 우도 추정법을 결합한 소프트웨어 프로젝트 수치 데이터용 결측값 대치법”, 정보과학회논문지: 소프트웨어 및 응용, 제36권, 제4호, pp.273-282, 2009년 4월.
- 홍장의, 배두환, “에너지 효율화를 위한 임베디드 소프트웨어 소모전력 분석 기술”, 정보과학회지, 제27권, 제11호, pp. 80-86, 2009년 11월.
2008
- 서영석, 윤경아, 배두환, “소프트웨어 공수 예측의 정확성에 대한 이상치 제거의 영향 분석”, 정보과학회논문지: 소프트웨어 및 응용, 제 35권, 제10호, pp. 589-599, 2008년 10월.
- 홍장의, 김종필, 배두환, “NCW 환경에서의 시나리오 기반 국방 정보체계 상호운용성 시험평가 방법”, 정보과학회지, 제26권, 제11호, pp.47-54, 2008년 11월.
- 홍장의, 배두환, “소프트웨어공학 교육을 위한 프로세스 모형화”, 정보과학회지, 제26권, 제2호, pp.42-52, 2008년 2월.
2007
- 박승훈, 최경식, 배두환, “A Software Process Modeling Approach for Providing Consistency between the Process Description and Simulation”, 한국멀티미디어학회지, 제11권, 제2호, 2007년 6월.
- 송인권, 오기영, 홍장의, 배두환, “MPSoC용 임베디드 소프트웨어의 PSM 모델링 및 시뮬레이션”, 정보과학회논문지: 소프트웨어 및 응용, 제34권, 제8호, pp.697-707, 2007년 8월.
- 전상욱, 홍장의, 배두환, “ESUML – An Environment for the Analysis of UML-based Embedded Software Model”, 소프트웨어공학회지, 제20권, 제4호, pp.3-12, 2007년 12월.
2006
- 홍장의, 배두환, “멀티프로세서용 임베디드 소프트웨어의 MDA 기반 개발”, 정보과학회지, 제24권, 제8호, pp.19-25, 2006년 8월.
- 최경식, 배두환, “소프트웨어 프로세스 시뮬레이션을 통한 국방 정보체계 획득 과정 분석”, 국방정책연구, 제74권, 2006년 12월.
- 전상욱, 이희진, 배두환, “형강 절단 로봇 시스템의 객체 지향 설계”, 정보과학회지, 제24권 3호, 2006년 3월.
2005
- 양해술, 배두환, “소프트웨어 품질표준화와 시험.인증기술의 동향”, 정보과학회지, 제23권, 제3호, pp.45-55, 2005년 3월.
2004
- 채흥석, 권용래, 배두환, “의존 인스턴스 변수를 고려한 클래스 응집도 척도의 개선”, 정보과학회지, 제31권 제9호, 2004년.
2003
- 전상욱, 김인규, 김정윤, 윤경아, 배두환, “CBD 방법론 비교 분석”, 정보처리학회, 제10권, 제3호, pp 30-39, 2003년.
2002
- 홍장의, 윤일철, 배두환, “객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증”, 정보과학회논문지:소프트웨어 및 응용, 제27권, 제2호, pp.157-167, 2000년 2월.
- 조승모, 김형호, 차성덕, 배두환, “HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사”, 정보과학회논문지:소프트웨어 및 응용, 제29권, 제5·6호, pp.345-354, 2002년 6월.
- 조승모, 김형호, 차성덕, 배두환, “동적 시스템 명세를 위한 시제논리언어와 그 검증”, 정보과학회논문지:소프트웨어 및 응용, 제29권, 제7·8호, pp. 450-464, 2002년 8월.
2001
- 배두환, “21세기 IT 산업을 위한 소프트웨어공학 인력 양성”, 정보과학회지, 제19권, 제12호, pp.12-20, 2001년 12월.
- 조진형, 배두환, “UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법”, 정보과학회논문지:소프트웨어 및 응용, 제28권, 제3호, pp.211-223, 2001년 3월.
- 오승욱, 마유승, 배두환, 권용래, 김길조, 구자경, “EJB 컴포넌트 시험 평가 체계 및 시험 환경 구축에 관한 연구”, 정보과학회지, 제19권, 제2호, pp.22-30, 2001년 2월.
- 김상운, 마유승, 강제성, 배두환, 권용래, “UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경”, 한국정보과학회 2001년도 가을 학술발표논문집, 제28권, 제2호(I), pp.553-555, 2001년 10월.
- 조진형, 배두환, “UML 객체지향 분석 모델의 완전성 및 일관성 진단을 위한 시나리오 검증 기법”, 정보과학회논문지:소프트웨어 및 응용, 2001년.
2000
- 김형호, 김영곤, 배두환, 김민경, 유병규, “객체지향 개발 방법의 체계적 구성”, 한국정보과학회 논문지(B), 제27권, 제5호, pp.488-498, 2000년 5월.
- 홍장의, 윤일철, 배두환, “객체 지향 페트리넷을 이용한 계층적인 요구사항의 명세 및 검증(Hierarchical Specification and Verification of Requirements Using An Object-Oriented Petri Net)”, KISS Journal(B), Vol.27, No.2, 2000년 2월.
- 조승모, 김영곤, 배두환, 변성원, 김상택, “병렬 객체지향 시스템의 검증”, 한국정보과학회논문지:소프트웨어 및 응용, 제27권, 제1호, pp.1-12, 2000년 1월.
- 채흥석, 권용래, 배두환, “유도 인스턴스 변수를 고려한 응집도 척도의 개선”, 한국정보과학회논문지:소프트웨어 및 응용, 제27권 , 제1호, 2000년.
1999
- 채흥석, 권용래, 배두환, “객체지향 시스템의 클래스에 대한 응집도”, 한국정보과학회 논문지(B), 26(9), pp.1095-1104, 1999.2. .
- 윤청, 김응모, 배두환, “유즈케이스를 적용한 시스템 기능 분해”, 한국정보과학회 논문지(B), 26(9), pp.263-272, 1999.2.
1998
- 박외진, 민상윤, “객체 지향 재공학을 위한 객체 모델 정제 기법”, 한국정보과학회 논문지, 25(10), pp.1506-1517, 1998,10.
- 홍장의, 민상윤, 배두환, “소프트웨어 재사용 기술 도입을 위한 모델 기반의 프레임워크”, 한국정보과학회 논문지, 25(8), pp.1218-1228, 1998,8.
- S. Ine, C. Youn, D. Bae, “Managing Complexity in Object-Oriented Analysis”, ETRI Journal, vol. 20, no. 2, pp.192-213, 1998, 6.
- 윤청, 인소란, 이권일, 차승훈, 배두환, 변보균, Mirza Misbah “단계별 객체 지향 분석 기법 (Stepwise Object Oriented Analysis(SOOA))”, 한국정보과학회 논문지, 25(1), pp.99-110, 1998,1.
1997
- 김형섭, 배두환, “수정 및 무수정을 통한 코드 재사용성 측정 모델링”, 한국정보과학회 논문지, 24(5), pp.561-575, 1997, 4.