Search results for: Sungdeok Cha
Information Processing Letters > 2017 > 128 > C > 27-31
IEEE Transactions on Visualization and Computer Graphics > 2017 > 23 > 9 > 2056 - 2068
IEEE Software > 2016 > 33 > 6 > 80 - 85
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 205-220
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods and Tools > 19-28
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Software Development > 155-165
Communications in Computer and Information Science > Future Information Technology > Forensics for Future Generation Communication Environments > 131-138
Communications in Computer and Information Science > Control and Automation, and Energy System Engineering > 112-121
Information and Software Technology > 2015 > 59 > Complete > 53-66
Software Testing, Verification and Reliability > 24 > 8 > 608 - 628
Computers & Security > 2013 > 36 > Complete > 1-11
Future Generation Computer Systems > 2012 > 28 > 8 > 1272-1282
Computers & Security > 2009 > 28 > 8 > 795-802
Information and Software Technology > 2009 > 51 > 7 > 1131-1139