| 1 | A Formal Semantics for SCR Specifications 차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997 |
| 2 | A Verification of Requirements Specifications for Safety-critical System. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.697 - 700, 1996 |
| 3 | (A) static analysis technique for improving accuracy of worst case execution time estimation = 최장 수행 시간 예측의 정확도 향상을 위한 정적 분석 기법link Kim, Tai-Hyo; 김태효; et al, 한국과학기술원, 2007 |
| 4 | (A) testing method for task interactions of embedded software using message sequence charts = 메시지 순서도를 이용한 내장 소프트웨어의 태스크 상호작용 테스팅 방법link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 2003 |
| 5 | (A) testing technique on function block diagram = Function block diagram의 테스팅 기법link Kim, Soon-Deok; 김순덕; et al, 한국과학기술원, 2004 |
| 6 | Active Timeout을 이용한 SYN Flooding공격의 해결 차성덕, 한국정보과학회 추계학술대회, pp.361 - 363, 2004 |
| 7 | (An) approach to masquerade detection using support vector machine = Support vector machine 기반의 신분위장 탐지기법link Kim, Han-Sung; 김한성; et al, 한국과학기술원, 2005 |
| 8 | Automata-Based Semantics of MSCs and Algorithm for the Construction of Semantic-Automata 차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.519 - 521, 1999 |
| 9 | Checking feasibility of worst-case execution time derived by implicit-path enumeration technique = Implicit path enumeration 기법으로 도출한 최장수행시간의 실행가능성 검사link Park, Su-Hyun; 박수현; et al, 한국과학기술원, 2005 |
| 10 | Coloured petri nets을 이용하는 안전성 분석 = Safety analysis using coloured petri netslink 조승모; Cho, Seung-Mo; et al, 한국과학기술원, 1996 |
| 11 | CPN 모델의 역방향 안정성 분석 도구 개발 이우진; 채흥석; 차성덕; 이장수; 권용래, 정보과학회논문지(C), v.5, no.4, pp.457 - 466, 1999-08 |
| 12 | Detection of anomalous web sessions using page sequences = 페이지 순서와 인자 값을 활용한 비정상적인 웹 세션 탐지link Cho, Sang-Hyun; 조상현; et al, 한국과학기술원, 2005 |
| 13 | Detection of Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. 차성덕, 한국정보과학회 춘계학술대회, pp.599 - 602, 1997 |
| 14 | Empirical evaluation and prediction of software quality using software inspection = 소프트웨어 인스펙션을 이용한 소프트웨어 품질의 실험적 평가와 예측link So, Sun-Sup; 소선섭; Kwon, Young-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 15 | HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
| 16 | LOOKER: Integrated Log Analysis Tool for UNIX Systems 차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998 |
| 17 | LUSTRE를 이용한 SCR명세의 구현 조승모; 차성덕, 정보과학회논문지(B), v.26, no.2, pp.251 - 262, 1999-02 |
| 18 | Message sequence charts와 statecharts간의 일관성 검사 = Consistency checking between Message sequence charts and statechartslink 김태효; Kim, Tai-Hyo; 차성덕; 배두환; et al, 한국과학기술원, 2000 |
| 19 | Modeling a traffic control system using formal specification 차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998 |
| 20 | Modeling and Verifying IN Services using Colored Petri Net. 차성덕, National Conference on Advanced Intelligent Network, pp.205 - 208, 1996 |
| 21 | Modular Verification of Statecharts Specification 차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.593 - 595, 1999 |
| 22 | MSCTest: 내장 소프트웨어 테스트를 위한 자동화 도구 이남희; 서선애; 김태효; 차성덕; 이재원; 박기웅, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.6, no.2, pp.187 - 195, 2000-04 |
| 23 | NuEditor : an environment for NuSCR specification and verification = NuEditor : 정형명세 NuSCR을 위한 명세 및 검증환경 구축link Cho, Jae-Myung; 조재명; et al, 한국과학기술원, 2004 |
| 24 | NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARESPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICALSYSTEMS HAN, HYUNCHUL; 성풍현; 차성덕; 윤청; YOO, JUNBEOM; KOO, SEO RYONG, NUCLEAR ENGINEERING AND TECHNOLOGY , v.38, no.3, pp.259 - 276, 2006-04 |
| 25 | Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification = NuSCR 요구 명세의 속성 기반 정리 증명과 템플릿 기반 고장 수목 분석link Kim, Tae-Ho; 김태호; et al, 한국과학기술원, 2005 |
| 26 | PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink 김태호; Kim, Tae-Ho; et al, 한국과학기술원, 1997 |
| 27 | PVS를 이용한 SCR스타일의 소프트웨어 요구사항 명세에서 기능요구사항의 정형검증 김태호; 차성덕, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.8, no.1, pp.46 - 61, 2002-02 |
| 28 | Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
| 29 | Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002 |
| 30 | Safety Analysis Using Coloured Petri Nets 차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995 |
| 31 | Safety-critical Software Requirements Checking Using PVS. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997 |
| 32 | SCR 요구사항 명세의 정형적인 의미론 홍형석; 차성덕; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.26, no.8, pp.988 - 999, 1999-08 |
| 33 | SMV를 이용한 Structural Decision Table 명세의 정형검증 차성덕, 2006 한국컴퓨터종합학술대회, pp.190 - 192, 2006 |
| 34 | Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 = Implementation of ANSI-C translator for analyzing C program using SPARK examinerlink 김진섭; Kim, Jin-Sup; et al, 한국과학기술원, 2002 |
| 35 | SPARK Examiner를 이용해 ANSI-C프로그램의 안전성을 분석하기 위한 C언의 제약 조건과 변환 방법 김진섭; 차성덕, 정보과학회논문지 : 소프트웨어 및 응용, v.30, no.6, pp.587 - 597, 2003-06 |
| 36 | Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002 |
| 37 | Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs 차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997 |
| 38 | Specifying and Verifying Wolsong SDS2 Using Real-Time Model Checker 차성덕, 한국정보과학회 추계학술대회 발표, pp.385 - 387, 2000 |
| 39 | SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link 조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999 |
| 40 | SPIN으로부터 생성된 반례의 축소 및 시각화 기법 = Compaction and visualization of SPINs counterexamplelink 신모범; Shin, Mo-Bum; et al, 한국과학기술원, 2007 |
| 41 | Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink 장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999 |
| 42 | SVM 기반의 효율적인 신분위장기법 탑지 김한성; 권영희; 차성덕, 정보보호학회논문지, v.13, no.5, pp.91 - 104, 2003-10 |
| 43 | Synthesis of function block diagrams software from NuSCR formal specification = NuSCR 정형명세로부터 function block diagrams의 생성link Yoo, Jun-Beom; 유준범; et al, 한국과학기술원, 2005 |
| 44 | Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 45 | Test sequence generation from modechart specification = Modechart 명세 기반의 실시간 시스템 테스트 시퀀스 생성link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 1998 |
| 46 | Time bounder: WCET 분석도구 차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004 |
| 47 | Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 48 | Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
| 49 | Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
| 50 | Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysislink 윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997 |
| 51 | 데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법 = Generating test cases for concurrent programs from data annotated message sequence chartlink 김내희; Kim, Nae-Hee; et al, 한국과학기술원, 1998 |
| 52 | 동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
| 53 | 디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세 유준범; 차성덕; 김창회; 오윤주, 정보과학회논문지:소프트웨어 및 응용, v.31, no.6, pp.750 - 759, 2004-06 |
| 54 | 로그분석 및 ThML을 통한 시스템 보안 강화 = Enhancing security with audit log analysis and ThMLlink 조상현; Cho, Sang-Hyun; et al, 한국과학기술원, 1999 |
| 55 | 매개 언어를 이용하여 자동으로 취약점 점검 코드를 생성하는 에이전트를 통한 통합 취약점 분석 시스템 = Integrated security manager with AgEnt-based vulnerability scanner automatically generating code from intermediate language (ISMAEL)link 김수용; Kim, Su-Yong; et al, 한국과학기술원, 2002 |
| 56 | 모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink 이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003 |
| 57 | 모드챠트로 기술된 실시간 시스템의 테스트 시퀀스 생성 이남희; 차성덕, 정보과학회논문지(B), v.25, no.10, pp.1518 - 1525, 1998-10 |
| 58 | 반례를 이용한 프로그램의 오류 원인 탐지 기법 차성덕; 신모범; 김태효; 방호정, 한국정보과학회 06 한국컴퓨터종합학술대회, pp.142 - 144, 2006 |
| 59 | 베이지언 추정을 이용한 웹 서비스 공격 탐지 조상현; 김한성; 이병희; 차성덕, 정보보호학회논문지, v.13, no.2, pp.115 - 125, 2003-04 |
| 60 | 병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 = A design of object model and language for concurrent object-oriented robot programming systemlink 김규태; Kim, Gyu-Tae; 차성덕; 배두환; et al, 한국과학기술원, 1997 |
