Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sung Deok Cha
@article{DBLP:journals/toplas/JeonJCO19,
author = {Minseok Jeon and
Sehun Jeong and
Sung Deok Cha and
Hakjoo Oh},
title = {A Machine-Learning Algorithm with Disjunctive Model for Data-Driven
Program Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {2},
pages = {13:1--13:41},
year = {2019},
url = {https://doi.org/10.1145/3293607},
doi = {10.1145/3293607},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/JeonJCO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HanC18,
author = {Ah{-}Rim Han and
Sung Deok Cha},
title = {Two-Phase Assessment Approach to Improve the Efficiency of Refactoring
Identification},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {10},
pages = {1001--1023},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2731853},
doi = {10.1109/TSE.2017.2731853},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KwonC17,
author = {Shinil Kwon and
Sung Deok Cha},
title = {CAPTCHA-based image annotation},
journal = {Inf. Process. Lett.},
volume = {128},
pages = {27--31},
year = {2017},
url = {https://doi.org/10.1016/j.ipl.2017.07.009},
doi = {10.1016/J.IPL.2017.07.009},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/KwonC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JeongJCO17,
author = {Sehun Jeong and
Minseok Jeon and
Sung Deok Cha and
Hakjoo Oh},
title = {Data-driven context-sensitivity for points-to analysis},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {100:1--100:28},
year = {2017},
url = {https://doi.org/10.1145/3133924},
doi = {10.1145/3133924},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JeongJCO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/KwonC16,
author = {Shinil Kwon and
Sung Deok Cha},
title = {A Paradigm Shift for the {CAPTCHA} Race: Adding Uncertainty to the
Process},
journal = {{IEEE} Softw.},
volume = {33},
number = {6},
pages = {80--85},
year = {2016},
url = {https://doi.org/10.1109/MS.2016.32},
doi = {10.1109/MS.2016.32},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/KwonC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HanBC15,
author = {Ah{-}Rim Han and
Doo{-}Hwan Bae and
Sung Deok Cha},
title = {An efficient approach to identify multiple and independent Move Method
refactoring candidates},
journal = {Inf. Softw. Technol.},
volume = {59},
pages = {53--66},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2014.10.007},
doi = {10.1016/J.INFSOF.2014.10.007},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/HanBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SongHJC15,
author = {Kwangsik Song and
Ah{-}Rim Han and
Sehun Jeong and
Sung Deok Cha},
editor = {Haiping Xu},
title = {Generating various contexts from permissions for testing Android applications},
booktitle = {The 27th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2015, Wyndham Pittsburgh University Center, Pittsburgh,
PA, USA, July 6-8, 2015},
pages = {87--92},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2015},
url = {https://doi.org/10.18293/SEKE2015-118},
doi = {10.18293/SEKE2015-118},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/SongHJC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/JeeSCLB14,
author = {Eunkyoung Jee and
Donghwan Shin and
Sung Deok Cha and
Jang{-}Soo Lee and
Doo{-}Hwan Bae},
title = {Automated test case generation for {FBD} programs implementing reactor
protection system software},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {608--628},
year = {2014},
url = {https://doi.org/10.1002/stvr.1548},
doi = {10.1002/STVR.1548},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/JeeSCLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/KimCB13,
author = {Su Yong Kim and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {Automatic and lightweight grammar generation for fuzz testing},
journal = {Comput. Secur.},
volume = {36},
pages = {1--11},
year = {2013},
url = {https://doi.org/10.1016/j.cose.2013.02.001},
doi = {10.1016/J.COSE.2013.02.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/KimCB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SeoCZB13,
author = {Jeongseok Seo and
Sung Deok Cha and
Bin Zhu and
Doo{-}Hwan Bae},
title = {{PC} Worm Detection System Based on the Correlation between User Interactions
and Comprehensive Network Behaviors},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {96-D},
number = {8},
pages = {1716--1726},
year = {2013},
url = {https://doi.org/10.1587/transinf.E96.D.1716},
doi = {10.1587/TRANSINF.E96.D.1716},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SeoCZB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ChaY12,
author = {Sung Deok Cha and
Junbeom Yoo},
title = {A safety-focused verification using software fault trees},
journal = {Future Gener. Comput. Syst.},
volume = {28},
number = {8},
pages = {1272--1282},
year = {2012},
url = {https://doi.org/10.1016/j.future.2011.02.004},
doi = {10.1016/J.FUTURE.2011.02.004},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/ChaY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-com/OhKHC12,
author = {Myeongjin Oh and
Young{-}Gab Kim and
Seungpyo Hong and
Sung Deok Cha},
title = {{ASA:} Agent-based secure {ARP} cache management},
journal = {{IET} Commun.},
volume = {6},
number = {7},
pages = {685--693},
year = {2012},
url = {https://doi.org/10.1049/iet-com.2011.0566},
doi = {10.1049/IET-COM.2011.0566},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-com/OhKHC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jis/KwonKC12,
author = {Shinil Kwon and
Young{-}Gab Kim and
Sung Deok Cha},
title = {Web robot detection based on pattern-matching technique},
journal = {J. Inf. Sci.},
volume = {38},
number = {2},
pages = {118--126},
year = {2012},
url = {https://doi.org/10.1177/0165551511435969},
doi = {10.1177/0165551511435969},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jis/KwonKC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/KimC12,
author = {Young{-}Gab Kim and
Sung Deok Cha},
title = {Threat scenario-based security risk analysis using use case modeling
in information systems},
journal = {Secur. Commun. Networks},
volume = {5},
number = {3},
pages = {293--300},
year = {2012},
url = {https://doi.org/10.1002/sec.321},
doi = {10.1002/SEC.321},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/KimC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/KimLCC12,
author = {Young{-}Gab Kim and
Min{-}Soo Lee and
Sanghyun Cho and
Sung Deok Cha},
title = {A quantitative approach to estimate a website security risk using
whitelist},
journal = {Secur. Commun. Networks},
volume = {5},
number = {10},
pages = {1181--1192},
year = {2012},
url = {https://doi.org/10.1002/sec.420},
doi = {10.1002/SEC.420},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/KimLCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/ChoiCJYLK11,
author = {Han Choi and
Sung Deok Cha and
Jae Yeon Jo and
Junbeom Yoo and
Hae Young Lee and
Wontae Kim},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Adrian Stoica and
Byeong Ho Kang},
title = {Formal Verification of DEV{\&}DESS Formalism Using Symbolic Model
Checker HyTech},
booktitle = {Control and Automation, and Energy System Engineering - International
Conferences, {CA} and {CES3} 2011, Held as Part of the Future Generation
Information Technology Conference, {FGIT} 2011, in Conjunction with
{GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
series = {Communications in Computer and Information Science},
volume = {256},
pages = {112--121},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-26010-0\_13},
doi = {10.1007/978-3-642-26010-0\_13},
timestamp = {Wed, 06 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fgit/ChoiCJYLK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/ChaJYK11,
author = {Sung Deok Cha and
Sehun Jeong and
Junbeom Yoo and
Young{-}Gab Kim},
editor = {Chris Dale and
Tom Anderson},
title = {Testing of Safety-Critical Software Embedded in an Artificial Heart},
booktitle = {Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical
Systems Symposium, Southampton, UK, February 8-10, 2011},
pages = {143--153},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-85729-133-2\_9},
doi = {10.1007/978-0-85729-133-2\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scss/ChaJYK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/YooLJC11,
author = {Junbeom Yoo and
Jong{-}Hoon Lee and
Sehun Jeong and
Sung Deok Cha},
title = {FBDtoVerilog: {A} Vendor-Independent Translation from FBDs into Verilog
Programs},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
Miami Beach, USA, July 7-9, 2011},
pages = {48--51},
publisher = {Knowledge Systems Institute Graduate School},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/YooLJC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/JeeJCKYPS10,
author = {Eunkyoung Jee and
Seungjae Jeon and
Sung Deok Cha and
Kwang Yong Koh and
Junbeom Yoo and
Gee{-}Yong Park and
Poong{-}Hyun Seong},
title = {FBDVerifier: Interactive and Visual Analysis of Counterexample in
Formal Verification of Function Block Diagram},
journal = {J. Res. Pract. Inf. Technol.},
volume = {42},
number = {3},
pages = {171--188},
year = {2010},
url = {http://ws.acs.org.au/jrpit/JRPIT42.3.171.pdf},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/JeeJCKYPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimBC10,
author = {Tai Hyo Kim and
Hojung Bang and
Sung Deok Cha},
title = {A systematic representation of path constraints for implicit path
enumeration technique},
journal = {Softw. Test. Verification Reliab.},
volume = {20},
number = {1},
pages = {39--61},
year = {2010},
url = {https://doi.org/10.1002/stvr.406},
doi = {10.1002/STVR.406},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KimBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HongYC10,
author = {Nayoung Hong and
Junbeom Yoo and
Sung Deok Cha},
editor = {Jun Han and
Tran Dan Thu},
title = {Customization of Scrum Methodology for Outsourced E-Commerce Projects},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
Australia, November 30 - December 3, 2010},
pages = {310--315},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSEC.2010.43},
doi = {10.1109/APSEC.2010.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HongYC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/JeongYC10,
author = {Sehun Jeong and
Junbeom Yoo and
Sung Deok Cha},
title = {{VIS} Analyzer: {A} Visual Assistant for {VIS} Verification and Analysis},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {250--254},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORC.2010.41},
doi = {10.1109/ISORC.2010.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/JeongYC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JeeKCL10,
author = {Eunkyoung Jee and
Suin Kim and
Sung Deok Cha and
Insup Lee},
editor = {Erwin Schoitsch},
title = {Automated Test Coverage Measurement for Reactor Protection System
Software Implemented in Function Block Diagram},
booktitle = {Computer Safety, Reliability, and Security, 29th International Conference,
{SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6351},
pages = {223--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15651-9\_17},
doi = {10.1007/978-3-642-15651-9\_17},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/JeeKCL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2010,
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5676249/proceeding},
isbn = {978-0-7695-4085-6},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/LeeCLL09,
author = {Junsup Lee and
Sung Deok Cha and
Dongkun Lee and
Hyungkyu Lee},
title = {Classification of web robots: An empirical study based on over one
billion requests},
journal = {Comput. Secur.},
volume = {28},
number = {8},
pages = {795--802},
year = {2009},
url = {https://doi.org/10.1016/j.cose.2009.05.004},
doi = {10.1016/J.COSE.2009.05.004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/LeeCLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LeeBKC09,
author = {Jong{-}In Lee and
Hojung Bang and
Tai Hyo Kim and
Sung Deok Cha},
title = {Visualization and Formalization of User Constraints for Tight Estimation
of Worst-Case Execution Time},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {1},
pages = {24--31},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.24},
doi = {10.1587/TRANSINF.E92.D.24},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/LeeBKC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/JeeYCB09,
author = {Eunkyoung Jee and
Junbeom Yoo and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {A data flow-based structural testing technique for {FBD} programs},
journal = {Inf. Softw. Technol.},
volume = {51},
number = {7},
pages = {1131--1139},
year = {2009},
url = {https://doi.org/10.1016/j.infsof.2009.01.003},
doi = {10.1016/J.INFSOF.2009.01.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/JeeYCB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/YooJC09,
author = {Junbeom Yoo and
Eunkyoung Jee and
Sung Deok Cha},
title = {Formal Modeling and Verification of Safety-Critical Software},
journal = {{IEEE} Softw.},
volume = {26},
number = {3},
pages = {42--49},
year = {2009},
url = {https://doi.org/10.1109/MS.2009.67},
doi = {10.1109/MS.2009.67},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/YooJC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ChaLKC09,
author = {Sung Deok Cha and
Junsup Lee and
Sangrok Kim and
Sanghyun Cho},
editor = {Byoungju Choi},
title = {{ADAM:} Web Anomaly Detection Assistant Based on Feature Matrix},
booktitle = {Proceedings of the Ninth International Conference on Quality Software,
{QSIC} 2009, Jeju, Korea, August 24-25, 2009},
pages = {123--128},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QSIC.2009.24},
doi = {10.1109/QSIC.2009.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/ChaLKC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YooCJ08,
author = {Junbeom Yoo and
Sung Deok Cha and
Eunkyoung Jee},
title = {A Verification Framework for {FBD} Based Software in Nuclear Power
Plants},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {385--392},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.26},
doi = {10.1109/APSEC.2008.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/YooCJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/LeeC08,
author = {Junsup Lee and
Sung Deok Cha},
editor = {Richard Lippmann and
Engin Kirda and
Ari Trachtenberg},
title = {Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive
MapReduce (Extended Abstract)},
booktitle = {Recent Advances in Intrusion Detection, 11th International Symposium,
{RAID} 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5230},
pages = {404--405},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87403-4\_28},
doi = {10.1007/978-3-540-87403-4\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/LeeC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6},
doi = {10.1007/978-3-540-88387-6},
isbn = {978-3-540-88386-9},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SeoC07,
author = {Jeongseok Seo and
Sung Deok Cha},
editor = {Feng Bao and
Steven Miller},
title = {Masquerade detection based on {SVM} and sequence-based user commands
profile},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2007, Singapore, March 20-22, 2007},
pages = {398--400},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229285.1229340},
doi = {10.1145/1229285.1229340},
timestamp = {Thu, 20 Oct 2022 10:45:07 +0200},
biburl = {https://dblp.org/rec/conf/ccs/SeoC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BangKC07,
author = {Hojung Bang and
Tai Hyo Kim and
Sung Deok Cha},
title = {An Iterative Refinement Framework for Tighter Worst-Case Execution
Time Calculation},
booktitle = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
pages = {365--372},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISORC.2007.19},
doi = {10.1109/ISORC.2007.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BangKC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JeeJBCYPK06,
author = {Eunkyoung Jee and
Seungjae Jeon and
Hojung Bang and
Sung Deok Cha and
Junbeom Yoo and
Gee{-}Yong Park and
Kee{-}Choon Kwon},
title = {Testing of Timer Function Blocks in {FBD}},
booktitle = {13th Asia-Pacific Software Engineering Conference {(APSEC} 2006),
6-8 December 2006, Bangalore, India},
pages = {243--250},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/APSEC.2006.55},
doi = {10.1109/APSEC.2006.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/JeeJBCYPK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/KimC06,
author = {Tai Hyo Kim and
Sung Deok Cha},
editor = {Reinhard Gotzhein and
Rick Reed},
title = {Timed High-Level Message Sequence Charts for Real-Time System Design},
booktitle = {System Analysis and Modeling: Language Profiles, 5th International
Workshop, {SAM} 2006, Kaiserslautern, Germany, May 31 - June 2, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4320},
pages = {82--98},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11951148\_6},
doi = {10.1007/11951148\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/KimC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/KimC05,
author = {Han{-}Sung Kim and
Sung Deok Cha},
title = {Empirical evaluation of SVM-based masquerade detection using {UNIX}
commands},
journal = {Comput. Secur.},
volume = {24},
number = {2},
pages = {160--168},
year = {2005},
url = {https://doi.org/10.1016/j.cose.2004.08.007},
doi = {10.1016/J.COSE.2004.08.007},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/KimC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/YooKCLS05,
author = {Junbeom Yoo and
Tai Hyo Kim and
Sung Deok Cha and
Jang{-}Soo Lee and
Han Seong Son},
title = {A formal software requirements specification method for digital nuclear
plant protection systems},
journal = {J. Syst. Softw.},
volume = {74},
number = {1},
pages = {73--83},
year = {2005},
url = {https://doi.org/10.1016/j.jss.2003.10.018},
doi = {10.1016/J.JSS.2003.10.018},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/YooKCLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/LeeC05,
author = {Jang{-}Soo Lee and
Sung Deok Cha},
title = {Fault tree construction of hybrid system requirements using qualitative
formal method},
journal = {Reliab. Eng. Syst. Saf.},
volume = {87},
number = {1},
pages = {121--131},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.04.012},
doi = {10.1016/J.RESS.2004.04.012},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/LeeC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/YooCKS05,
author = {Junbeom Yoo and
Sung Deok Cha and
Chang Hwoi Kim and
Duck Yong Song},
title = {Synthesis of FBD-based {PLC} design from NuSCR formal specification},
journal = {Reliab. Eng. Syst. Saf.},
volume = {87},
number = {2},
pages = {287--294},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.05.005},
doi = {10.1016/J.RESS.2004.05.005},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/YooCKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KimSC05,
author = {Taeho Kim and
David W. J. Stringer{-}Calvert and
Sung Deok Cha},
title = {Formal verification of functional properties of a SCR-style software
requirements specification using {PVS}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {87},
number = {3},
pages = {351--363},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.06.005},
doi = {10.1016/J.RESS.2004.06.005},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KimSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/OhYCS05,
author = {Younju Oh and
Junbeom Yoo and
Sung Deok Cha and
Han Seong Son},
title = {Software safety analysis of function block diagrams using fault trees},
journal = {Reliab. Eng. Syst. Saf.},
volume = {88},
number = {3},
pages = {215--228},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.07.019},
doi = {10.1016/J.RESS.2004.07.019},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/OhYCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KooSYCY05,
author = {Seo Ryong Koo and
Poong{-}Hyun Seong and
Junbeom Yoo and
Sung Deok Cha and
Yeong Jae Yoo},
title = {An effective technique for the software requirements analysis of {NPP}
safety-critical systems, based on software inspection, requirements
traceability, and formal specification},
journal = {Reliab. Eng. Syst. Saf.},
volume = {89},
number = {3},
pages = {248--260},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.08.024},
doi = {10.1016/J.RESS.2004.08.024},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KooSYCY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JeeYC05,
author = {Eunkyoung Jee and
Junbeom Yoo and
Sung Deok Cha},
editor = {Rune Winther and
Bj{\o}rn Axel Gran and
Gustav Dahll},
title = {Control and Data Flow Testing on Function Block Diagrams},
booktitle = {Computer Safety, Reliability, and Security, 24th International Conference,
{SAFECOMP} 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3688},
pages = {67--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11563228\_6},
doi = {10.1007/11563228\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/JeeYC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/LeeC04,
author = {Nam Hee Lee and
Sung Deok Cha},
title = {Generating Reduced Finite State Machine from Concurrent Scenarios
Using Static Partial Order Method},
journal = {J. Res. Pract. Inf. Technol.},
volume = {36},
number = {3},
pages = {145--156},
year = {2004},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acj/LeeC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/ChoC04,
author = {Sanghyun Cho and
Sung Deok Cha},
title = {{SAD:} web session anomaly detection based on parameter estimation},
journal = {Comput. Secur.},
volume = {23},
number = {4},
pages = {312--319},
year = {2004},
url = {https://doi.org/10.1016/j.cose.2004.01.006},
doi = {10.1016/J.COSE.2004.01.006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/ChoC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KimC04,
author = {Han{-}Sung Kim and
Sung Deok Cha},
title = {Efficient Masquerade Detection Using {SVM} Based on Common Command
Frequency in Sliding Windows},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {87-D},
number = {11},
pages = {2446--2452},
year = {2004},
url = {http://search.ieice.org/bin/summary.php?id=e87-d\_11\_2446},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KimC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KimC04,
author = {Taeho Kim and
Sung Deok Cha},
title = {Comment on: development of a safety critical software requirements
verification method with combined {CPN} and {PVS:} a nuclear power
plant protection system application},
journal = {Reliab. Eng. Syst. Saf.},
volume = {83},
number = {1},
pages = {121--122},
year = {2004},
url = {https://doi.org/10.1016/j.ress.2003.09.002},
doi = {10.1016/J.RESS.2003.09.002},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KimC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/KooSC04,
author = {Seo Ryong Koo and
Poong{-}Hyun Seong and
Sung Deok Cha},
title = {Software Design Specification and Analysis Technique for the Safety
Critical Software Based on Programmable Logic Controller {(PLC)}},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {283--284},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281760},
doi = {10.1109/HASE.2004.1281760},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/KooSC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/KooSYCYH04,
author = {Seo Ryong Koo and
Poong{-}Hyun Seong and
Junbeom Yoo and
Sung Deok Cha and
Cheong Youn and
Hyun{-}chul Han},
editor = {M. H. Hamza},
title = {An integrated environment of {S/W} specification and V{\&}V for
safety-critical systems},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {607--612},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/KooSYCYH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itcc/SeoKCC04,
author = {Jeongseok Seo and
Han{-}Sung Kim and
Sanghyun Cho and
Sung Deok Cha},
title = {Web Server Attack Categorization based on Root Causes and Their Locations},
booktitle = {International Conference on Information Technology: Coding and Computing
(ITCC'04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, {USA}},
pages = {90--96},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ITCC.2004.1286431},
doi = {10.1109/ITCC.2004.1286431},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itcc/SeoKCC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/YooCSKL04,
author = {Junbeom Yoo and
Sung Deok Cha and
Han Seong Son and
Chang Hwoi Kim and
Jang{-}Soo Lee},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {PLC-Based Safety Critical Software Development for Nuclear Power Plants},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {155--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_14},
doi = {10.1007/978-3-540-30138-7\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/YooCSKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/ChoYC04,
author = {Jaemyung Cho and
Junbeom Yoo and
Sung Deok Cha},
editor = {Walter Dosch and
Roger Y. Lee and
Chisu Wu},
title = {NuEditor - {A} Tool Suite for Specification and Verification of NuSCR},
booktitle = {Software Engineering Research, Management and Applications, Second
International Conference, {SERA} 2004, Los Angeles, CA, USA, May 5-7,
2004, Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3647},
pages = {19--28},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11668855\_2},
doi = {10.1007/11668855\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sera/ChoYC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/LeeC03,
author = {Nam Hee Lee and
Sung Deok Cha},
title = {Generating test sequences from a set of MSCs},
journal = {Comput. Networks},
volume = {42},
number = {3},
pages = {405--417},
year = {2003},
url = {https://doi.org/10.1016/S1389-1286(03)00250-0},
doi = {10.1016/S1389-1286(03)00250-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/LeeC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LeeC03,
author = {Nam Hee Lee and
Sung Deok Cha},
title = {Generating test sequences using symbolic execution for event-driven
real-time systems},
journal = {Microprocess. Microsystems},
volume = {27},
number = {10},
pages = {523--531},
year = {2003},
url = {https://doi.org/10.1016/S0141-9331(03)00102-9},
doi = {10.1016/S0141-9331(03)00102-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/LeeC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ChaSYJS03,
author = {Sung Deok Cha and
Han Seong Son and
Junbeom Yoo and
Eunkyoung Jee and
Poong{-}Hyun Seong},
title = {Systematic evaluation of fault trees using real-time model checker
{UPPAAL}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {82},
number = {1},
pages = {11--20},
year = {2003},
url = {https://doi.org/10.1016/S0951-8320(03)00059-0},
doi = {10.1016/S0951-8320(03)00059-0},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/ChaSYJS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HongCLSU03,
author = {Hyoung Seok Hong and
Sung Deok Cha and
Insup Lee and
Oleg Sokolsky and
Hasan Ural},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Data Flow Testing as Model Checking},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {232--243},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201203},
doi = {10.1109/ICSE.2003.1201203},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HongCLSU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/SoCK02,
author = {Sun Sup So and
Sung Deok Cha and
Yong Rae Kwon},
title = {Empirical evaluation of a fuzzy logic-based software quality prediction
model},
journal = {Fuzzy Sets Syst.},
volume = {127},
number = {2},
pages = {199--208},
year = {2002},
url = {https://doi.org/10.1016/S0165-0114(01)00128-2},
doi = {10.1016/S0165-0114(01)00128-2},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/SoCK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChoKCB02,
author = {Seung Mo Cho and
Hyung{-}Ho Kim and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {A semantics of sequence diagrams},
journal = {Inf. Process. Lett.},
volume = {84},
number = {3},
pages = {125--130},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00270-3},
doi = {10.1016/S0020-0190(02)00270-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChoKCB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SoCSK02,
author = {Sun Sup So and
Sung Deok Cha and
Timothy J. Shimeall and
Yong Rae Kwon},
title = {An empirical evaluation of six methods to detect faults in software},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {155--171},
year = {2002},
url = {https://doi.org/10.1002/stvr.248},
doi = {10.1002/STVR.248},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SoCSK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LeeKC02,
author = {Nam Hee Lee and
Tai Hyo Kim and
Sung Deok Cha},
title = {Construction of global finite state machine for testing task interactions
written in message sequence charts},
booktitle = {Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002},
pages = {369--376},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568760.568825},
doi = {10.1145/568760.568825},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/LeeKC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KimSC02,
author = {Taeho Kim and
David W. J. Stringer{-}Calvert and
Sung Deok Cha},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Formal Verification of Functional Properties of an SCR-Style Software
Requirements Specification Using {PVS}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {205--220},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_15},
doi = {10.1007/3-540-46002-0\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KimSC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChoKCB01,
author = {Seung Mo Cho and
Hyung Ho Kim and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {Specification and validation of dynamic systems using temporal logic},
journal = {{IEE} Proc. Softw.},
volume = {148},
number = {4},
pages = {135--140},
year = {2001},
url = {https://doi.org/10.1049/ip-sen:20010558},
doi = {10.1049/IP-SEN:20010558},
timestamp = {Fri, 01 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/ChoKCB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HongCCK01,
author = {Hyoung Seok Hong and
Seung Mo Cho and
Sung Deok Cha and
Yong Rae Kwon},
title = {Extending the {SCR} Method for Real-Time Systems},
journal = {Real Time Syst.},
volume = {20},
number = {1},
pages = {27--49},
year = {2001},
url = {https://doi.org/10.1023/A:1026585115440},
doi = {10.1023/A:1026585115440},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/HongCCK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimC01,
author = {Taeho Kim and
Sung Deok Cha},
title = {Automated structural analysis of SCR-style software requirements specifications
using {PVS}},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {143--163},
year = {2001},
url = {https://doi.org/10.1002/stvr.218},
doi = {10.1002/STVR.218},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/LeeCKK00,
author = {Woo Jin Lee and
Sung Deok Cha and
Yong Rae Kwon and
H. N. Kim},
title = {A Slicing-based Approach to Enhance Petri Net Reachability Analysis},
journal = {J. Res. Pract. Inf. Technol.},
volume = {32},
number = {2},
pages = {131--143},
year = {2000},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acj/LeeCKK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HongKCBU00,
author = {Hyoung Seok Hong and
Young Gon Kim and
Sung Deok Cha and
Doo{-}Hwan Bae and
Hasan Ural},
title = {A test sequence selection method for statecharts},
journal = {Softw. Test. Verification Reliab.},
volume = {10},
number = {4},
pages = {203--227},
year = {2000},
url = {https://doi.org/10.1002/1099-1689(200012)10:4\&\#60;203::AID-STVR212\&\#62;3.0.CO;2-2},
doi = {10.1002/1099-1689(200012)10:4\&\#60;203::AID-STVR212\&\#62;3.0.CO;2-2},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HongKCBU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KimHBC99,
author = {Young Gon Kim and
Hyoung Seok Hong and
Doo{-}Hwan Bae and
Sung Deok Cha},
title = {Test cases generation from {UML} state diagrams},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {4},
pages = {187--192},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990602},
doi = {10.1049/IP-SEN:19990602},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/KimHBC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/LeeKYHCB99,
author = {Joon{-}Sang Lee and
Tae{-}Ho Kim and
Gwang Sik Yoon and
Jang{-}Eui Hong and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {Developing Distributed Software Systems by Incorporating Meta-Object
Protocol (diMOP) with Unified Modeling Language {(UML)}},
booktitle = {The Fourth International Symposium on Autonomous Decentralized Systems,
{ISADS} 1999, Tokyo, Japan, March 20-23, 1999},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISADS.1999.838366},
doi = {10.1109/ISADS.1999.838366},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/LeeKYHCB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/ChoBCKYK99,
author = {Seung Mo Cho and
Doo{-}Hwan Bae and
Sung Deok Cha and
Young Gon Kim and
Byung Kyu Yoo and
Sang Taek Kim},
title = {Applying Model Checking to Concurrent Object-Oriented Software},
booktitle = {The Fourth International Symposium on Autonomous Decentralized Systems,
{ISADS} 1999, Tokyo, Japan, March 20-23, 1999},
pages = {380--383},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISADS.1999.838464},
doi = {10.1109/ISADS.1999.838464},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/ChoBCKYK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MinJCKB99,
author = {Sang{-}Yoon Min and
Yoon{-}Kyu Jan and
Sung Deok Cha and
Yong Rae Kwon and
Doo{-}Hwan Bae},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Safety Verification of Ada95 Programs Using Software Fault Trees},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {226--238},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_20},
doi = {10.1007/3-540-48249-0\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MinJCKB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeeCK98,
author = {Woo Jin Lee and
Sung Deok Cha and
Yong Rae Kwon},
title = {Integration and Analysis of Use Cases Using Modular Petri Nets in
Requirements Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {12},
pages = {1115--1130},
year = {1998},
url = {https://doi.org/10.1109/32.738342},
doi = {10.1109/32.738342},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeeCK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/LeeHCB98,
author = {Nam Hee Lee and
Jang{-}Eui Hong and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {Towards Reusable Colored Petri Nets},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998},
pages = {223--229},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/PDSE.1998.668185},
doi = {10.1109/PDSE.1998.668185},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/LeeHCB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YoonCKY97,
author = {Gwang Sik Yoon and
Sung Deok Cha and
Yong Rae Kwon and
Chan Hyung Yoo},
title = {Detecting Common Mode Failures in N-Version Software Using Weakest
Precondition Analysis},
booktitle = {4th Asia-Pacific Software Engineering and International Computer Science
Conference {(APSEC} '97 / {ICSC} '97), 2-5 December 1997, Clear Water
Bay, Hong Kong},
pages = {272},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/APSEC.1997.640184},
doi = {10.1109/APSEC.1997.640184},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/YoonCKY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KimCB97,
author = {Gyu{-}Tae Kim and
Sung Deok Cha and
Doo{-}Hwan Bae},
title = {Task.o object modeling approach for robot workcell programming},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {109--114},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624772},
doi = {10.1109/CMPSAC.1997.624772},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KimCB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HongCK97,
author = {Hyoung Seok Hong and
Sung Deok Cha and
Yong Rae Kwon},
title = {On the concurrent behaviour of {SCR} specifications},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {258--263},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624810},
doi = {10.1109/CMPSAC.1997.624810},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HongCK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LeeC97,
author = {Jang{-}Soo Lee and
Sung Deok Cha},
title = {Behavior verification of hybrid real-time requirements by qualitative
formalism},
booktitle = {4th International Workshop on Real-Time Computing Systems and Applications
{(RTCSA} '97), 27-29 October 1997, Taipei, Taiwan},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/RTCSA.1997.629184},
doi = {10.1109/RTCSA.1997.629184},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LeeC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChoHC96,
author = {Seung Mo Cho and
Hyoung Seok Hong and
Sung Deok Cha},
title = {Safety Analysis Using Coloured Petri Nets},
booktitle = {3rd Asia-Pacific Software Engineering Conference {(APSEC} '96), December
4-7, 1996, Seoul, South Korea},
pages = {176--193},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/APSEC.1996.566752},
doi = {10.1109/APSEC.1996.566752},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChoHC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ChaH96,
author = {Sung Deok Cha and
Hyoung Seok Hong},
title = {Specification and analysis of real-time systems in Statecharts},
booktitle = {Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time
Dependable Systems, February 1-2, 1996, Laguna Beach, California,
{USA}},
pages = {137--143},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/WORDS.1996.506274},
doi = {10.1109/WORDS.1996.506274},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/ChaH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HongKC95,
author = {Hyoung Seok Hong and
Yong Rae Kwon and
Sung Deok Cha},
title = {Testing of Object-Oriented Programs Based on Finite State Machines},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {234},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496972},
doi = {10.1109/APSEC.1995.496972},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HongKC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SoLCK95,
author = {Sun Sup So and
Yongseop Lim and
Sung Deok Cha and
Yong Rae Kwon},
title = {An Empirical Study on Software Error Detection: Voting, Instrumentation,
and Fagan Inspection},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {345},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496983},
doi = {10.1109/APSEC.1995.496983},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SoLCK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-08 04:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
