DSLAB in GNU: Dependable Systems Lab. in Dept. of Informatics in Gyeongsang National University

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