Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Junbeom Yoo
@article{DBLP:journals/ijcip/JungYM23,
author = {Sejin Jung and
Junbeom Yoo and
Sam Malek},
title = {A systematic co-engineering of safety and security analysis in requirements
engineering process},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {43},
pages = {100642},
year = {2023},
url = {https://doi.org/10.1016/j.ijcip.2023.100642},
doi = {10.1016/J.IJCIP.2023.100642},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcip/JungYM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/JungKY22,
author = {Sejin Jung and
Eui{-}Sub Kim and
Junbeom Yoo},
title = {Unfolding Hidden Structures in Cyber-Physical Systems for Thorough
{STPA} Analysis},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {105-D},
number = {5},
pages = {1103--1106},
year = {2022},
url = {https://doi.org/10.1587/transinf.2021edl8073},
doi = {10.1587/TRANSINF.2021EDL8073},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/JungKY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JungY22,
author = {Sejin Jung and
Junbeom Yoo},
title = {An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering
Dynamic Configuration Uncertainty},
booktitle = {29th Asia-Pacific Software Engineering Conference, {APSEC} 2022, Virtual
Event, Japan, December 6-9, 2022},
pages = {279--288},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/APSEC57359.2022.00040},
doi = {10.1109/APSEC57359.2022.00040},
timestamp = {Mon, 27 Feb 2023 15:22:37 +0100},
biburl = {https://dblp.org/rec/conf/apsec/JungY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/LeeKY21,
author = {Dong{-}Ah Lee and
Eui{-}Sub Kim and
Junbeom Yoo},
title = {An Empirical Evaluation of Coverage Criteria for {FBD} Simulation
Using Mutation Analysis},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {104-D},
number = {1},
pages = {208--211},
year = {2021},
url = {https://doi.org/10.1587/transinf.2020EDL8090},
doi = {10.1587/TRANSINF.2020EDL8090},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicetd/LeeKY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/JungYL20,
author = {Sejin Jung and
Junbeom Yoo and
Young{-}Jun Lee},
title = {A practical application of {NUREG/CR-6430} software safety hazard
analysis to {FPGA} software},
journal = {Reliab. Eng. Syst. Saf.},
volume = {202},
pages = {107029},
year = {2020},
url = {https://doi.org/10.1016/j.ress.2020.107029},
doi = {10.1016/J.RESS.2020.107029},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/JungYL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/JungYL20a,
author = {Sejin Jung and
Junbeom Yoo and
Young{-}Jun Lee},
title = {A Software Fault Tree Analysis Technique for Formal Requirement Specifications
of Nuclear Reactor Protection Systems},
journal = {Reliab. Eng. Syst. Saf.},
volume = {203},
pages = {107064},
year = {2020},
url = {https://doi.org/10.1016/j.ress.2020.107064},
doi = {10.1016/J.RESS.2020.107064},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/JungYL20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/YoonLPKY17,
author = {Sanghyun Yoon and
Dong{-}Ah Lee and
Eunji Pak and
Taeho Kim and
Junbeom Yoo},
title = {Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an
{ARINC-653} Compliance {RTOS}},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {100-D},
number = {10},
pages = {2644--2647},
year = {2017},
url = {https://doi.org/10.1587/transinf.2017EDL8090},
doi = {10.1587/TRANSINF.2017EDL8090},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/YoonLPKY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/YoonY17,
author = {Sanghyun Yoon and
Junbeom Yoo},
title = {Formal verification of {ECML} hybrid models with spaceex},
journal = {Inf. Softw. Technol.},
volume = {92},
pages = {121--144},
year = {2017},
url = {https://doi.org/10.1016/j.infsof.2017.07.014},
doi = {10.1016/J.INFSOF.2017.07.014},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/YoonY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcse/KimLJYCL17,
author = {Eui{-}Sub Kim and
Dong{-}Ah Lee and
Sejin Jung and
Junbeom Yoo and
Jong{-}Gyun Choi and
Jang{-}Soo Lee},
title = {NuDE 2.0: {A} Formal Method-based Software Development, Verification
and Safety Analysis Environment for Digital I{\&}Cs in NPPs},
journal = {J. Comput. Sci. Eng.},
volume = {11},
number = {1},
year = {2017},
url = {https://doi.org/10.5626/JCSE.2017.11.1.9},
doi = {10.5626/JCSE.2017.11.1.9},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcse/KimLJYCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LeeYL14,
author = {Dong{-}Ah Lee and
Junbeom Yoo and
Jang{-}Soo Lee},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {Guidelines for the Use of Function Block Diagram in Reactor Protection
Systems},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {135--142},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.29},
doi = {10.1109/APSEC.2014.29},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/LeeYL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isicir/YooKLCLL14,
author = {Junbeom Yoo and
Eui{-}Sub Kim and
Dong{-}Ah Lee and
Jong{-}Gyun Choi and
Young{-}Jun Lee and
Jang{-}Soo Lee},
title = {NuDE 2.0: {A} model-based software development environment for the
{PLC} {\&} {FPGA} based digital systems in nuclear power plants},
booktitle = {2014 International Symposium on Integrated Circuits (ISIC), Singapore,
December 10-12, 2014},
pages = {604--607},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISICIR.2014.7029503},
doi = {10.1109/ISICIR.2014.7029503},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/isicir/YooKLCLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/YooCLL14,
author = {Junbeom Yoo and
Jong{-}Gyun Choi and
Young{-}Jun Lee and
Jang{-}Soo Lee},
title = {A Technique for Demonstrating Safety and Correctness of Program Translators:
Strategy and Case Study},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {210--215},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.71},
doi = {10.1109/ISSREW.2014.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/YooCLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/LeeYL13,
author = {Dong{-}Ah Lee and
Junbeom Yoo and
Jang{-}Soo Lee},
title = {A systematic verification of behavioral consistency between {FBD}
design and {ANSI-C} implementation using {HW-CBMC}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {120},
pages = {139--149},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.06.006},
doi = {10.1016/J.RESS.2013.06.006},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/LeeYL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YooY13,
author = {Junbeom Yoo and
Sanghyun Yoon},
title = {{SQAF-DS:} {A} Software Quality Assessment Framework for Dependable
Systems},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {724--725},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.118},
doi = {10.1109/COMPSAC.2013.118},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YooY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mim/LeeKYL13,
author = {Jong{-}Hoon Lee and
Eui{-}Sub Kim and
Junbeom Yoo and
Jang{-}Soo Lee},
editor = {Natalia Bakhtadze and
Kirill Chernyshov and
Alexandre Dolgui and
Vladimir Lototsky},
title = {A Preliminary Report on Static Analysis of {C} Code for Nuclear Reactor
Protection System},
booktitle = {7th {IFAC} Conference on Manufacturing Modelling, Management, and
Control, {MIM} 2013, Saint Petersburg, Russia, June 19-21, 2013},
pages = {2134--2139},
publisher = {International Federation of Automatic Control},
year = {2013},
url = {https://doi.org/10.3182/20130619-3-RU-3018.00259},
doi = {10.3182/20130619-3-RU-3018.00259},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mim/LeeKYL13.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}
}
@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/fgit/SongKSYKKO11,
author = {Jae Ha Song and
Woo Yeol Kim and
Hyun Seung Son and
Junbeom Yoo and
Jae Seung Kim and
Robert Young Chul Kim and
Jung Hun Oh},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Dominik Slezak and
Frode Eika Sandnes and
Xiaofeng Song and
Kyo{-}Il Chung and
Kirk P. Arnett},
title = {Design and Implementation of a Remote Control for {IPTV} with Sensors},
booktitle = {Future Generation Information Technology - Third International Conference,
{FGIT} 2011 in Conjunction with {GDC} 2011, Jeju Island, Korea, December
8-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7105},
pages = {223--228},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27142-7\_26},
doi = {10.1007/978-3-642-27142-7\_26},
timestamp = {Fri, 27 Dec 2019 21:27:24 +0100},
biburl = {https://dblp.org/rec/conf/fgit/SongKSYKKO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/LeeLYK11,
author = {Dong{-}Ah Lee and
Jong{-}Hoon Lee and
Junbeom Yoo and
Doo{-}Hyun Kim},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Haeng{-}Kon Kim and
Heau{-}Jo Kang and
Kyung Jung Kim and
Kiumi Akingbehin and
Byeong Ho Kang},
title = {Systematic Verification of Operational Flight Program through Reverse
Engineering},
booktitle = {Software Engineering, Business Continuity, and Education - International
Conferences ASEA, {DRBC} and {EL} 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 = {257},
pages = {285--291},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27207-3\_29},
doi = {10.1007/978-3-642-27207-3\_29},
timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
biburl = {https://dblp.org/rec/conf/fgit/LeeLYK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LeeYL11,
author = {Dong{-}Ah Lee and
Junbeom Yoo and
Jang{-}Soo Lee},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {Equivalence Checking between Function Block Diagrams and {C} Programs
Using {HW-CBMC}},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {397--408},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_29},
doi = {10.1007/978-3-642-24270-0\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LeeYL11.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}
}
@inproceedings{DBLP:conf/ssiri/YoonJY11,
author = {Sanghyun Yoon and
Jae Yeon Jo and
Junbeom Yoo},
title = {A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection
Systems},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {68--75},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.21},
doi = {10.1109/SSIRI-C.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/YoonJY11.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}
}
@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}
}
@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/seus/JinY09,
author = {Hyun{-}Wook Jin and
Junbeom Yoo},
editor = {Sunggu Lee and
Priya Narasimhan},
title = {Exploring the Design Space for Network Protocol Stacks on Special-Purpose
Embedded Systems},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 7th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2009, Newport Beach, CA,
USA, November 16-18, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5860},
pages = {240--251},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10265-3\_22},
doi = {10.1007/978-3-642-10265-3\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/seus/JinY09.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/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}
}
@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/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/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}
}
@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/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/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}
}
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-04-25 01:27 CEST 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:
