Browse "RIMS Conference Papers" byAuthor1031

Showing results 1 to 33 of 33

1
A Formal Semantics for SCR Specifications

차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997

2
A Recovery Block Model and Its Analysis

Cha, Sungdeok, IFAC Workshop, Safety of Computer Control systems, 1986

3
A Temporal Logic for Dynamic Systems and its Application to SDL

Cha, Sungdeok, nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), 2001

4
A Verification of Requirements Specifications for Safety-critical System.

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.697 - 700, 1996

5
Active Timeout을 이용한 SYN Flooding공격의 해결

차성덕, 한국정보과학회 추계학술대회, pp.361 - 363, 2004

6
AeSOP : An Interactive Failure Mode Analysis Tool

Cha, Sungdeok, Computer Assurance (Compass '94), 1994

7
An Empirical study of Software Error Detection using Self-Checks

Cha, Sungdeok, 17th Annual International Symposium on Fault-Tolerant Computing, 1987

8
Automata-Based Semantics of MSCs and Algorithm for the Construction of Semantic-Automata

차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.519 - 521, 1999

9
Automatic Test Generation from Statecharts Using Model Checking

Cha, Sungdeok, Proceedings of Formal Approaches to Testing of Software (FATES '01), pp.15 - 30, 2001

10
Control and Data Flow Testing on Function Block Diagrams

Cha, Sungdeok, 24th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2005), 2005

11
Detection of Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.

차성덕, 한국정보과학회 춘계학술대회, pp.599 - 602, 1997

12
Direct control Flow Testing on Function Block Diagrams

Cha, Sungdeok, The 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety(NUTHOS-6), pp.1 - 10, 2004

13
Education of Formal Methods: An Experience Report

Cha, Sungdeok, UNU/IIST 정형기법 국제학술대회, 1997

14
Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS

Cha, Sungdeok, 8th International Conference, TACAS 2002, 2002

15
LOOKER: Integrated Log Analysis Tool for UNIX Systems

차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998

16
Management Aspect of Software Safety

Cha, Sungdeok, International Conference on Computer Assurance, 1993

17
Modeling a traffic control system using formal specification

차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998

18
Modeling and Verifying IN Services using Colored Petri Net.

차성덕, National Conference on Advanced Intelligent Network, pp.205 - 208, 1996

19
Modular Verification of Statecharts Specification

차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.593 - 595, 1999

20
PLC-Based Safety Critical Software Development for Nuclear Power Plants

Cha, Sungdeok, The 23th International conference on Computer Safety, Reliability and Security(SAFECOMP2004), pp.155 - 165, 2004

21
Safety Analysis Using Coloured Petri Nets

차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995

22
Safety Verification in Murphy using Fault Tree Analysis

Cha, Sungdeok, 10th International Conference on Software Engineering, 1988

23
Safety-critical Software Requirements Checking Using PVS.

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997

24
Security Evaluation of a CALS System

Cha, Sungdeok, 제9회 화랑대 국제학술대회, pp.91 - 106, 1997

25
SMV를 이용한 Structural Decision Table 명세의 정형검증

차성덕, 2006 한국컴퓨터종합학술대회, pp.190 - 192, 2006

26
Software safety analysis of digital protection system requirements using qualitative formal method

Cha, Sungdeok, Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2000

27
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs

차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997

28
Specifying and Verifying Wolsong SDS2 Using Real-Time Model Checker

차성덕, 한국정보과학회 추계학술대회 발표, pp.385 - 387, 2000

29
Systematic Evaluation of Fault Trees using Real-Time Model Checker UPPAAL

Cha, Sungdeok, Int'l Symposium on the future of I&C for NPP(ISOFIC 2002), 2002

30
Testing on Function Block Diagrams

Cha, Sungdeok, Proceedings of the 13th Asia Pacific Software Engineering Conference(APSEC2006), pp.243 - 250, 2006

31
Time bounder: WCET 분석도구

차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004

32
웹 어플리케이션 IDS 평가를 위한 테스트 환경 설계 및 구축

차성덕, 한국정보과학회 추계학술대회, pp.463 - 465, 2004

33
타이머 함수 블록을 포함한 FBD에 대한 테스팅

차성덕, 2006 한국원자력학회 춘계학술발표회, 2006

rss_1.0 rss_2.0 atom_1.0