| Year 2004 Title 동기화를 가진 공유메모리 병렬프로그램에서 실행중 2단계 최초경합 탐지를 위한 사건선택 방법 Applicant 박희동 Inventor 박희동, 전용기, 배찬숙 Nationality Korea Status Holding(등록) A… | |
| Year 2005 Title 임베디드 다중스레드 프로그램의 사후 경합탐지를 위한 스레드 병행성 정보 생성 방법 Applicant 한국전자통신연구원 Inventor 김정시, 전용기, 임채덕, 김흥남 Nationality Korea Status Holding(등… | |
| Year 2005 Title 제이티에이지를 이용한 임베디드 시스템의 디버깅 장치 및 방법 Applicant 한국전자통신연구원 Inventor 전인걸, 김정시, 임채덕, 박승민, 김병철, 전용기 Nationality Korea Status Opening(공개)… | |
| Year 2006 Title 내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법 Applicant 하금숙, 전용기 Inventor 하금숙, 전용기, 유기영 Nationality Korea Status Holding(등록) A… | |
| Year 2010 Title ARINC-653 기반 항공기용 컴퓨터 시스템에서 멀티 스레드 프로그램의 경합 치유 방법 및 시스템 Applicant 경상대학교 산학협력단 Inventor 전용기, 하옥균, 기마틴 Nationality Korea Status P… | |
| Year 2011 Title 항공기 다중 기능 시현기 Applicant 경상대학교산학협력단 Inventor 김기일, 전용기, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 다중 기능 시현기… | |
| Year 2011 Title 항공기의 수평 현황 시현기 Applicant 경상대학교 산학협력단 Inventor 전용기, 김기일, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 수평 현황 시현… | |
| Year 2013 Title 데이터 경합 탐지를 위한 스레드 레이블링 방법 및 이를 이용한 데이터 경합탐지 장치 Applicant 경상대학교산학협력단 Inventor 전용기, 하옥균 Nationality Korea Status Holding(등록) A… | |
| Year 2022 Title 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법 Applicant 경상국립대학교산학협력단 Inventor 전용기, 최으뜸, 김태형 Nationality Korea Status Holding(등록… |