1	제목(Title)	효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법
	저자(Author)	백영민 홍광의 이정현 배두환 Youngmin Baek Gwangui Hong Cheonghyun Lee Doo-Hwan Bae
	수록저널(Journal)	한국정보과학회 2015 한국컴퓨터종합학술대회
	원문수록처(Citation)	VOL 42 NO. 01 PP. 0549 ~ 0551 2015. 06
2	제목(Title)	SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석
	저자(Author)	채철우 신동환 지은경 홍광의 배두환 Cheolwoo Chae Donghwan Shin Eunkyoung Jee Gwangui Hong Doo-Hwan Bae
	수록저널(Journal)	한국정보과학회 2014년 제41회 정기총회 및 동계학술발표회
	원문수록처(Citation)	VOL 41 NO. 02 PP. 0399 ~ 0401 2014. 12
3	제목(Title)	스마트 기기 자율 협업 검증 프레임워크
	저자(Author)	홍광의 임유진 지은경 신동환 배두환 Gwangui Hong Yoo Jin Lim Eunkyoung Jee Donghwan Shin Doo-Hwan Bae
	수록저널(Journal)	한국정보과학회 한국컴퓨터종합학술대회 2014
	원문수록처(Citation)	VOL 41 NO. 01 PP. 0454 ~ 0456 2014. 06
4	제목(Title)	실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법
	저자(Author)	홍광의 지은경 배두환 Gwangui Hong Eunkyoung Jee Doo-Hwan Bae
	수록저널(Journal)	한국정보과학회 한국컴퓨터종합학술대회 2013
	원문수록처(Citation)	VOL 40 NO. 01 PP. 0520 ~ 0522 2013. 06