논문 목록구분 | 발행년월 | 논문명 | 학술지명 |
---|
국제전문학술지(SCI급) | 2024.05 | Software Approaches for Designing Electric Transformers | Studies in Computational Intelligence |
국제전문학술지(SCI급) | 2018.09 | An efficient technique of detecting program plagiarism through program slicing | Studies in Computational Intelligence |
국내전문학술지(KCI등재(후보)) | 2013.08 | 스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법 | 한국컴퓨터정보학회논문지 |
국내전문학술지(KCI등재(후보)) | 2011.04 | union 멤버 사용 오류 검출 기법 | 정보과학회논문지 : 소프트웨어 및 응용 |
국내전문학술지(KCI등재(후보)) | 2010.03 | C++에서 멤버의 접근성을 위반하는 연산 | 정보과학회논문지 : 소프트웨어 및 응용 |
국내전문학술지(KCI등재(후보)) | 2008.06 | 웹 응용 프로그램의 문자열 삽입 보안 취약성 분석기 개발 | 정보처리학회논문지정보처리학회논문지A |
국내전문학술지(KCI등재(후보)) | 2008.02 | 심볼릭 링크 공격 취약성 검출을 위한 분석 기법 | 정보처리학회논문지A |
국내전문학술지(KCI등재(후보)) | 2007.12 | 복합 문서 지원 기능을 갖는 CASE 도구의 설계 및 구현 | 한국컴퓨터정보학회논문지 |
국내전문학술지(KCI등재(후보)) | 2007.05 | 코드삽입을 이용한 자바프로그램의 힙 사용정보 분석기법 | 한국컴퓨터정보학회논문지 |
국내일반학술지(정기발행 학술지) | 2007.03 | ARM프로세서에 KVM을 포팅하는 기법 | 情報技術硏究所論文誌 |
국제전문학술지(SCI급) | 2004.06 | An uncaught exception analysis for Java | JOURNAL OF SYSTEMS AND SOFTWARE |
국제전문학술지(SCI급) | 2004.05 | Constructing control flow graph for Java by decoupling exception flow from normal flow | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 1 |
국내전문학술지(KCI등재(후보)) | 2004.05 | 예외 흐름 분석을 정상 흐름 분석과 분리하여 Java프로그램에 대한 제어 흐름 그래프를 생성하는 방법 | 정보과학회논문지 : 소프트웨어 및 응용 |
국내일반학술지(정기발행 학술지) | 2003.02 | Exception Propagation Analysis for Java | 한국정보과학회 프로그래밍언어논문지 |