dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sung Deok Cha (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSung Deok Cha, Junbeom Yoo: A safety-focused verification using software fault trees. Future Generation Comp. Syst. 28(8): 1272-1282 (2012)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim: Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. FGIT-CA/CES3 2011: 112-121
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha: FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. SEKE 2011: 48-51
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim: Testing of Safety-Critical Software Embedded in an Artificial Heart. SSS 2011: 143-153
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNayoung Hong, Junbeom Yoo, Sung Deok Cha: Customization of Scrum Methodology for Outsourced E-Commerce Projects. APSEC 2010: 310-315
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSehun Jeong, Junbeom Yoo, Sung Deok Cha: VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. ISORC 2010: 250-254
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbeom Yoo, Eunkyoung Jee, Sung Deok Cha: Formal Modeling and Verification of Safety-Critical Software. IEEE Software 26(3): 42-49 (2009)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae: A data flow-based structural testing technique for FBD programs. Information & Software Technology 51(7): 1131-1139 (2009)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbeom Yoo, Sung Deok Cha, Eunkyoung Jee: A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon: Testing of Timer Function Blocks in FBD. APSEC 2006: 243-250
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son: A formal software requirements specification method for digital nuclear plant protection systems. Journal of Systems and Software 74(1): 73-83 (2005)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song: Synthesis of FBD-based PLC design from NuSCR formal specification. Rel. Eng. & Sys. Safety 87(2): 287-294 (2005)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYounju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son: Software safety analysis of function block diagrams using fault trees. Rel. Eng. & Sys. Safety 88(3): 215-228 (2005)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Yeong Jae Yoo: An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. Rel. Eng. & Sys. Safety 89(3): 248-260 (2005)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han: An integrated environment of S/W specification and V&V for safety-critical systems. IASTED Conf. on Software Engineering 2004: 607-612
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee: PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP 2004: 155-165
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaemyung Cho, Junbeom Yoo, Sung Deok Cha: NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA 2004: 19-28

Selection of 18 from 63 records - Sung Deok Cha has 68 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page