Jaeyeob Kim
김재엽
Dependable Software Laboratory
Division of Computer Science and Engineering
Konkuk University
e-mail : radic2510@gmail.com
ksjy1990@konkuk.ac.kr
Publications
International Journal
- Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young Jun Lee, Jong-Gyun Choi, "An Integrated Software Testing Framework for FPGA-based Controllers in Nuclear Power Plants", Nuclear Engineering and Technology, Vol.48, No.2, pp.470-481, 2016. (paper)
Domestic Journal
- Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young Jun Lee, Jong-Gyun Choi, "FBDtoVHDL: An automatic translation from FBD into VHDL for FPGA development", Journal of the Korean Institute of Information Scientists and Engineers - Software and Application, Vol.43, No.5, pp.569-578, 2016. (paper)
Domestic Conference
- 김재엽, 이동아, 서영주, 유준범, "NuSCRtoFBD 4.0: NuSCR 정형명세언어로부터 FPGA 개발용 FBD프로그램 자동생성 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 (KCC 2014), pp 1986-1988, 부경대학교&해운대그랜드호텔, 06.25~06.27, 2014. (paper, ppt)
- Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, "A Translator Verification Technique for FPGA Software Development in Nuclear Power Plants", Transactions of the Korean Nuclear Society Autumn Meeting, pp 1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
- 김의섭, 정세진, 김재엽, 유준범, 장천현, "Verilog4VIS-EC: VIS의 동치성 검사를 위한 Verilog의 정제된 포맷", 한국정보과학회 2015 한국컴퓨터종합학술대회 (KCC 2015), pp 561-563, 제주대, 06.24-06.26, 2015. (paper, ppt)
- 김재엽, 김의섭, 유준범, 이영준, 최종균, "FBDtoVHDL: FPGA 개발을 위한 FBD로부터 VHDL 자동 변환 도구", 한국정보과학회 제42회 동계학술발표회 (KIISE 2015), pp 461-463, 강원도 휘닉스파크, 12.17~12.19, 2015. (paper, ppt)
- 김재엽, 이동아, 유준범, "소프트웨어 개발 프로세스를 대상으로 수행하는 추적성 분석의 세부 관계 정의", 2016 한국 소프트웨어공학 학술대회 (KCSE 2016), pp 409-411, 강원도 휘닉스파크, 01.27~01.29, 2016. (paper, ppt)
- Eui-Sub Kim, Sejin Jung, Jaeyeob Kim and Junbeom Yoo, "MC/DC and Toggle Coverage Measurement Tool for FBD Program Simulation", Transactions of the Korean Nuclear Society Spring Meeting, May 12-13, Jeju, Korea, 2016. (paper, ppt)