2004

,

컴포넌트의 비동기적 교체를 이용한 동적 재구성 기법

2004

,

동적 재구성 가능한 운영체제를 위한 인터럽트 관리 기법

2003

,

휴대 기기에서의 SDR(Software Defined Radio)을 위한 운영체제 구조와 재구성 기법

2003

,

운영체제의 동적인 재구성을 위한 커널 컴포넌트 관리 기법

2003

,

신뢰성 있는 커널 컴포넌트를 이용한 마이크로커널 기반 시스템 콜 인터포지션 기법