International Journals

* : corresponding author
IF : Impact Factor
 

~2017

  • Ah-Rim Han, Sungdeok Cha*, “Two-phase Assessment Approach to Improve the Effi-
    ciency of Refactoring Identification”, IEEE Transactions on Software Engineering
    (ISSN: 0098-5589, IF(SCI 2016): 3.272), Vol. XX, Issue X, pp.XXXX-XXXX, mmm. 2017
  • Shinil Kwon and Sungdeok Cha*, “CAPTCHA-based image annotation”, Information Processing Letters (ISSN: 0020-0190, IF(SCI 2016): 0.748), Vol. 128, pp.27-31, Aug. 2017

~2016

  • Shinil Kwon and Sungdeok Cha*, “Paradigm Shift on CAPTCHA Race: Adding Uncertainty into the Rules”, IEEE Software (ISSN: 0740-7459, IF(SCI 2015): 0.820), Vol. 33, Issue 6, pp.80-85, Dec. 2016
  • Jong-Hyun Kim, Jung Lee, Sungdeok Cha, Chnag-Hun Kim*, “Efficient Representation of Detailed Foam Waves by Incorporating Projective Space”, IEEE Transactions on Visualization and Computer Graphics (ISSN: 1077-2626, IF(SCI 2015): 1.4), Vol. 23, Issue 9, pp.2056-2068, Sep. 2017

~2015

  • Ah-Rim Han, Doo-Hwan Bae and Sungdeok Cha*, “An efficient approach to identify multiple and independent Move Method refactoring candidates”, Information and Software Technology (ISSN: 0950-5849, IF(SCIE 2015): 1.569), Vol. 59, pp. 53-66, March 2015 PDF Icon

~2014

  • Eunkyoung Jee, Donghwan Shin, Sungdeok Cha*, Jang-Soo Lee and Doo-Hwan Bae, “Automated test case generation for FBD programs implementing reactor protection system software”, Software: Testing, Verification and Reliability (ISSN: 0960-0833, IF(SCIE 2013): 1.2), Vol. 24, Issue 8, pp.608-628, Dec. 2014 PDF Icon

~2013

  • Han Choi, Sungdeok Cha, Jae Yeon Jo, Junbeom Yoo*, Hae Young Lee, and Won-Tae Kim, “Formal Verification of Basic DEV&DESS Formalism Using HyTech”, Information-An International Interdisciplinary Journal (ISSN: 1343-4500), Vol.16, No.1(B), pp.821-826., International Information Institute, Jan. 2013. (Indexed by SCOPUS)PDF Icon
  • Su Yong Kim, Sungdeok Cha, Doo-Hwan Bae, “Automatic and lightweight grammar generation for fuzz testing”, Computer and Security (ISSN: 0167-4048, IF(2013): 1.172), vol. 36, July. 2013, pp. 1-11PDF Icon
  • Jeongseok Seo, Sungdeok Cha, Bin Zhu, Doo-Hwan Bae, “PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors”, IEICE Transactions on Information and Systems (ISSN: 0916-8532, IF(2013): 0.191), vol. E96-D, no. 8, September. 2013, pp. 1716-1726PDF Icon
  • Young-Gab Kim and Sungdeok Cha*, “Dynamic Access Control Policy based on RBAC for Ubiquitous Applications”, Information-An International Interdisciplinary Journal (ISSN: 1343-4500), Vol.16, No.9(B), pp.7175-7190, International Information Institute. September 2013. (Indexed by SCOPUS)PDF Icon

~2012

  • Sungdeok Cha, Junbeom Yoo*, “A Safety-focused Verification using Software Fault Trees”, Future Generation Computer Systems (ISSN: 0167-739X, IF(2012): 1.864, IF(2011): 1.978), Vol. 28, Issue 8, pp. 1272-1281, Oct. 2012PDF Icon
  • Young-Gab Kim, Minsoo Lee, Sanghyun Cho, and Sungdeok Cha*, “A Quantitative Approach to Estimate a Website Security Risk using Whitelist”, Security and Communication Networks (ISSN: 1939-0114, IF(2012): 0.311), Vol.5, Issue 10, pp. 1181-1192, John Wiley & Sons, Ltd., Oct. 2012PDF Icon
  • Young-Gab Kim and Sungdeok Cha*, “Security Engineering Methodology for Developing Secure Enterprise Information Systems: An Overview”, Lecture Notes in Electrical Engineering (LNEE) (ISSN: 1876-1100), Vol.181, Springer-Verlag, Berlin Heidelberg (2012) 393~400, Sep. 2012. (Indexed by SCOPUS)PDF Icon
  • Myeongjin Oh, Young-Gab Kim*, Seungpyo Hong, and Sungdeok Cha, “ASA: Agent-based ARP Cache Management”, IET Communications (ISSN: 1751-8628, IF(2012): 0.637), Vol. 6, Issue. 7, pp. 685-693, Institution of Engineering and Technology, May. 2012PDF Icon
  • Young-Gab Kim* and Sungdeok Cha, “Threat Scenario-Based Security Risk Analysis using Use Case Modeling in Information Systems”, Security and Communication Networks (ISSN: 1939-0114, IF(2012): 0.311), Vol.5, Issue 3, pp. 293-300, John Wiley & Sons, Ltd., 7. Mar. 2012PDF Icon
  • Shinil Kwon, Young-Gab Kim*, and Sungdeok Cha, “Web Robot Detection based on Pattern Matching Technique”, Journal of Information Science (ISSN: 0165-5515, IF(2012): 1.238), Vol. 38, No. 2, pp. 118-126, SAGE Publications, 27. Feb. 2012PDF Icon

~2011

  • Young-Gab Kim* and Sungdeok Cha, “Website Risk Assessment System for Anti-Phishing”, Communications in Computer and Information Science (CCIS) (ISSN: 1865-0929), Vol.185, pp, 131-138, Springer-Verlag, Berlin Heidelberg, Jun. 2011. (Indexed by SCOPUS)PDF Icon

~2010

  • Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha*, K.Y. Koh, Junbeom Yoo, Giyong Park, and Poong-Hyun Seong, “FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram”, Journal of Research and Practice in Information Technology (ISSN: 1443-458X, IF(2009): 0.500, IF(2011): 0.105), vol. 42, no. 3, Aug. 2010, pp.255-272 PDF Icon
  • Taeho Kim, HoJung Bang, and Sungdeok Cha*, “A systematic representation of path constraints for implicit path enumeration technique”, Software Testing, Verification and Reliability (ISSN: 0960-0833, IF(2009): 1.632, IF(2011): 0.957), vol. 20, no. 1, Mar. 2010, pp.39-61 PDF Icon

~2009

  • Junsup Lee, Sungdeok Cha*, Dongkun Lee, and Hyungkyu Lee, “Classification of Web Roboots: an Empirical Study based on Over One Billion Requests”, Computer and Security (ISSN: 0167-4048, IF(2008): 1.028), vol. 28, Nov. 2009, pp. 795-802 PDF Icon
  • Junbeom Yoo, Eunkyoung Jee, and Sungdeok Cha*, “Formal Modeling and Verification of Safety-Critical Software”, IEEE Software (ISSN: 0740-7459, IF(2008): 2.099), vol. 26, no. 3, May. 2009. pp. 42-49 PDF Icon
  • Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha*, and Doowhan Bae, “A data flow-based structural testing technique for FBD programs”, Information and Software Technology (ISSN: 0950-5849, IF(2008): 1.200, IF(2010): 1.527), vol. 51, no. 7, Jul. 2009, pp.1131-1139 PDF Icon
  • Junbeom Yoo, Sungdeok Cha*, and Eunkyoung Jee, “Verification of PLC Programs Written in FBD with VIS”, Nuclear Engineering and Technology (ISSN: 1738-5733, IF(2008): NONE, IF(2009): 0.991), vol. 41, no. 1, 2009, pp. 79-90 PDF Icon
  • Jong-In Lee, Ho-Jung Bang, Tai-Hyo Kim and Sungdeok Cha*, “Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Exeution Time”, IEICE Transactions on Information and Systems (ISSN: 0916-8532, IF(2008): 0.369), vol. E92.D, no. 1, Jan. 2009, pp. 24-31 PDF Icon
  • Junbeom Yoo, Taihyo Kim, Sungdeok Cha and Jang-Soo Lee, Han Seong Son, ” A Formal Software Requirements Specification Method for Digital Nuclear Plant Protection Systems”, The Journal of Systems and Software, Vol. 74, Issue 1, 2005, pp. 73-83 PDF Icon
  • Jang-Soo Lee and Sungdeok Cha, “Fault tree construction of hybrid system requirements using qualitative formal method”, Reliability Engineering and System Safety, vol. 87, no. 1, 2005, pp.121-131 PDF Icon
  • Han-Sung Kim and Sungdeok Cha, “Empirical evaluation of SVM-based masquerade detection using UNIX commands”, Computers & Security, vol. 24, no. 2, 2005, pp.160-168 PDF Icon
  • Younju Oh, Junbeom Yoo, Sungdeok Cha and Han Seong Son, “Software safety analysis of function block diagrams using fault trees”, Reliability Engineering and System Safety, vol. 88, no. 3, 2005, pp. 215-228 PDF Icon
  • Seo Ryong Koo, Poong Hyun Seong, Junbeom, Sungdeok Cha and 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”, Reliability Engineering and System Safety, vol. 89, no. 3, 2005, pp. 248-260 PDF Icon
  • Taeho Kim, David Stringer-Calvert and Sungdeok Cha, “Formal verification of functional properities of a SCR-style software requrements specification using PVS”, Reliability Engineering and System Safety, vol. 87, no. 3, 2005, pp.351-363 PDF Icon
  • Jungbeom Yoo, Sungdeok Cha, Chang Hwoi Kim and Duck Youg Song, “Synthesis of FBD-based PLC design from NuSCR formal specification”, Reliability Engineering and System Safety, vol. 87, no. 2, 2005, pp. 287-294 PDF Icon
  • Jang-Soo Lee, Kee-Choon Kwon and Sungdeok Cha, “Software Safety Analysis of Digital Protection System Requirements using a Qualitative Formal Method”, Nuclear Technology, Americal Nuclear Society, vol. 147, no. 2, 2004, pp 227-239 PDF Icon
  • Han-Sung Kim, Sungdeok Cha, “Efficient Masquerade Detection using SVM Based on Common Command Frequency in Sliding Windows”, IEICE Transactions on Informaiton and Systems, E87-D, no. 11, 2004, pp .2446-2452 PDF Icon
  • Nam Hee Lee, Sungdeok Cha, “Generating Reduced Finite State Machines from Concurrent Scenario Using Static Partial Order Method”, Journal of Research and Practice in Information Technology, vol. 36, no. 3, 2004, pp. 89-100 PDF Icon
  • Sanghyun Cho, Sungdeok Cha, “SAD: Web Session Anomaly detection based on parameter estimation”, Computer & Security, vol. 23, no. 4, 2004, pp. 312-319 PDF Icon
  • Taeho Kim, Sungdeok Cha, “Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system”, Reliability Engineering and System Safety, vol. 83, no. 1, 2004, pp. 121-122 PDF Icon
  • Nam Hee Lee, Sungdeok Cha, “Generating test sequences from a set of MSCs”, Computer Networks, vol. 42, no. 3, 2003, pp. 405-417 PDF Icon
  • Nam Hee Lee, Sungdeok Cha, “Generating Test Sequences using Symbolic Execution for Event-Driven Real-Time Systems”, Microprocessors and Microsystems, vol. 27, no. 10, 2003, pp. 523-531 PDF Icon
  • Sungdeok Cha, Hanseong Son, Junbeom Yoo and Eunkyoung Jee, and Poong Hyun Seong, “Systematic Evaluation of Fault Tress Using Real-Time Model Checker UPPAAL”, Reliability Engineering and System Safety, vol. 82. no. 1, 2003, pp. 11-20 PDF Icon
  • Junbeom Yoo, Sungdeok Cha, and Han Seong Son, “Automatic Generation of Goal-Tree from Statecharts Requirements Specification”, Transactions of the ANS, 2003, pp 37-38 PDF Icon
  • Sun Sup So, Sungdeok Cha, Timothy J. Shimeall, and Yong Rae Kwon, “An Empirical Evaluation of Six Methods to Detect Faults in Software”, Software Testing, Verification and Reliability, vol. 12, no. 3, 2002, pp.155-171 PDF Icon
  • Seung Mo Cho, Hyung Ho Kim, Sungdeok Cha and Doo Hwan Bae, “A Semantics of Sequence Diagrams”, Information Processing Letter, vol. 84, no. 3, 2002, pp. 125-130 PDF Icon
  • Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Junbeom Yoo, Sungdeok Cha, Dae Seong Son, and Seong Soo Choi, “Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields”, Transactions of the ANS, 2002, pp. 73-77
  • Sun Sup So, Sungdeok Cha, Yong Rae Kwon, “Empirical Evaluation of a Fuzzy Logic-based Software Quality Prediction Model”, Fuzzy Sets and Systems, vol. 127, no. 2, 2002, pp. 199-208 PDF Icon
  • Seung Mo Cho, Hyoung Seok Hong and Sungdeo Cha, and Doo Hwan Bae, “Specification and validation of dynamic systems using temporal logic”, IEE Proceedings-Software, vol. 148, no. 4, 2001, pp. 135-140 PDF Icon
  • Taeho Kim and Sungdeok Cha, “Automatic Structural Analysis for SCR-Style Requirements Specifications using PVS”, Software Testing, Verification and Reliability, vol. 11, no. 3, 2001, pp. 143-163 PDF Icon
  • Hyoung Seok Hong, Seung Mo Cho, Sungdeok Cha, and Yong Rae Kwon, “Extending the SCR Method for Real Time Systems”, Real-Time Systems, vol. 20, no. 1, 2001, pp. 27-49 PDF Icon
  • Woo Jin Lee, Heung Nam Kim, Sungdeok Cha, Yong Rae Kwon, “A Slicing-based Approach to enhance Petri Net Reachability Analysis”, Journal of Research and Practice in Information Technology, vol. 32, no. 2, 2000, pp.131-143 PDF Icon
  • Hyoung Seok Hong, Young Gon Kim, Sungdeo Cha, Doo Hwan Bae, and Hasan Ural, “A Test Sequence Selection Method for Statecharts”, Software Testing, Verification and Realiability, vol. 10, no. 4, 2000, pp. 203-227 PDF Icon
  • Jang Soo Lee and Sungdeok Cha, ” Qualitative Formal Method for Requirements Specification and Validation of Hybrid Real-Time Systems”, IEE Proceeding-Software, vol. 147, no. 1, 2000, pp. 1-12 PDF Icon
  • Sungdeok Cha, “Pet Formalisms versus Industry-Proven Survivors: Issues on Formal Methods Education”, Journal of Research and Practice in information Technology, vol. 32, no. 1, 2000, pp. 39-4 PDF Icon
  • Young Gon Kim, Hyoung Seok Hong, Doo Hwan Bae and Sungdeok Cha, “Test Cases Generation from UML State Diagrams”, IEE Proceeding-Software, vol. 146, no. 4, 1999, pp. 187-192 PDF Icon
  • Woo Jin Lee, Sungdeok Cha, Yong Rae Kwon, “Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering”, IEEE Transactions on Software Engineering, vol. 24, no. 12, 1998, pp. 1115-1130 PDF Icon
  • Nancy Leveson, Stephen Sungdeok Cha, and Timothy J. Shimeall, “Safety Verification of Ada Programs using Software Fault Trees”, IEEE Software, July 1991, pp. 48-59 PDF Icon
  • Nancy Leveson, Stephen Sungdeok Cha, John Knight, and Timothy J. Shimeall, “The Use of Self Checks and Voting in Software Error Detection: An Empirical Study”, IEEE Transactions on Software Engineering, vol 16, no. 4, April 1990, pp. 432-443 PDF Icon