Table of Contents
Sun-Sook Kim (김선숙)
| Name(Korean) | 김선숙 |  |
|---|---|---|
| Name(English) | Sun-Sook Kim | |
| sun@suresofttech.com | ||
| Status | Master | |
| Graduate | 2013 | |
| Graduation thesis | SUN-RACE: An Integrated Development Environment Plug-in to Support Data Race Detection in Airborne Software | |
| Affiliation | Suresoft Technologies, Inc. 슈어소프트테크(주) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
International Publication
SCI/SCIE Journal
ACM/IEEE Conf.
SCOPUS Journal
| * Ha, O., S. Kim, Y. Jun, "Efficient Thread Labeling for Monitoring Programs with Nested Parallelism," In Proceedings of the International Conference on Future… | |
| * S. Kim, O. Ha, and Y. Jun, "Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism", In Proceedings of the 2nd Interna… | |
| * Kim, S.-S, O.-K, Ha, and Y.-K. Jun, "Verification Environment of Race Conditions for Multi-core Architectures in Avionics", The 1st International Conferen… |
Others Publication
| * Kim, S., O. Ha, and Y. Jun, "Parallel Programming for Multi-core Avionics" In Proceedings of the 2010 International Conference on Advanced Aircraft Techno… |
Domestic Publication
| * 김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "Verification Environm… | |
| * 김선숙, 구인본, 하옥균, 전용기 "ARINC-653 항공 소프트웨어의 경합 조건을 치유하기 위한 자동 록 생성기" 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 9-13, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Kim. S, I. Kuh, O.… | |
| * 하옥균, 김선숙, 백민정, 이보람, 김경훈, 전용기, “Zigbee 센서 네트워크 기반의 선박 충돌회피 테스트베드의 설계와 구현,” 대한임베디드공학회 추계학술발표논문집, pp. 524-527, 대한임베디드공학회, 2008. 11. * Ha, O., S. Kim, M. Baek,… |