2014

,

사물 인터넷 환경에서 경량화 된 보안 인증을 위한 비용 모델

2010

,

CCrash: 시스템 복잡도 기반 커널 크래쉬 모델

2009

,

임베디드 환경에서 커널 크래쉬 핸들링 분석을 위한 단순 커널 모델

2008

,

Continuation 기법을 이용한 임베디드 리눅스의 커널 메모리 관리기법

2008

,

임베디드 시스템의 동적 기능성과 신뢰성을 위한 추상 커널 상태 생성 및 관리 방법