DOMESTIC JOURNAL

1. 김상재, 장현준, 진현욱, “항공 인공지능 응용을 위한 ARINC-653 시간적 파티셔닝 확장”, 정보과학회 컴퓨팅의 실제 논문지, 2026, 게재 예정.
2. 장현준, 진현욱, “서버리스 컴퓨팅을 위한 테일러 급수를 활용한 경량화된 수직적 오토 스케일링 기법”, 정보과학회 논문지, 제52권, 제3호, pp. 181-188, 2025년 3월.
3. 김건우, 진현욱, “에너지 효율적인 노드 내 점대점 통신을 위한 MPI 프로그레스 엔진”, 정보과학회 논문지, 제48권, 제10호, pp. 1069-1076, 2021년 10월.
4. 이찬규, 조중연, 진현욱, “매니코어 파티셔닝을 위한 동적 코어 친화도”, 정보과학회 논문지, 제47권, 제12호, pp. 1111-1119, 2020년 12월.
5. 박주광, 진현욱, “도커를 위한 컨테이너 내 동적 라이브러리 검증 시스템”, 정보과학회 컴퓨팅의 실제 논문지, 제25권 제8호, pp. 418-423, 2019년 8월.
6. 조중연, 진현욱, “매니코어 시스템을 위한 MPI 노드 내 통신 프리미티브 성능 비교”, 정보과학회 컴퓨팅의 실제 논문지, 제25권 제7호, pp. 357-362, 2019년 7월.
7. 임인구, 진현욱, “도커 컨테이너의 멀티코어 CPU 대역폭 영향 분석”, 정보과학회 컴퓨팅의 실제 논문지, 제24권 제12호, pp. 675-680, 2018년 12월.
8. 임인구, 김주호, 조중연, 진현욱, “리눅스의 네트워크 I/O 대역폭 보장을 위한 네트워크 및 CPU 자원관리 기법”, 정보과학회 컴퓨팅의 실제 논문지, 제24권 제12호, pp. 687-692, 2018년 12월.
9. 임인구, 진현욱, 이상헌, “실시간 태스크 그룹과 데드라인 태스크의 동시 지원을 위한 리눅스 스케줄링 가능성 분석 개선”, 정보과학회 컴퓨팅의 실제 논문지, 제23권 제7호, pp. 452-457, 2017년 7월.
10. 박주광, 김주호, 조현철, 진현욱, “드론 비행제어 프로그램을 위한 계층적 ARINC 653의 파티션 내 통신 구현”, 정보과학회 논문지, 제44권 제7호, pp. 649-657, 2017년 7월.
11. 김진현, 진현욱, “RTEMS 오픈소스 운영체제를 위한 virtio 네트워크 드라이버 개발”, 정보과학회 컴퓨팅의 실제 논문지, 제23권 제4호, pp.756-761, 2017년 4월.
12. 조중연, 진현욱, 남덕윤, “MPI 노드 내 통신 성능 향상을 위한 매니코어 프로세서의 온-패키지 메모리 활용”, 정보과학회 논문지, 제44권 제2호, pp. 124-131, 2017년 2월.
13. 엄준용, 조중연, 진현욱, “네트워크 성능향상을 위한 시스템 호출 수준 코어 친화도”, 정보과학회 컴퓨팅의 실제 논문지, 제23권 제1호, pp. 80-84, 2017년 1월.
14. 김주호, 조현철, 진현욱, 이상일, “드론을 위한 이식성과 확장성을 지원하는 ARINC 653”, 한국통신학회논문지, 제41권 제12호, pp. 1884-1891, 2016년 12월.
15. 조중연, 엄준용, 진현욱, 정성인, “다중 큐를 지원하는 고속 I/O 장치를 위한 동적 코어 친화도”, 정보과학회 논문지, 제43권 제7호, pp. 736-743, 2016년 7월.
16. 조현철, 박근영, 전동운, 진현욱, 김두현, “소형 무인 항공기를 위한 다중 실시간 임무 소프트웨어 통합 시스템”, SK텔레콤 Telecommunications Review, 제24권 제4호, pp. 468-480, 2014년 8월.
17. 석종수, 이상헌, 진현욱, “다중 포트 CAN 디바이스를 위한 가상화”, 정보과학회 논문지 (시스템 및 이론), 제41권 제3호, pp. 140-145, 2014년 6월.
18. 석종수, 진현욱, “실시간 임베디드 시스템을 위한 가상 머신 간의 시간 동기화 구조 비교”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제19권 제6호, pp. 331-335, 2013년 6월.
19. 조중연, 진현욱, “통신 프로세스의 프로세서 친화도 결정을 위한 최적화 도구”, 정보처리학회 논문지 (소프트웨어 및 데이터 공학), 제2권 제2호, pp. 131-136, 2013년 2월.
20. 한상현, 석종수, 진현욱, “혼합 파티셔닝의 효율적 지원을 위한 파티션 스케줄링 기법”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제19권 제2호, pp. 85-89, 2013년 2월.
21. 조현철, 한상현, 진현욱, “무인 이동체를 위한 실시간 자원분할 운영체제의 활용 및 성능 분석”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제18권 제6호, pp. 469-473, 2012년 6월.
22. 김종서, 진현욱, “멀티코어 기반의 전가상화 환경에서 고성능 네트워크 I/O를 위한 가상 머신 스케줄링”, 정보과학회 논문지 (시스템 및 이론), 제39권 제2호, pp. 163-169, 2012년 4월.
23. 김종서, 장혜천, 진현욱, “리눅스 기반의 전가상화 환경에서 효율적인 임베디드 네트워크 I/O 지원”, 정보과학회 논문지 (시스템 및 이론), 제38권 제2호, pp. 80-86, 2011년 4월.
24. 정성문, 이무열, 진현욱, “가상화 기반의 안전한 이동체 네트워크 게이트웨이”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제17권 제1호, pp. 21-25, 2011년 1월.
25. 한상현, 이상헌, 진현욱, “리눅스 기반의 무인항공기를 위한 ARINC 653 프로세스 지원”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제16권 제11호, pp. 1056-1060, 2010년 11월.
26. 장혜천, 진현욱, 김학영, “대규모 클러스터 서버의 성능 모델링 및 예측 방법론”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제16권 제11호, pp. 1041-1045, 2010년 11월.
27. 이무열, 정성문, 진현욱, “차량용 MOST 네트워크를 위한 POSIX 기반의 Network Service 설계 및 구현”, 대한임베디드공학회 논문지, 제5권 제1호, pp. 23-28, 2010년 3월.
28. 장혜천, 진현욱, 김학영, “멀티 코어 시스템에서 통신 프로세스의 동적 스케줄링”, 정보과학회 논문지 (컴퓨팅의 실제 및 레터), 제15권 제12호, pp. 968-972, 2009년 12월.
29. 진현욱, 강현구, 김종순, “멀티 코어 시스템을 위한 고속 노드내 통신 지원 모듈”, 정보과학회 논문지 (시스템 및 이론), 제34권 제9호, pp. 407-415, 2007년 9월.
30. 김진욱, 진현욱, 유혁, “Myrinet을 위한 흐름 제어 기반의 신뢰적인 UDP”, 정보과학회 논문지 (정보통신), 제30권 제5호, pp. 649-655, 2003년 10월.
31. 방기석, 진현욱, 최진영, 유혁, “모델 체킹을 이용한 시스템의 자원 활용 분석”, 정보과학회 논문지 (시스템 및 이론), 제30권 제2호, pp.59-67, 2003년 2월.
32. 변상선, 진현욱, 유혁, “원격 교육 시스템을 위한 멀티캐스트 미들웨어”, 정보과학회 논문지 (컴퓨팅의 실제), 제9권 제1호, pp.100-108, 2003년 2월.
33. 박지현, 진현욱, 유혁, “무선 LAN에서 트랜스포트 프로토콜 성능 향상을 위한 이동 IP 핸드오프 프로토콜”, 정보과학회 논문지 (정보통신), 제29권 제3호, pp. 242-252, 2002년 6월.
34. 진현욱, 차주헌, 김태근, 유혁, “고속 네트워크에서 통신 프리미티브 지연시간 분석”, 정보과학회 논문지(A), 제25권 제10호, pp. 1109-1122, 1998년 10월.