Browse "RIMS Collection" by Author Cha, Sungdeok
Showing results 1 to 19 of 19
| A quantitative approach to estimate a website security risk using whitelist Kim, Young-Gab; Lee, Minsoo; Cho, Sanghyun; Cha, Sungdeok, SECURITY AND COMMUNICATION NETWORKS, v.5, no.10, pp.1181 - 1192, 2012-10 |
| A Recovery Block Model and Its Analysis Cha, Sungdeok, IFAC Workshop, Safety of Computer Control systems, 1986 |
| 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 |
| AeSOP : An Interactive Failure Mode Analysis Tool Cha, Sungdeok, Computer Assurance (Compass '94), 1994 |
| An Empirical study of Software Error Detection using Self-Checks Cha, Sungdeok, 17th Annual International Symposium on Fault-Tolerant Computing, 1987 |
| Automatic Test Generation from Statecharts Using Model Checking Cha, Sungdeok, Proceedings of Formal Approaches to Testing of Software (FATES '01), pp.15 - 30, 2001 |
| Control and Data Flow Testing on Function Block Diagrams Cha, Sungdeok, 24th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2005), 2005 |
| 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 |
| Education of Formal Methods: An Experience Report Cha, Sungdeok, UNU/IIST 정형기법 국제학술대회, 1997 |
| Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS Cha, Sungdeok, 8th International Conference, TACAS 2002, 2002 |
| Management Aspect of Software Safety Cha, Sungdeok, International Conference on Computer Assurance, 1993 |
| 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 |
| Safety Verification in Murphy using Fault Tree Analysis Cha, Sungdeok, 10th International Conference on Software Engineering, 1988 |
| Security Evaluation of a CALS System Cha, Sungdeok, 제9회 화랑대 국제학술대회, pp.91 - 106, 1997 |
| Software safety analysis of digital protection system requirements using qualitative formal method Cha, Sungdeok, Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2000 |
| Static semantics and priority schemes for statecharts Hong Hyoung Seok; Kim Jeong Hyun; Cha, Sungdeok; Kwon, Yong Rae, Proceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95, pp.114 - 120, IEEE, 1995-08-09 |
| 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 |
| Testing of Object-Oriented Programs Based on Finite State Machines Hong, Hyoung Seok; Kwon, Yong Rae; Cha, Sungdeok, Asia-Pacific Software Engineering Conference(APSEC)'95, pp.234 - 241, IEEE, 1995-12 |
| Testing on Function Block Diagrams Cha, Sungdeok, Proceedings of the 13th Asia Pacific Software Engineering Conference(APSEC2006), pp.243 - 250, 2006 |
Discover
Type
- 4,872 Article
- 3,516 Conference
- 1,494 Patent
- 2 Thesis(Master)
Open Access
- 223 OA Article
Date issued
- 1,381 2020 - 2024
- 2,945 2010 - 2019
- 2,339 2000 - 2009
- 1,846 1990 - 1999
- 579 1980 - 1989
- 3 1964 - 1969