Domestic Papers

Journals

2015

  • 송광식, 한아림, 정세훈, 차성덕, “안드로이드 어플리케이션 개발에서 퍼미션 분석을 사용한 다양한 테스트 환경 조건 생성 기법”, 정보과학회지, 42권 8호, (ISSN: 2383-630X), 2015.8, pp.1022-1030

2012

  • 정세훈, 김희진, 박상수, 차성덕, “인공심장 서보 전동기 제어 소프트웨어 실시간성 검증”, 한국정보과학회논문지: 컴퓨팅의 실제 및 레터, 18권 5호, (ISSN: 1229-7712), 2012.5, pp.394-398
  • 정세훈, 김희진, 박상수, 차성덕, “시간 기반 인공심장 서보 전동기 제어 소프트웨어 모니터링 특성 향상 사례 연구”, 한국정보과학회논문지: 컴퓨팅의 실제 및 레터, 18권 5호, (ISSN: 1229-7712), 2012.5, pp.399-403

2011

  • 정세훈, 김희진, 박상수, 차성덕, “인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조의 개선”, 한국정보처리학회논문지 A, vol. 18-A, no. 6, (ISSN: 1598 – 2831), 2011.12.31, pp.266-274
  • 홍승표, 오명진, 이수연, 이상준, “신뢰적인 ARP 테이블의 운영을 통한 ARP 스푸핑 공격에 대한 효율적인 방어 기법”, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, 제17권, 1호, 2011.1, pp. 1-60

2010

  • 홍승표, 오명진, 신정훈, 이상준, “윈도우즈 운영체제 기반의 3D 가상 테스트톱 시스템 설계 및 구현”, 정보과학회논문지: 컴퓨팅의 실제 및 레터, 16권, 12호, 2010, pp.1249-1253

2009

  • 이병희, 조상현, 차성덕, “실시간 웹 사용 현황과 이상 행위에 대한 시각화”, 정보보고학회논문지, 14권, 4호, 2004, pp.97-110
  • 방호정, 홍형석, 김태효, 차성덕, “스테이트차트의 실시간 검증을 위한 모텔체커의 확장”, 한국정보과학회 논문지 B, 31권, 6호, 2004, pp.750-759
  • 유준범, 차성덕, 김창회, 오윤주, “디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구 사항 명세”, 한국정보과학회 논문지 B, 31권, 6호, 2004, pp.750-759
  • 유준범, 최용진, 정진완, “임의의 다각형 질의 윈도우를 이용한 공간 선택 질의의 정제 전략”, 한국정보과학회 논문지 데이타베이스, 30권, 3호, 2003, pp.286-295
  • 김진섭, 차성덕, “SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언어의 제약 조건관 변환 방법”, 한국정보과학회 논문지B, 30권, 6호, 2003, pp.587-597
  • 조상현, 김한성, 이병희, 차성덕, “베이지언 추정을 이용한 웹 서비스 공격 탐지”, 한국정보과학회논문지, 13권, 2호, 2003, pp.115-125
  • 서정석, 김한성, 조상현, 차성덕, “웹 어플리케이션 특성 분석을 통한 공격 분류”, 한국정보과학회 논문지 I, 30권, 1호, 2003, pp.97-116
  • 이남희, 차성덕, “부분순서 관계를 이용한 내장 소프트웨어의 축소된 테스트 모델 생성”, 한국정보과학회 논문지 B, 30권, 11호, 2003, pp.1015-1024
  • 김한성, 권영희, 차성덕, “SVM 기반의 효율적인 신분위장기법 탐지”, 한국정보과학회논문지, 13권, 5호, 2003, pp.91-104
  • 조승모, 김형호, 차성덕, 배두환, “동적 시스템 명세를 위한 시제논리언어와 그 검증”, 한국정보과학회 논문지B, 29권, 7호, 2002, pp.450-464
  • 조승모, 김형호, 차성덕, 배두환, “HDTL을 이용한 자바 프로그램의 모니터링과 검사”, 한국정보과학회 논문지 B, 29권, 5호, 2002, pp.345-354
  • 김태효, 차성덕, “코드기반 모텔 체킹 방법의 연구동향”, Software Engineering Review, 15권, 2호, 2002, pp.3-16
  • 김수용, 서정석, 조상현, 김한성, 차성덕, “취약성 점검 코드를 자동으로 생성하는 에이전트를 통한 통합 취약성 분석 시스템(ISMAEL)”, 한국정보과학회논문지, 12권, 2호, 2002, pp.111-121
  • 김태호, 차성덕, “PVS를 이용한 SCR스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증”, 한국정보과학회 논문지 C, 8권, 1호, 2002, pp.46-61
  • 지은경, 차성덕, 손한성, 유준범, 구서룡, 성풍현, “실시한 모델체커를 이용한 폴트 트리의 체계적 검증”, 한국정보과학회 논문지 B, 29권, 12호, 2002, pp.860-872
  • 이남희, 김태효, 차성덕, 신석종, 홍인표, 박기용, “태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성”, 한국정보과학회 논문지B, 28권, 9호, 2001, pp.634-648
  • 이남희, 서선애, 김태효, 차성덕, 이재원, 박기웅, “MSCTest: 내장 소프트웨어 테스를 위한 자동화 도구”, 한국정보과학회 논문지 C, 6권, 2호, 2000, pp.187-195
  • 이우진, 차성덕, 권용래, H.N. Kim, “페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석”, 한국정보과학회 논문지 B, 27권, 3호, 2000, pp.210-216
  • 이장수, 차성덕, “복합 실시간 계통의 요구사항 명세와 안정성 분석을 위한 정성적 정형 기법”, 한국정보과학회 논문지 B, 27권, 2호, 2000, pp.120-133
  • 조승모, 김영곤, 배두환, 변성원, 김상택, “병렬 객체지향 시스템의 검증”, 한국정보과학회 논문지 B, 27권, 1호, pp.1-12
  • 조상현, 차성덕, “시스템 보안 강화를 위한 로그 분석 도구 ILVA와 분석 적용 사례”, 한국정보보호학회논문지, 9권, 3호, 1999, pp.13-26
  • 홍형석, 차성덕, 권용래, “SCR요구사항 명세의 정형론적 의미론”, 한국정보과학회 논문지 B, 26권, 8호, 1999, pp.988-999
  • 이우진, 채흥석, 차성덕, 이장수, 권용래, “Development of Backward Safety Analysis Tool for CPN Models”, 한국정보과학회 논문지 C, 26권, 4호, 1999, pp.457-466
  • 조승모, 차성덕, “LUSTRE를 이용한 SCR 명세의 구현”, 한국정보과학회 논문지 B, 26권, 2호, 1999, pp.251-262
  • 김태호, 차성덕, ” Automatic consistency checking of software requirements specifications using PVS”, 한국정보과학회 논문지 C, 4권, 4호, 1998, pp.542-553
  • 이남희, 차성덕, “Modechart로 기술된 실시간 시스템의 테스트 시퀀스 생성”, 한국정보과학회 논문지 B, 25권, 10호, 1998, pp.1518-1525
  • 채흥석, 이남희, 김형호, 김내희, 차성덕, 백석철 외, “지킴이: 유닉스 시스템을 위한 통합 보안 점검 도구”, Journal of Communication and Information Security Society, 7권, 3호, 1997, pp.23-40
  • 소선섭, 차성덕, 권용래, ” 페이건 인스펙션의 오류 검출 능력에 관한 실험적 평가”, 한국정보과학회 논문지B, 24권, 12호, 1997, pp.1374-1381
  • 소선섭, 차성덕, 권용래, “소프트웨어 인스펙션 척도를 이용한 퍼지 품질 통제”, 한국정보과학회 논문지 B, 24권, 11호, 1997, pp.1202-1210
  • 차성덕, 박근한, 이홍규, ” A Soultion to the On-Line Image Downgrading Problem”, Journal of Communication and Information Security Society, vol.6, no.2, 1996, pp.23-32
  • 임용섭, 소선섭, 차성덕, ” 소프트웨어 결점 검출을 위한 페이건 검사의 실험과 다른 방법들의 비교”, 한국정보과학회 논문지C, 2권, 1호, 1996, pp.1-11
  • 홍형석, 권용래, 차성덕, ” 클래스의 상태기반 테스팅 방법”, 한국정보과학회 논문지 B, 23권, 11호, 1996, pp.1145-1154

 

 Conferences

~2015

  • 송광식, 한아림, 정세훈, 차성덕, [우수논문]”안드로이드 어플리케이션 개발에서 퍼미션 분석을 사용한 테스트 케이스의 다양한 테스트 환경 조건 생성 기법”, 2015 한국 소프트웨어공학 학술대회, vol. 17, no. 1, 2015, pp.289-290

2011

  • 정세훈, 김희진, 박상수, 차성덕, “Rate-Monotonic Analysis를 이용한 인공심장 서보 전동기 제어 소프트웨어 실시간성 검증”, 한국정보과학회 2011 추계 학술대회, vol. 38, no. 2(B), (ISSN : 1598-5164), 2011, pp.159-162
  • 정세훈, 김희진, 박상수, 차성덕, “시간 기반 인공심장 서보 전동기 제어 소프트웨어 모니터링 특성 향상 사례 연구”, 한국정보과학회 2011 추계 학술대회, vol. 38, no. 2(B), (ISSN : 1598-5164), 2011, pp.163-166

2009

  • 오명진, 권신일, 유준범, 차성덕, “웹 로그를 이용한 실시간 로봇 탐지 알고리즘”, 한국정보과학회 2009 가을 학술발표논문집 제36권 제2호(A), 2009.11, pp 1-276
  • 정세훈, 유준범, 차성덕, “VIS 정형 검증 자동화를 위한 소프트웨어 VIS Analyzer 개발”, 한국정보과학회 추계학술대회, 2008
  • 신모범, 유준범, 차성덕, “VIS검증기를 이용한 FBD 명세의 정형 검증”, 한국정보과학회 춘계학술대회, 2005
  • 서정석, 이영석, 김한성, 차성덕, “순서 기반의 커널과 SVM을 사용한 신분위장공격 탐지”, 한국정보과학회 춘계학술대회, 2005
  • 지은경, 유준범, 박수현, 차성덕, “Function Block Diagrams에 대한 제어 및 데이터 흐름 테스팅”, 한국소프트웨어공학 학술대회 논문집, 1권, 1호, 2005, pp.105-114
  • 박수현, 방호정, 김태효, 차성덕, 이종인, “Time bounder:WCET 분석 도구”, 2004년 한국정보과학회 가을 학술 발표 논문집, 31권, 2호, 2004, pp.340-342
  • 서정석, 이영석, 김한성, 차성덕, “웹 어플리케이션 IDS 평가를 위한 테스트 환경 설계 및 구축”, 2004년 한국정보과학회 가을 학술논문집, 31권, 2호, 2004, pp.463-465
  • 손한성, 권기춘, 유준범, 차성덕, “Formal Verification of FBD-Based PLC Software at Software Design Phase”, 2004년 한국정보과학회 가을 학술 발표논문집, 31권, 2호, 2004, pp.361-363
  • 오윤주, 조재명, 유준범, 차성덕, “반응형 실시간 소프트웨어를 명세하고 분석하기 위한 기법”, 제29회 한국정보과학회 추계학술대회, 2002
  • 조재명, 오윤주, 유준범, 차성덕, “반응형 실시간 시스템을 위한 소프트웨어 개발 방법론”, 제29회 한국정보과학회 추계학술대회, 2002
  • 김태호, 차성덕, 김동욱, 정학영, “NuSCR 소프트웨어 요구명세 언어”, 5th Formal Methods Workshop, 2001, pp.109-118
  • 지은경, 차성덕, “실시간 모델체커를 이용한 폴트 트리의 체계적 검증”, 제3회 한국소프트웨어공학 학술대회, 2001
  • 지은경, 홍형석, 차성덕, “실시간 모델체커를 이용한 월성SDS2의 명세 및 검증”, 제27회 한국정보과학회 추계학술대회, 2000, pp.385-387
  • 김태효, 차성덕, 배두환, “Automata-Based Semantics of MSCs and Algorithm for the Construction of Semantic-Automata”, 제26회 한국정보과학회 추계학술대회, 1999
  • 서선애, 오승욱, 조승모, 이남희, 차성덕, 권용래, “Modular Verification of Statecharts Specification”, 제26회 한국정보학회 추계학술대회, pp.593-595, 1999
  • 조상현, 이남희, 차성덕, “LOOKER:UNIX 시스템을 위한 통합 로그 분석 도구”, 제26회 한국정보과학회 춘계학술대회, 1998
  • 김태호, 차성덕, “Automatic Consistency Checking of Software Requirements Specifications using PVS”, 2nd Formal Methods Workshop, 1998
  • 김태호, 조승모, 차성덕, 권용래, 곽동달, 양찬석, 장기병, “도시 교통관제 시스템의 정형 명세”, 제26회 한국정보과학회 춘계학술대회, 1998
  • 홍형석, 차성덕, 권용래, “A Formal Semantics for SCR Specifications”, ’97 Formal Methods Workshop, 1997
  • 윤광식, 차성덕, 권용래, “최약 선행 조건을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출”, 제24회 한국정보과학회 춘계학술대회, 1997
  • 김태호, 차성덕, “PVS를 이용한 안전성이 중요한 소프트웨어의 요구사항 검사”, 제24회 한국정보과학회 춘계학술대회, 1997
  • 이남희, 차성덕, “Specification and Test-case Generation Method for Detecting Data Anomalies in Concurrent Programs”, 제25회 한국정보과학회 춘계학술대회, 1997
  • 배현섭, 이우진, 차성덕, 권용래, “컬러드 페트리 네트를 이용한 지능망 서비스의 모델링 및 검증”, ’96차세대지능망 학술대회, 1996
  • 김태호, 홍형석, 조승모, 천왕성, 차성덕, “Safety-critical 시스템의 요구명세 검증”, 제23회 한국정보과학회 추계학술대회, 1996
  • 조승모, 홍형석, 차성덕, “컬러드 페트리 네트를 이용하는 안전성 분석 기법”,  제22회 한국정보과학회 추계학술대회, 1995