KCI 등재 Safety Critical System의 비정상 행위를 테스트하기 위한테스트 케이스 생성 기법
한국차세대컴퓨팅학회 논문지 Vol.9 No.1 (2013.02) pp.25-37
KCI 등재 1회 읽기 가능 메모리를 통한 오프라인 방식의 모바일 전자 지불 시스템 설계 및 구현
한국차세대컴퓨팅학회 논문지 Vol.9 No.1 (2013.02) pp.51-62
KCI 등재 International Workshop On Exascale Supercomputing 2013 개최
한국차세대컴퓨팅학회 논문지 Vol.9 No.1 (2013.02) p.93