| Year | Title | Publication |
|---|---|---|
| 2013 | 데이터 경합 탐지를 위한 스레드 레이블링 방법 및 이를 이용한 데이터 경합탐지 장치 | Holding |
| 2011 | 항공기 다중 기능 시현기 | Holding |
| 2011 | 항공기의 수평 현황 시현기 | Holding |
| 2010 | ARINC-653 기반 항공기용 컴퓨터 시스템에서 멀티 스레드 프로그램의 경합 치유 방법 및 시스템 | Pending |
| 2006 | 내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법 | Holding |
| 2005 | 임베디드 다중스레드 프로그램의 사후 경합탐지를 위한 스레드 병행성 정보 생성 방법 | Holding |
| 2005 | 제이티에이지를 이용한 임베디드 시스템의 디버깅 장치 및 방법 | Opening |
| 2004 | 동기화를 가진 공유메모리 병렬프로그램에서 실행중 2단계 최초경합 탐지를 위한 사건선택 방법 | Holding |