열차제어 소프트웨어 안전성 평가도구의 설계 황종규, 조현정, 김형신 한국철도학회 논문집 11 (2), 139-144, 2008 | 19 | 2008 |
스마트폰 응용 프로그램의 소모전력 분석 이제민, 조현우, 김형신 한국정보과학회 학술발표논문집 38 (2D), 39-42, 2011 | 9 | 2011 |
센서네트워크 노드의 전력모델 개발 박재복, 조현우, 우덕균, 임채덕, 김형신 한국정보과학회 학술발표논문집, 169-171, 2006 | 6 | 2006 |
과학기술위성 3 호 대용량 메모리에서의 SEU 극복 및 확률 해석 곽성우 전자공학회논문지-SC 45 (4), 35-41, 2008 | 5 | 2008 |
센서 네트워크를 이용한 유비쿼터스 주차관리 시스템의 설계 및 구현 변창희, 이지혜, 조현우, 김형신 정보과학회논문지: 컴퓨팅의 실제 및 레터 13 (6), 388-396, 2007 | 3 | 2007 |
감정 인식을 위한 PPG 데이터의 심박변이도 및 PSD 분석 최진영, 김형신 디지털콘텐츠학회논문지 19 (1), 103-112, 2018 | 2 | 2018 |
임베디드 소프트웨어를 위한 FreeRTOS 의 실시간 성능분석 신익희, 남경호, 이성엽, 우덕균, 김선태, 김형신 한국정보과학회 학술발표논문집, 1612-1614, 2016 | 2 | 2016 |
스마트폰 응용프로그램 에너지 소모 분석을 위한 프레임워크 이제민, 조현우, 김형신 정보과학회논문지: 컴퓨팅의 실제 및 레터 18 (11), 780-784, 2012 | 2 | 2012 |
과학기술위성 3 호 탑재 컴퓨터와 대용량 메모리에 적용될 EDAC 알고리즘의 비교 및 분석 김병준, 곽성우, 유상문, 김형신 한국항공우주학회 학술발표회 초록집, 1586-1589, 2008 | 2 | 2008 |
열차제어시스템 소프트웨어 안전성 평가기법 한재중, 조병태, 황종규, 조현정, 김형신 한국철도학회 학술발표대회논문집, 24-31, 2007 | 2 | 2007 |
Design and implementation of the small satellite on-board computer system: KASCOM 김기형, 김형신, 박재현, 박규호, 최순달 정보과학회지 13 (2), 52-66, 1996 | 2 | 1996 |
우리별 1, 2 호 주 컴퓨터부 김형신, 이홍규, 최순달 Journal of astronomy and space sciences 13 (2), 41-51, 1996 | 2 | 1996 |
페트리 네트를 이용한 그래픽 프로그래밍 이광형, 김형신, 장형규, 이건명, 김창범 한국정보과학회 1990 년도 봄 학술발표회 17 (1), 57-60, 1990 | 2 | 1990 |
전문가 경험지식을 활용하는 확장성 있는 가상훈련 평가 분석 시스템 이근주, 우재훈, 김형신 정보과학회 컴퓨팅의 실제 논문지 24 (3), 122-128, 2018 | 1 | 2018 |
보행자 추적을 이용한 모바일 기기에서의 실내 위치 추적 방법 장현영, 이지혜, 김소희, 김혜인, 황슬아, 김형신 한국정보과학회 학술발표논문집, 1448-1450, 2016 | 1 | 2016 |
사물인터넷 기기에서의 프로그래밍 언어별 에너지 효율 비교 박시형, 이제민, 김형신 한국정보과학회 학술발표논문집, 334-336, 2016 | 1 | 2016 |
GUI 버그 검출을 위한 블랙박스 기반의 시험 이제민, 김형신 정보과학회논문지 41 (12), 1013-1017, 2014 | 1 | 2014 |
파티션 비트맵을 이용한 메모리 효율적인 리눅스 파티션 스케줄러 권철순, 조현우, 김덕수, 김형신 정보과학회 컴퓨팅의 실제 논문지 20 (9), 519-524, 2014 | 1 | 2014 |
멀티코어형 모바일 GPU 의 작업 분배 및 효율성 분석 임효정, 한동건, 김형신 한국산학기술학회 논문지 15 (7), 4545-4553, 2014 | 1 | 2014 |
VxWorks 기반의 비행제어컴퓨터 검증용 신호연동장비 연구 이기훈, 변진구, 한종표, 김형신 한국정보과학회 학술발표논문집, 148-150, 2013 | 1 | 2013 |