Publications
¡¡
-
International Journal
-
Yoona Heo, Sejin Jung, Eui-Sub Kim, and Junbeom Yoo, "CVEC: A customized
VIS-based equivalence checker for verifying commercial field-programmable gate array synthesis software in
small modular reactors," Annals of Nuclear Energy, Vol.220, no.15, 111484, Sept, 2025 (paper).
-
Sejin Jung, Junbeom Yoo, and Sam Malek, "A
Systematic Co-Engineering of Safety and Security Analysis in
Requirements Engineering Process," International Journal of
Critical Infrastructure Protection, Vol.43, 100642, Dec, 2023 (paper).
-
Sejin Jung, Eui-Sub Kim, and Junbeom Yoo,
"Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis,"
IEICE Transactions on Information and Systems, Vol.E105-D, No.5, May. 2022. (paper)
-
Sejin Jung, Yoona Heo, and Junbeom Yoo,
"A Formal Approach to Support the Identification of Unsafe Control Actions of STPA for Nuclear
Projection Systems,"
Nuclear Engineering and Technology, Vol.54, No.5, pp.1635-1643, May. 2022. (paper)
-
Dong-Ah Lee, Eui-Sub Kim, and Junbeom Yoo,
"An Empirical Evaluation of Coverage Criteria for FBD Simulation using Mutation Analysis,"
IEICE Transactions on Information and Systems, Vol.E104-D, No.01, pp.209-211, Jan. 2021.
(paper)
-
Dong-Ah Lee, Eui-Sub Kim, and Junbeom Yoo,
"Quantitative Measures of the Thoroughness of FBD Simulations for PLC-based Digital I&C System,"
Nuclear Engineering and Technology, Vol. 53, No. 1, pp. 131-141, Jan. 2021.
(paper)
-
Sejin Jung, Junbeom Yoo, Young-Jun Lee, "A Software Fault Tree Analysis Technique
for Formal Requirement Specifications of Nuclear Reactor Protection Systems," Reliability Engineering &
System Safety Vol.203, 2020. (paper)
-
Sejin Jung, Junbeom Yoo, Young-Jun Lee "A practical application of NUREG/CR-6430
software safety hazard analysis to FPGA software," Reliability
Engineering & System Safety Vol. 202, 2020. (paper)
-
Sanghyun Yoon and Junbeom Yoo, "Formal Verification of ECML Hybrid Models
with SpaceEx," Information and Software Technology, Vol.92, pp.121-144, 2017. (paper)
-
Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim and Junbeom Yoo, "Timed
Model-based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 compliance RTOS," IEICE
Transactions on Information and Systems, Vol.E100-D, No.10, pp.2644-2647, 2017. (paper)
-
Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee
"NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for
Digital I&Cs in NPPs," Journal of Computing Science and Engineering, Vol.11, No.1, pp.9-23, 2017. (paper)
-
Sejin Jung, Junbeom Yoo, Young-Jun Lee, "A PLC Platform-Independent
Structural Analysis on FBD Programs for Digital Reactor Protection Systems,"
Annals of Nuclear Energy, Vol.103, pp.454-469, 2017. (paper)
-
Sejin Jung, Eui-Sub Kim, Junbeom Yoo,
Jang-Yeol Kim and Jong Gyun Choi, "An Evaluation and Acceptance of COTS Software for FPGA-based
Controllers in NPPS,"
Annals of Nuclear Energy, Vol.94, pp.338-349, 2016. (paper)
-
Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young
Jun Lee and Jong-Gyun Choi, "An Integrated Software Testing Framework for
FPGA-based Controllers in Nuclear Power Plants," Nuclear Engineering and
Technology, Vol.48, No.2, pp.470-481, 2016. (paper).
-
Dong-Ah Lee, Junbeom Yoo and Jang-Soo Lee,
"A Systematic Verification of Behavioral Consistency between FBD Design and
ANSI-C Implementation Using HW-CBMC," Reliability Engineering and System
Safety, Vol.120, No.12, pp.139-149, 2013 (paper)
-
Junbeom Yoo, Eui-Sub Kim
and Jang-Soo Lee, "A Behavior-Preserving Translation from FBD Design to
C Implementation for Reactor Protection System Software," Nuclear
Engineering and Technology,
Vol.45, No.4, pp.489-504, 2013. (paper)
-
Junbeom Yoo, Jong-Hoon Lee and Jang-Soo Lee, "A Research
on Seamless Platform Change of Reactor Protection System from PLC to FPGA,"
Nuclear Engineering and Technology, Vol.45, No.4, pp.477-488, 2013. (paper)
-
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 Journal,
Vol.16, No.1(B), pp.821-826, 2013. (paper)
-
Dong-Ah Lee, Sangkyung
Sung, Junbeom Yoo and Doo-Hyun Kim, "Formal Modeling and Verification of
Operational Flight Program in a Small-Scale Unmanned Helicopter," Journal of
Aerospace Engineering, Vol.25, No.4, pp.530-540, 2012. (paper)
-
Sungdeok Cha and Junbeom Yoo, "A Safety-focused
Verification using Software Fault Trees," Future Generation Computer
Systems, Vol.28, No.8, pp.1272-1282, 2012. (paper)
-
Woo Yeol Kim, Hyun Seung
Son, Junbeom Yoo and Robert Young Chul Kim, "HCML: An MOF-based Hardware
Component Modeling Language for Profiling Heterogeneous Embedded System,"
Information Journal, Vol.15, No.5, pp.2067-2078, 2012. (paper)
-
Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha,
Kwangyong Koh, Junbeom Yoo, Geeyong Park and Poonghyun Seong, "FBDVerifier:
Interactive and Visual Analysis of Counterexample in Formal Verification of
Function Block Diagram," Journal of Research and Practice in Information
Technology, Vol.42, No.3, pp.255-272, August, 2010. (paper)
-
Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha
and Doohwan Bae, "A Data Flow-based Structural Testing Technique for FBD
Programs," Information & Software Technology, Vol.51, No.7, July,
pp.1131-1139, 2009. (paper)
-
Junbeom Yoo, Eunkyoung Jee and Sungdeok (Steve)
Cha, "Formal Modeling and Verification of Safety-Critical Software," IEEE
Software, Vol.26, No.3, pp.42-49, May/June 2009. (paper,
ppt)
-
Junbeom Yoo, Sungdeok Cha and Eunkyoung Jee,
"Verification of PLC programs written in FBD with VIS," Nuclear Engineering
and Technology, Vol.41, No.1, Feb. pp.79-90, 2009. (paper)
-
International Conference
-
Yoona Heo, "An Approach for Safety Testing
of Cooperative Cyber-Physical Systems Using STPA and Quality Attribute
Scenarios," The 30th Asia-Pacific Software Engineering Conference (APSEC
2023), SRC - Student Research Competition, Dec. 4-7, Seoul Korea,
2023. (paper,
poster, 2nd
prize)
-
Sejin Jung and Junbeom Yoo, "An approach for hazard analysis of
multiple-cooperative systems considering dynamic configuration uncertainty," The 29th Asia-Pacific
Software Engineering Conference (APSEC 2022), pp. 279-288, Dec. 6-9, Virtual, 2022. (paper, ppt)
-
Eui-Sub Kim and Junbeom Yoo, "FBDScenaGen+: GA-based High-Quality Scenario
Generator for FBD Simulation," International Symposium on Future I&C for Nuclear Power Plants
(ISOFIC/ISSNP 2017), Nov. 26-30, Gyeongju, Korea, 2017. (paper, ppt)
-
Eui-Sub Kim and Junbeom Yoo,
"A New Equivalence Checker for Demonstrating Correctness of Synthesis and Generation
of Safety-Critical Software," The 11th IEMEK Symposium on Embedded Technology (ISET 2016),
pp.89-90, May 26-27,
Deajeon, Korea, 2016. (paper,
ppt)
-
Junbeom Yoo, Eui-Sub Kim and Sejin Jung,
"Verification Techniques for COTS Dedication of Commercial FPGA Tools," The
10th International
Symposium on Embedded Technology (ISET 2015), pp.150-151, June 04-06, Daegu,
Korea, 2015. (paper,
ppt)
-
Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee,
Jong-Gyun Choi, Young Jun Lee and Jang-Soo Lee, "NuDE 2.0: A Model-based
Software Development Environment for the PLC & FPGA based Digital Systems in
Nuclear Power Plants," International Symposium on Integrated Circuit (ISIC
2014), pp.00-00, Dec. 10-12, Singapore, 2014. (paper,
ppt)
-
Dong-Ah Lee, Junbeom Yoo and Jang-Soo Lee,
"Guidelines for the Use of the Function Block Diagram in Reactor Protection
Systems," The 21th Asia-Pacific Software Engineering Conference (APSEC 2014),
pp.142-149, Dec. 1-4, Jeju, Republic of Korea, 2014. (paper, ppt)
-
Eui-Sub Kim, Junbeom Yoo, Jong Gyun Choi,
Young Jun Lee and Jang-Soo Lee, "A Technique for Demonstrating Safety and
Correctness of Program Translators: Strategy and Case Study," The 2nd
International Workshop on Assurance Cases for Software-intensive Systems (ASSURE),
co-located with ISSRE 2014, pp.210-215, Nov. 3-6, Naples, Italy, 2014. (paper,
ppt)
-
Jang-Soo Lee and Junbeom Yoo, "Comparison of Hazard
Analysis Requirements for Instrumentation and Control System of Nuclear Power
Plants," International Symposium on Future I&C for Nuclear Power Plants (ISOFIC/ISSNP
2014), Aug. 25-28, Jeju, Republic of Korea, 2014. (paper,
ppt)
-
Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee and
Jong-Gyun Choi, "An Integrated Software Development Framework for PLC & FPGA
based Digital I&Cs," International Symposium on Future I&C for Nuclear Power
Plants (ISOFIC/ISSNP 2014), Aug. 25-28, Jeju, Republic of Korea, 2014.
(paper,
ppt)
-
Dong-Ah Lee, Eui-sub Kim, Junbeom Yoo, Jang-Soo Lee, and Jong Gyun Choi,
"FBDtoVerilog 2.0: An automatic translation of FBD into Verilog to develop FPGA," International
Conference on Information Science & Applications 2014 (ICISA2014), pp.447–450, May
6th–9th, Seoul, Republic of Korea, 2014. (paper, ppt)
-
Eui-Sub Kim, Dong-Ah Lee and Junbeom Yoo, "RT-Selection
: A Regression Test Selection Technique Using Textual Differencing and Change
Impact Analysis," 2013 International Workshop on ICT, pp.1-4, Dec. 12-14,
Beppu, Japan, 2013. (paper,
ppt)
-
Dong-Ah Lee, Jang-Soo Lee, Se-Woo
Cheon, and Junbeom Yoo, "Application of System-Theoretic Process Analysis to
Engineered Safety Features-Component Control System," Enlarged Halden
Programme Group (EHPG) Meeting, C5-7, Storefjell Resort Hotel, Mar. 10-15,
Norway, 2013. (paper,
ppt)
-
Jaeyeon Jo, Sanghyun Yoon, Junbeom Yoo, Hae
Young Lee and Won-Tae Kim, "Case Study : Verification of ECML Model Using
SpaceEx," Korea-Japan Joint Workshop on ICT, pp.1-4, Sep. 20-22, Pohang,
Korea, 2012. (paper,
ppt)
-
Sun Hwi Lee, Sanghyun Yoon and Junbeom Yoo,
"SW-STPA: A Software Hazard Analysis Technique based on STPA," Korea-Japan
Joint Workshop on ICT, pp.9-12, Sep. 20-22, Pohang, Korea, 2012. (paper,
ppt)
-
Jae Yeon Jo, Junbeom
Yoo, Han Choi, Sungdeok Cha, Hae Young Lee, and Won-Tae Kim, "Translation from
ECML to Linear Hybrid Automata," International Workshop on Technologies and
Applications for Cyber Physical System (TACPS 2012 / EMC-12), LNEE 181,
pp.293-300, Sep. 06-08, Gwangju, Korea, 2012. (paper,
ppt)
-
Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo and
Doo-Hyun Kim, "Systematic Verification of Operational Flight Program through
Reverse Engineering," In Proceeding of Software Engineering, Business
Continuity, ad Education (CCIS 257), The 3rd International Mega-Conference on
Future Generation Information Technology (FGIT 2011); International
Conference on Advanced Software Engineering and its Application 2011 (ASEA
2011), pp.285-291, Dec. 08-10, Jeju, Korea, 2011. (paper,
ppt)
-
Han Choi, Sungdeok Cha, Jae Yeon Jo, Junbeom
Yoo, Hae Young Lee, and Won-Tae Kim, "Formal Verification of DEV&DESS
Formalism using Symbolic Model Checker HyTech," In Proceeding of Control and
Automation, and Energy System Engineering (CCIS 256), The 3rd International
Mega-Conference on Future Generation Information Technology (FGIT 2011);
International Conference on Cyber Physical System (CPS 2011),
pp.112-121, Dec. 08-10, Jeju, Korea, 2011. (paper,
ppt) Best Paper Award
-
Jae Ha Song, Woo Yeol Kim, Hyun Seung Son,
Junbeom Yoo, Jae Seung Kim, Robert Young Chul Kim and Jun Hun Oh, "Design and
Implementation of a Remote Control for IPTV with Sensors," The 3rd
International Mega-Conference on Future Generation Information Technology (FGIT
2011), LNCS 7105, pp.223-228, Dec. 08-10, Jeju, Korea, 2011. (paper)
-
Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo,
Robert Young Chul Kim, "Design of MOF based Hardware Component Modeling
Language for Heterogeneous Embedded Systems," International Conference on
Computer Convergence Technology (ICCCT 2011), pp.234-249, Oct. 20-22,
Seoul, Korea, 2011. (paper)
-
Dong-Ah Lee, Junbeom Yoo and Jang-Soo Lee,
"Equivalence Checking between Function Block Diagrams and C Programs using HW-CBMC,"
The 30th International Conference
on Computer Safety, Reliability and Security (SAFECOMP 2011), LNCS
6894, pp.397-408,
Sept. 19-21, Naples, Italy, 2011. (paper, ppt)
-
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong and
Sungdeok Cha, "FBDtoVerilog: A Vendor-Independent Translation from FBDs into
Verilog Programs," The Twenty-Third International Conference on Software
Engineering and Knowledge Engineering (SEKE 2011), pp.48-51, July
7-9, Miami Beach, USA, 2011. (paper,
ppt)
-
Sanghyun Yoon, Jaeyeon Jo and Junbeom Yoo, "A
Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems,"
DSDSD (Domain Specific Dependable Softare Development) Workshop (co-located with
SSIRI 2011), pp.68-75, June 27-29, Jeju,
Korea, 2011. (paper,
ppt)
-
Sungdeok Cha, Sehun Jeong, Junbeom Yoo and
Young-Gab Kim, "Testing of Safety-Critical Software embedded in an Artificial
Heart," THE SAFETY-CRITICAL SYSTEMS CLUB (SCSC), 19th annual: Safety-critical
Systems Symposium (SSS 2011), pp.143-153, Feb. 8-10, De Vere Grand Harbour Hotel,
Southampton, UK, 2011. (paper)
-
Wooyeol Kim, Hyunseung Son, Junbeom Yoo, Young
Park and Robert Youngchul Kim, "A Study on Target Model Generation for
Smartphone Applications using Model Transformation Technique," ICONI &
APIC-IST 2010, pp.557-558, Dec. 16-20, Crimson Resort, Mac tan Island,
Philippines, 2010. (paper)
-
Nayoung Hong, Junbeom Yoo and Sungdeok Cha,
"Customization of Scrum Methodology for Outsourced E-commerce Projects," The
17th Asia Pacific Software Engineering Conference (APSEC 2010), pp.310-315, Nov.
30 - Dec. 3, Sydney, Australia, 2010. (paper,
ppt)
-
Dong-Ah Lee, Junbeom Yoo and Doohyun Kim,
"Formal Verification of Process Communications in Operational Flight Program
for a Small-Scale Unmanned Helicopter," The 6th International Conference on
Intelligent Unmanned Systems (ICIUS 2010), pp.91-96, Nov. 3-5, Bali,
Indonesia, 2010. (paper,
ppt)
-
Junbeom Yoo, "A Formal Embedded Software
Verification using Software Fault Tree Analysis," The 5th International
Symposium on Embedded Technology (ISET 2010), pp.125-126, May 13-14, Daegu,
Korea, 2010. (paper+ppt)
-
Sehun Jung, Junbeom Yoo and Sungdeok
Cha, "VIS Analyzer: A Visual Assistant for VIS Verification and Analysis,"
The 13th IEEE Computer Society symposium dealing with the rapidly expanding
field of object/component/service-oriented real-time distributed computing (ORC)
technology (ISORC), pp.250-254, May 5-6,
Carmona,
Sevilla,
Spain, 2010. (paper,
ppt)
-
Hyun-Wook Jin and Junbeom Yoo, "Exploring
the Design Space for Network Protocol Stacks on Special-Purpose Embedded
Systems," Workshop on Software Technologies For Future Embedded and
Ubiquitous Systems (SEUS 2009), LNCS 5860, pp.240-251, Newport Beach, USA, Nov. 16-18,
2009. (paper)
-
Junbeom Yoo, Sungdeok Cha and Eunkyoung Jee,
"A Verification Framework for FBD based Software in Nuclear Power Plants,"
The 15th Asia Pacific Software Engineering Conference (APSEC 2008), pp.385-392,
Beijing, China, Dec. 3-5, 2008. (paper,
ppt)
-
Dong-Ah Lee, Jang-Soo Lee, Se-Woo
Cheon, and Junbeom Yoo, "Application of System-Theoretic Process Analysis to
Engineered Safety Features-Component Control System," Second STAMP Conference, MIT, March 26-28,
2013 (ppt)
-
Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo and
Jang-Soo Lee, "A Preliminary Report on Static Analysis of C Code for Nuclear
Reactor Protection System," Cybersecurity in Control and Safety Systems -
Invited Session, 2013 IFAC Conference on Manufacturing Modelling, Management,
and Control (MIM 2013), pp.2193-2198, June 19-21, Saint Petersburg, Russia,
2013. (paper,
ppt)
-
Junbeom Yoo and Sanghyun, "YooSQAF-DS: A
Software Quality Assessment Framework for Dependable Systems," The 37th Annual
International Computer Software & Applications Conference (COMPSAC 2013),
pp.724-725, July 22-26, Kyoto, Japan, 2013. (paper,
ppt)
¡¡
-
Technical Report
-
Sanghyun Yoon, "An ETRI CPS Modeling Language for Hybrid System
Simulation," Konkuk University, Dependable Software Lab. TR-DS-2015-01. (pdf)
¡¡
-
Patent
-
µî·Ï¹øÈ£,102495939, µî·ÏÀÏ,2023.01.31, Ãâ¿ø¹øÈ£,1020180052759, Ãâ¿øÀÏ,2018.05.08, »çÀ̹ö-ÇÇÁöÄà ½Ã½ºÅÛ
°³¹ßÀ» À§ÇÑ »ïÂ÷¿ø µðÀÚÀÎ ¸ðµ¨¸µ ÀåÄ¡ ¹× ¹æ¹ý, "À¯Áعü, ±è¹Î¿ì, ±èÀǼ·," Ãâ¿øÀÎ, °Ç±¹´ëÇб³ »êÇÐÇù·Â´Ü
(ƯÇãÁõ)
-
µî·Ï¹øÈ£,1016017410000, µî·ÏÀÏ,2016.03.03, Ãâ¿ø¹øÈ£,1020150092498, Ãâ¿øÀÏ,2015.06.29, ¼·Î ´Ù¸¥ ¾ð¾î·Î
ÀÛ¼ºµÈ ÇÁ·Î±×·¥µéÀÇ µ¿ÀϼºÀ» °ËÁõÇÏ´Â °ËÁõÀåÄ¡, "ÀÌ¿µÁØ, ÃÖÁ¾±Õ, ±èÀǼ·, À¯Áعü, À̵¿¾Æ," Ãâ¿øÀÎ,Çѱ¹¿øÀڷ¿¬±¸¿ø
(ƯÇãÁõ)
¡¡
-
Domestic Journal & Magazine
-
ÇãÀ±¾Æ, Á¤¼¼Áø, À¯Áعü, "¸ÖƼ ÀνºÅϽº¸¦ °®´Â °¡»ó¹°¸®½Ã½ºÅÛÀÇ ÅëÇÕ Å×½ºÆ®¸¦ À§ÇÑ Å×½ºÆ® ȯ°æ °³¹ß," Á¤º¸°úÇÐȸÁö, Á¦ 51±Ç, Á¦ 5È£,
pp.414-425, 2024. (paper)
-
Á¤¼¼Áø, ±èÀǼ·, À¯Áعü, "°¡»ó¹°¸®½Ã½ºÅÛÀÇ »êÃâ¹°°£ ÅëÇÕ °ü°èºÐ¼®À» À§ÇÑ ÃßÀû¼º ºÐ¼®," Á¤º¸°úÇÐȸÁö, Á¦ 48±Ç, Á¦ 1È£,
pp.107-118, 2021. (paper)
-
À±»óÇö, À¯Áعü, "ÇÏÀ̺긮µå ½Ã½ºÅÛ Á¤Çü °ËÁõ ºÐ¾ß ¼Ò°³ ¹× µ¿Çâ," Á¤º¸°úÇÐȸÁö, Á¦ 37±Ç, Á¦ 4È£, pp.49-55, 2019. (paper)
-
À̵¿¾Æ, À¯Áعü, "FMProjector: Ç¥ÁØ ÀÎÅÍÆäÀ̽º¸¦ ÁؼöÇÏ´Â ¿î¿µÃ¼Á¦¸¦ À§ÇÑ Á¤Çü °ËÁõ ÇÁ·¹ÀÓ¿öÅ©", Á¤º¸°úÇÐȸ³í¹®Áö
(submitted, 2019.4.)
-
Á¤¼¼Áø, À¯Áعü, "OSDEF: °´Ã¼ÁöÇâ ¼ÒÇÁÆ®¿þ¾î °³¹ß ½Ç½ÀÀ» À§ÇÑ ÅëÇÕ ÇÁ·¹ÀÓ¿öÅ©", Á¤º¸°úÇÐȸ³í¹®Áö, Vol.46, No.8,
pp.774-786, 2019. (paper)
-
Á¤¼¼Áø, À̵¿¾Æ, ±èÀǼ·, ÀåõÇö, À¯Áعü, "OOPT: ¼ÒÇÁÆ®¿þ¾î°øÇÐ ±³À°À» À§ÇÑ °´Ã¼ÁöÇâ ¼ÒÇÁÆ®¿þ¾î °³¹ß ¹æ¹ý·Ð,"Á¤º¸°úÇÐȸ³í¹®Áö, Á¦ 44±Ç,
Á¦ 5È£, pp.510-521, 2017. (paper)
-
±èÀ翱, ±èÀǼ·, À¯Áعü, ÀÌ¿µÁØ, ÃÖÁ¾±Õ, "FBDtoVHDL: FPGA °³¹ßÀ» À§ÇÑ FBD¿¡¼ VHDL·ÎÀÇ ÀÚµ¿ º¯È¯", Á¤º¸°úÇÐȸ³í¹®Áö :
¼ÒÇÁÆ®¿þ¾î ¹× ÀÀ¿ë , Á¦43±Ç, Á¦5È£, pp.569-578, 2016. (paper)
-
À±»óÇö, ÀüÀΰÉ, ±è¿øÅÂ, Á¶À翬, À¯Áعü, "ÇÏÀ̺긮µå ½Ã½ºÅÛÀ» ¸í¼¼Çϱâ À§ÇÑ ETRI CPS ¸ðµ¨¸µ ¾ð¾î," Á¤º¸°úÇÐȸ³í¹®Áö
: ½Ã½ºÅÛ ¹× ÀÌ·Ð, Á¦42±Ç, Á¦7È£, pp.823-833, 2015. (paper)
-
±èÀǼ·, À̵¿¾Æ, À¯Áعü, "RT-Selection: ÅØ½ºÆ® Â÷ÀÌÁ¡°ú º¯°æ ¿µÇ⠺м®À» ÀÌ¿ëÇÑ È¸±Í Å×½ºÆ® ¼±Åà ±â¹ý",
¼ÒÇÁÆ®¿þ¾î°øÇм¾ÅÍ, À¥Áø 108È£: ÀλçÀ̵å À̽´, 2014. (paper)
-
±èÀǼ·, À̵¿¾Æ, À¯Áعü, "RT-Selection: ÅØ½ºÆ® Â÷ÀÌÁ¡°ú º¯°æ ¿µÇ⠺м®À» ÀÌ¿ëÇÑ È¸±Í Å×½ºÆ® ¼±Åà ±â¹ý",
Á¤º¸°úÇÐȸ³í¹®Áö : ¼ÒÇÁÆ®¿þ¾î ¹× ÀÀ¿ë, Á¦41±Ç, Á¦6È£, pp.407-416, 2014. (paper)
-
À̵¿¾Æ, ±èÀǼ·, À¯Áعü, "¿øÀÚ·Â ¹ßÀü¼Ò I&C ½Ã½ºÅÛÀÇ ¾ÈÀü¼º ºÐ¼®À» À§ÇÑ
½Å±â¼ú Àû¿ë »ç·Ê", Á¤º¸°úÇÐȸÁö, Á¦31±Ç, Á¦5È£, p10-17, 2013. (paper)
-
±èÀǼ·, À±»óÇö, À¯Áعü, "¾ÈÀü Çʼö ½Ã½ºÅÛÀ» À§ÇÑ ¾ÈÀü¼º ºÐ¼® ±â¹ý,"
Áß¼Ò±â¾÷Á¤º¸±â¼úÀ¶ÇÕÇÐȸ ³í¹®Áö, Á¦2±Ç Á¦1È£, pp.11-18, 2012. (paper)
-
Á¶À翬, À¯Áعü, "ÇÏÀ̺긮µå ½Ã½ºÅÛ µµ±¸" Çѱ¹½Ã¹Ä·¹À̼ÇÇÐȸÁö 12¿ùÈ£, Vol.2, pp.19-25, 2011. (paper)
-
¹éÇüºÎ, À¯Áعü, Â÷¼º´ö, "NuSCR Á¤Çü ¿ä±¸»çÇ×¸í¼¼·ÎºÎÅÍ FBD ÇÁ·Î±×·¥
ÀÚµ¿»ý¼ºÀ» À§ÇÑ CASE µµ±¸" Á¤º¸°úÇÐȸ³í¹®Áö, ÄÄÇ»ÆÃÀÇ ½ÇÁ¦ ¹× ·¹ÅÍ, Á¦15±Ç Á¦4È£, pp.265-269, 4¿ù, 2009. (paper)
¡¡
-
Domestic Conference
-
ÀÌ¿µ±Ô, ±è´ë¿ø, ÇãÀ±¾Æ, À¯Áعü "¾ÈÀü Áß¿ä ºÐ¾ß¿¡¼ FPGA ±â¹Ý ½Ã½ºÅÛÀÇ È®ÀÎ ¹× °ËÁõ°ú À§Çè ºÐ¼®¿¡ °üÇÑ Á¶»ç ¿¬±¸", 2025 Çѱ¹
¼ÒÇÁÆ®¿þ¾î°øÇÐ Çмú´ëȸ (KCSE 2025), pp.62-70, ÇÑȸ®Á¶Æ® Æòâ, 01.20~01.22, 2025. (Paper, ppt)
-
ÇãÀ±¾Æ, À¯Áعü "STPA¸¦ Ȱ¿ëÇÑ Çù¾÷ °¡»ó¹°¸®½Ã½ºÅÛÀÇ ¾ÈÀü¼º Å×½ºÆ® ÄÉÀ̽º »ý¼º", 2024 Çѱ¹ ¼ÒÇÁÆ®¿þ¾î°øÇÐ Çмú´ëȸ (KCSE 2024),
pp.38-46, ÇÑȸ®Á¶Æ® Æòâ, 01.31~02.02, 2024. (Paper, ppt)
-
ÇãÀ±¾Æ, Á¤¼¼Áø, À¯Áعü "NuSCR Á¤Çü¸í¼¼ ¾ð¾î¸¦ »ç¿ëÇÏ´Â STPA Áö¿ø µµ±¸ °³¹ß", Çѱ¹¼ÒÇÁÆ®¿þ¾îÁ¾ÇÕÇÕÇмú´ëȸ (KSC 2021),
pp.206-208, Èִнº Æòâ, 12.20~12.22, 2021. (Paper, ppt)
-
¼Û½ÂÇö, Á¤¼¼Áø, À¯Áعü "NUREG/CR-6463 °¡À̵å¶óÀο¡ ´ëÇÑ Cppcheck Á¤Àû ºÐ¼® ±ÔÄ¢ ÁýÇÕ °³¹ß", Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇÕÇмú´ëȸ (KCC
2021), pp.1669-1671, ICC Á¦ÁÖ, 06.23-06.25, 2021. (Paper, ppt)
-
¼Û½ÂÇö, À̵¿¾Æ, À¯Áعü "FBD·ÎºÎÅÍ CÇÁ·Î±×·¥ ÄÚµù °¡À̵å¶óÀÎÀ» ÁؼöÇÏ´Â CÄÚµå º¯È¯±ÔÄ¢", Çѱ¹¼ÒÇÁÆ®¿þ¾îÁ¾ÇÕÇмú´ëȸ (KSC 2020),
pp.153-155, ¿Â¶óÀÎ °³ÃÖ, 12.21-12.23, 2020. (Paper, ppt)
-
ÇãÀ±¾Æ, À̵¿¾Æ, À¯Áعü "STPA-SecÀ» Ȱ¿ëÇÑ UAVÀÇ º¸¾È ¹× ¾ÈÀü ¿ä±¸»çÇ× ºÐ¼®", Çѱ¹¼ÒÇÁÆ®¿þ¾îÁ¾ÇÕÇмú´ëȸ (KSC 2020),
pp.183-185, ¿Â¶óÀÎ °³ÃÖ, 12.21-12.23, 2020. (Paper, ppt)
-
Á¤¼¼Áø, À¯Áعü "Relationships of Traceability Analysis for Integration of
Hazard Analysis Elements on Hierarchical Systems", Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇÕÇмú´ëȸ (KCC 2020), ¿Â¶óÀÎ °³ÃÖ, 07.02-07.04, 2020. (Paper, ppt)
-
Dong-Ah Lee, Junbeom Yoo, "A Model Projection Technique for
Compositional Verification using Model Checking", 2020 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2020), pp.184~186, °¿øµµ º¸±¤
ÈִнºÆÄÅ©, 02.03~02.05, 2020. (Paper, ppt)
-
±èÀǼ·, À¯Áعü, "STPA¸¦ ÀÌ¿ëÇÑ ±ºÁý ¿îÇà ½Ã½ºÅÛÀÇ ¾ÈÀü¼º ºÐ¼® »ç·Ê ¿¬±¸", 2020 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2020),
pp.193-196, °¿øµµ º¸±¤ ÈִнºÆÄÅ©, 02.03-02.05, 2020. (Paper, ppt)
-
Á¤¼¼Áø, ±èÀǼ·, À¯Áعü, "Safety Case ÆÐÅÏÀÇ ºÐ·ù Ä«Å×°í¸®¿¡ µû¸¥ ÀνºÅϽº »ý¼º", 2019 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ (KCC 2019),
Á¦ÁÖ ±¹Á¦ÄÁº¥¼Ç¼¾ÅÍ, 2019. (paper, ppt)
-
Á¤¼¼Áø, À¯Áعü, "À§Çصµ ºÐ¼® °á°úÀÇ È¿°úÀûÀÎ È®ÀÎÀ» À§ÇÑ ÃßÀû¼º ±â¹Ý À§Çصµ ¸ðµ¨", 2019 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2019),
pp.164-167, °¿øµµ ÈִнºÆÄÅ©, 01.28-01.30, 2019. (paper, ppt)
-
±èÀǼ·, À¯Áعü, "»çÀ̹ö-ÇÇÁöÄà ½Ã½ºÅÛÀÇ »óÈ£¿î¿ë¼º »óÃæ°ü°è ºÐ¼®¿¡ °üÇÑ ¿¬±¸", 2019 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2019),
pp.164-167, °¿øµµ ÈִнºÆÄÅ©, 01.28-01.30, 2019. (paper, ppt)
-
±èÀǼ·, ±è¹Î¿ì, À¯Áعü, "Áö´ÉÇü ±³Åë½Ã½ºÅÛÀÇ »çÀ̹ö¹°¸® ½Ã½ºÅÛÀ» À§ÇÑ ¿ä±¸»çÇ× ÃßÀû ¸ðµ¨ ¹× Áö¿øµµ±¸", Çѱ¹Á¤º¸°úÇÐȸ 2018
Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.580-582, Á¦ÁÖµµ ±¹Á¦ÄÁº¥¼Ç¼¾ÅÍ, 06.20-06.22, 2018. (paper, ppt)
-
Á¤¼¼Áø, ¼ÕÁØÀÍ, À¯Áعü, "¿øÀÚ·Â ¹ßÀü¼Ò ¾ÈÀü ¼ÒÇÁÆ®¿þ¾îÀÇ safety case pattern ÀÛ¼ºÀ» À§ÇÑ ¹®Çå ¸®ºä ±â¹ÝÀÇ pattern ÀÛ¼º
¹üÀ§ ºÐ·ù", Çѱ¹Á¤º¸°úÇÐȸ 2018 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.577-579, Á¦ÁÖµµ ±¹Á¦ÄÁº¥¼Ç¼¾ÅÍ, 6.20-6.22, 2018. (paper, ppt)
-
¼ÕÁØÀÍ, Á¤¼¼Áø, À¯Áعü "NuSCR Á¤Çü ¿ä±¸ ¸í¼¼¿¡¼ UML2.0 Activity DiagramÀ¸·ÎÀÇ º¯È¯ ±ÔÄ¢", Çѱ¹Á¤º¸°úÇÐȸ 2018
Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.577-579, Á¦ÁÖµµ ±¹Á¦ÄÁº¥¼Ç¼¾ÅÍ, 6.20-6.22, 2018. (paper, ppt)
-
¼ÕÁØÀÍ, Á¤¼¼Áø, À¯Áعü, ÀÌ¿µÁØ "NuSCPI: ¿øÀڷ¹ßÀü¼ÒÀÇ µðÁöÅÐ °èÃøÁ¦¾î ¼ÒÇÁÆ®¿þ¾î¸¦ ´ë»óÀ¸·Î °³¹ßµÈ Safety Case Pattern
ÀÛ¼ºÀ» À§ÇÑ CASE µµ±¸", Çѱ¹Á¤º¸°úÇÐȸ 2017 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.545-547, ºÎ»ê º¤½ºÄÚ, 12.20-12.22, 2017. (paper, ppt)
-
Á¤¼¼Áø, À¯Áعü, ÀÌÀå¼ö, "¿øÀÚ·Â ¹ßÀü¼Ò ¾ÈÀü Çʼö ½Ã½ºÅÛÀÇ FMEAºÐ¼® °á°úÀÇ ÀûÁ¤¼º Æò°¡¸¦ À§ÇÑ ÅÛÇø´", Çѱ¹Á¤º¸°úÇÐȸ 2017
Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.595-597, ºÎ»ê º¤½ºÄÚ, 12.20-12.22, 2017. (paper, ppt)
-
Sejin Jung, Eui-Sub Kim, Junbeom Yoo,Jong Yong Keum and Jang-Soo Lee "Hazard
Analysis of Software Requirements Specification for Process Module of FPGA-based Controllers in NPP",
Transactions of the Korean Nuclear Society Autumn Meeting, October 27-28, Gyeongju, Korea, 2016. (paper, ppt)
-
Eui-Sub Kim, Sejin Jung, Jaeyeob Kim and Junbeom Yoo, "MC/DC and Toggle
Coverage Measurement Tool for FBD Program Simulation", Transactions of the Korean Nuclear Society
Spring Meeting, May 12-13, Jeju, Korea, 2016. (paper, ppt)
-
±è¹Î¿ì, À̵¿¾Æ, À¯Áعü, ÀÌÀå¼ö, "NuSTPA : ¹ßÀü¼Òº¸È£°èÅëÀ» À§ÇÑ STPA ±â¹ÝÀÇ ¾ÈÀü¼º ºÐ¼® µµ±¸", 2016 Á¤º¸ ¹× Á¦¾î ½ÉÆ÷Áö¾ö
(ICS¡¯16), pp.64-65, ´Ü±¹´ëÇб³, 04.29~04.30, 2016. (paper, ppt)
-
À̵¿¾Æ, À¯Áعü, ÀÌÀå¼ö, "¿øÀÚ·Â °èÃøÁ¦¾î ¼ÒÇÁÆ®¿þ¾îÀÇ ¾ÈÀü¼º ºÐ¼®À» À§ÇÑ Safety Case ÀÇ Arguments °³¹ß
ÀýÂ÷", 2016 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2016), pp.476~477, °¿øµµ º¸±¤ ÈִнºÆÄÅ©, 2016. (¿ì¼ö´ÜÆí³í¹®, paper, ppt)
-
±èÀ翱, À̵¿¾Æ, À¯Áعü, "¼ÒÇÁÆ®¿þ¾î °³¹ß ÇÁ·Î¼¼½º¸¦ ´ë»óÀ¸·Î ¼öÇàÇÏ´Â ÃßÀû¼º ºÐ¼®ÀÇ ¼¼ºÎ °ü°è Á¤ÀÇ", 2016
Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2016), pp.409~411, °¿øµµ º¸±¤ ÈִнºÆÄÅ©, 2016. (paper, ppt)
-
±èÀ翱, ±èÀǼ·, À¯Áعü, ÀÌ¿µÁØ, ÃÖÁ¾±Õ, "FBDtoVHDL: FPGA °³¹ßÀ» À§ÇÑ FBD·ÎºÎÅÍ VHDL ÀÚµ¿ º¯È¯ µµ±¸", Çѱ¹Á¤º¸°úÇÐȸ
Á¦42ȸ µ¿°èÇмú¹ßǥȸ (KIISE 2015), pp 461-463, °¿øµµ ÈִнºÆÄÅ©, 12.17~12.19, 2015. (paper, ppt)
-
Á¤¼¼Áø, ±èÀǼ·, À¯Áعü, ÃÖÁ¾±Õ, ±èÀå¿, ÀÌÀå¼ö "IP Core library »ç¿ëÀÌ »ó¿ë ÇÕ¼º µµ±¸ÀÇ COTS SW Dedication¿¡
¹ÌÄ¡´Â ¿µÇ⠺м®", Çѱ¹Á¤º¸°úÇÐȸ Á¦42ȸ µ¿°èÇмú¹ßǥȸ (KIISE 2015), pp 499-502, °¿øµµ ÈִнºÆÄÅ©, 12.17~12.19, 2015. (paper, ppt)
-
Á¤¼¼Áø, ±èÀǼ·, À¯Áعü, ÃÖÁ¾±Õ, ±èÀå¿, "¿øÀڷ¹ßÀü¼Ò¿ë FPGA ±â¹Ý µðÁöÅÐ I&C ½Ã½ºÅÛ °³¹ß¿¡ »ç¿ëµÈ COTS ¼ÒÇÁÆ®¿þ¾îÀÇ ¾ÈÀü Ä«Å×°í¸®
ºÐ·ù", Çѱ¹Á¤º¸°úÇÐȸ 2015 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.561-563, Á¦ÁÖ´ë, 06.24-06.26, 2015. (¿ì¼ö³í¹®, paper, ppt)
-
±èÀǼ·, Á¤¼¼Áø, ±èÀ翱, À¯Áعü, ÀåõÇö, "Verilog4VIS-EC: VISÀÇ µ¿Ä¡¼º °Ë»ç¸¦ À§ÇÑ VerilogÀÇ Á¤Á¦µÈ Æ÷¸Ë",
Çѱ¹Á¤º¸°úÇÐȸ 2015 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.573-575, Á¦ÁÖ´ë, 06.24-06.26, 2015. (paper, ppt)
-
Eui-Sub Kim, Junbeom Yoo, Jong-Gyun Choi, Jang-Yeol Kim and Jang-Soo Lee, "A
Correctness Verification Technique for Commercial FPGA Synthesis Tools", Transactions of the Korean Nuclear
Society Autumn Meeting, pp.1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
-
Sejin Jung, Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee, "Programming
Guidelines for FBD Programs in Reactor Protection System Software", Transactions of the Korean Nuclear
Society Autumn Meeting, pp.1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
-
Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, "A Translator Verification Technique for
FPGA Software Development in Nuclear Power Plants", Transactions of the Korean Nuclear Society Autumn
Meeting, pp.1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper,
ppt)
-
±èÀ翱, À̵¿¾Æ, ¼¿µÁÖ, À¯Áعü, "NuSCRtoFBD 4.0: NuSCR Á¤Çü¸í¼¼¾ð¾î·ÎºÎÅÍ FPGA °³¹ß¿ë FBDÇÁ·Î±×·¥ ÀÚµ¿»ý¼º µµ±¸",
2014³â Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ ³í¹®Áý (KCC 2014), pp.1986-1988, ºÎ°æ´ëÇб³&ÇØ¿î´ë±×·£µåÈ£ÅÚ, 06.25-06.27, 2014. (paper, ppt)
-
±èÀǼ·, À̵¿¾Æ, À¯Áعü, "FBDtoVerilog º¯È¯±âÀÇ
Correctness¸¦ °ËÁõÇϱâ À§ÇÑ ÀÚµ¿ÈµÈ ½Ã³ª¸®¿À »ý¼º±â ±¸Çö," 2014³â Á¤º¸Ã³¸®ÇÐȸ Ãá°èÇмú¹ßÇ¥´ëȸ ³í¹®Áý Á¦21±Ç 1È£,
pp.599-602, 2014. (paper,
ppt)
-
¼¿µÁÖ, À̵¿¾Æ, À¯Áعü, "VerilogLinker: FPGA Á¦¾î±â¸¦ À§ÇÑ
ÅëÇÕ°³¹ßȯ°æ°ú »ó¿ë FPGA ÇÕ¼ºµµ±¸ÀÇ ¿¬µ¿," 2014³â Á¤º¸Ã³¸®ÇÐȸ Ãá°èÇмú¹ßÇ¥´ëȸ ³í¹®Áý Á¦21±Ç 1È£, pp.595-599,
2014. (paper,
ppt)
-
À̵¿¾Æ, ±èÀǼ·, ¼¿µÁÖ, À¯Áعü, "FBDEditor: ¿øÀÚ·Â °èÃøÁ¦¾î ½Ã½ºÅÛ
°³¹ßÀ» À§ÇÑ FBD ¼³°è ÇÁ·Î±×·¥," 2014 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2014), pp.315-318, °¿øµµ Æòâ
ÈִнºÆÄÅ©, 02.12-02.14, 2014. (paper,
ppt)
-
À±»óÇö, Á¶À翬, ÀüÀΰÉ, À¯Áعü, "HyTech¸¦ ÀÌ¿ëÇÑ ECML ¸ðµ¨ÀÇ °ËÁõ
¹× ºÐ¼®," 2014 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2014), pp.2-10, °¿øµµ Æòâ ÈִнºÆÄÅ©, 02.12-02.14,
2014. (paper,
ppt)
-
¼¿µÁÖ, À̵¿¾Æ, À¯Áعü, "Fault TreeÀÇ ÀúÀåÀ» À§ÇÑ ¹ü¿ëÀûÀÎ
ÇüÅÂÀÇ XML ½ºÅ°¸¶," Çѱ¹Á¤º¸°úÇÐȸ 2013 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, pp.592-594, ¿©¼ö, 6.26-6.28,
2013. (paper,
poster)
Çкλý ¿ì¼ö ³í¹®»ó
-
Jong-Joon Lee, Junbeom Yoo, Jong Gyun Choi
and Jang-Soo Lee, "Equivalence Checking between Pre-synthesis and
Post-synthesis Programs by Using Vis," Transactions of the Korean Nuclear
Society Spring Meeting 2013, 13S-10C-8A, May 30-31, Gwangju, Korea,
2013. (paper,
ppt)
-
±èÀǼ·, À̵¿¾Æ, À¯Áعü, "¹ø¿ª±â, ÄÚµå »ý¼º±â ¹× ÄÄÆÄÀÏ·¯¸¦ À§ÇÑ °ËÁõ±â¹ý
Á¶»ç," 2013 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2013), pp.43-51, °¿øµµ Æòâ ÈִнºÆÄÅ©, 03.30-02.01, 2013. (paper,
ppt)
-
À̵¿¾Æ, ±èÀǼ·, À¯Áعü, "°íÀå¼ö¸ñÀ» ÀÌ¿ëÇÑ Function Block
DiagramÀÇ À§Ç輺 ºÐ¼® ±â¹ý ¿¬±¸," Çѱ¹Á¤º¸°úÇÐȸ Á¦39ȸ Ãß°è¹ßǥȸ (KIISE 2012), Vol.39, No.2(B),
pp.76-78, Ãæ³²´ëÇб³, 11.23~11.24, 2012. (paper,
ppt)
-
À±»óÇö, Á¶À翬, À¯Áعü, "TC2SMV: UML State Chart
Diagram¿¡¼ »ý¼ºµÈ Å×½ºÆ® ÄÉÀ̽º¸¦ SMV ÀÔ·Â ÇÁ·Î±×·¥À¸·Î º¯È¯ÇÏ´Â CASE µµ±¸," Çѱ¹Á¤º¸°úÇÐȸ
2012 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, Vol.39, No.1(B), pp.126-128, Á¦ÁÖ, 6.27-6.29, 2012. (paper,
ppt)
-
Jong-Hoon Lee and Junbeom Yoo, "NuDE: Development
Environment for Safety-Critical Software of Nuclear Power Plant",
Transactions of the Korean Nuclear Society Spring Meeting 2012,
pp.1154-1155, May 16-18, Jeju, Korea,
2012. (paper,
ppt)
-
ÀÌÁ¾ÈÆ, À̵¿¾Æ, À¯Áعü, ¼Û½ÂÈ, ±èµÎÇö, "¼ÒÇÁÆ®¿þ¾î ¿ª°øÇÐÀ» ÅëÇÑ HeliScope OFPÀÇ Å×½ºÆ® ÄÉÀ̽º »ý¼º", 2012
Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ(KCSE
2012), °¿øµµ Æòâ ÈִнºÆÄÅ©, 2.8-2.10, 2012. (paper,
ppt)
-
À̵¿¾Æ, À¯Áعü, "pSET ÀúÀåÇü½ÄÀÇ Ç¥ÁØÈ¸¦ À§ÇÑ º¯È¯µµ±¸ °³¹ß: pSET2TC6", Çѱ¹Á¤º¸°úÇÐȸ Á¦38ȸ Ãß°èÇмú¹ßǥȸ
(KIISE 2011), Vol. 38, No.2(B), pp.105-107, 11.25.-11.26., ¼¿ï´ëÇб³, 2011. (paper,
ppt)
-
À±»óÇö, Á¶À翬, À¯Áعü, "°íÀå ¼ö¸ñÀ» ÀÌ¿ëÇÑ Å×½ºÆ® ÄÉÀ̽ºÀÇ ¾ÈÀü¼º ÃøÁ¤," Çѱ¹Á¤º¸°úÇÐȸ
2011 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, Vol.38, No.1(B), pp.197-199, °æÁÖ±³À°¹®Èȸ°ü, 6.30-7.2, 2011. (paper,
ppt)
-
Dong-Ah Lee, Jong-Hoon Lee and Junbeom Yoo,
"Verification Process of Behavioral Consistency between Design and
Implementation programs of pSET using HW-CBMC," Transactions of the Korean
Nuclear Society Spring Meeting 2011, pp.933-934, May 26-27, Taebaek, Korea,
2011. (paper, ppt)
-
ÀÌÁ¾ÈÆ, À̵¿¾Æ, À¯Áعü, "HELISCOPE Project ÀÇ ºñÇà ¿î¿ë
ÇÁ·Î±×·¥À» À§ÇÑ °ËÁõ ÀýÂ÷," 2011 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2011), pp.303-311, °¿øµµ Æòâ
ÈִнºÆÄÅ©,
2011. (paper,
ppt)
-
Á¶À翬, À±»óÇö, À¯Áعü, "NuSCRÀÇ °ËÁõÀ» À§ÇÑ Quick Checker
°³¼±," 2011 Çѱ¹¼ÒÇÁÆ®¿þ¾î°øÇÐÇмú´ëȸ (KCSE 2011), pp.393-400, °¿øµµ Æòâ ÈִнºÆÄÅ©, 2011. (paper,
ppt)
-
À¯Áعü, "ÇкλýÀ» À§ÇÑ Dependability ±³À° - SW Å×½ºÆÃ," Çѱ¹
¼ÒÇÁÆ®¿þ¾î°øÇбâ¼ú ÇÕµ¿ ¿öÅ©¼¥ 2010 (KSEJW 2010), pp.301-306, ¼¿ï ´©¸®²Þ½ºÄù¾î, 08.19-20, 2010. (paper,
ppt)
-
¾çÈñ¹®, À¯Áعü, Â÷¼º´ö, "±â¼úÀû ºÐ¼®À» ÀÌ¿ëÇÑ ÇÁ·ÎÁ§Æ® ºñ¿ë »êÁ¤ º¸Á¤
±â¹ý," Çѱ¹Á¤º¸°úÇÐȸ 2010 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, Vol.37, No.1(A), pp.82-83, Á¦ÁÖ´ë, 6.30-7.2,
2010. (¿ì¼ö³í¹® paper, ppt)
-
È«³ª¿µ, À¯Áعü, Â÷¼º´ö, "±¹³» ÀüÀÚ»ó°Å·¡ ±â¾÷ÀÇ ¿ÜÁÖ °³¹ß ÇÁ·ÎÁ§Æ®¿¡ Àû¿ëÇÑ
½ºÅ©·³ ¹æ¹ý·Ð »ç·Ê ¿¬±¸," Çѱ¹Á¤º¸°úÇÐȸ 2010 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, Vol.37, No.1(A), pp.64-65, Á¦ÁÖ´ë,
6.30-7.2, 2010. (¿ì¼ö³í¹® paper,
ppt)
-
À̵¿¾Æ, À±»óÇö, À̹«¿, ÁøÇö¿í, À¯Áعü, "SPINÀ» ÀÌ¿ëÇÑ Â÷·®¿ë MOST
Network Service ÇÁ·ÎÅäÄÝ ½ºÅà Á¤Çü°ËÁõ," Çѱ¹Á¤º¸°úÇÐȸ 2010 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, Vol.37, No.1(A),
pp.60-61, Á¦ÁÖ´ë, 6.30-7.2, 2010. (¿ì¼ö³í¹®
paper,
ppt)
-
Sanghyun Yun, Dong-Ah Lee and Junbeom Yoo, "NuFTA:
A CASE Tool for Automatic Software Fault Tree Analysis," Transactions of the
Korean Nuclear Society Spring Meeting 2010, pp.855-856, May
27-28, Pyeongchang, Korea, 2010. (paper,
ppt)
-
¿À¸íÁø, ±Ç½ÅÀÏ, À¯Áعü, Â÷¼º´ö, "À¥ ·Î±×¸¦ ÀÌ¿ëÇÑ ½Ç½Ã°£ ·Îº¿ ŽÁö
¾Ë°í¸®Áò," Çѱ¹Á¤º¸°úÇÐȸ 2009 Çѱ¹Á¤º¸°úÇÐȸ Ãß°èÇмú¹ßǥȸ, Vol.36, No.2(A), pp.138-139, ÀÌÈ¿©´ë,
11.27-28, 2009. (¿ì¼ö³í¹® paper)
-
¹ÚÁøÈñ, À¯Áعü, Â÷¼º´ö, "MAPPING TABLEÀ» ÀÌ¿ëÇÑ ±ÝÀ¶
PRODUCT FACTORY ºÐ¼® ±â¹ý," Çѱ¹Á¤º¸°úÇÐȸ 2009 Çѱ¹ÄÄÇ»ÅÍÁ¾ÇÕÇмú´ëȸ, Vol.36, No.1(B), pp.35-39,
Á¦ÁÖ´ë, 7.1-3, 2009. (paper)
-
À¯Áعü, "¿øÀڷ¹ßÀü¼Ò µðÁöÅÐ Á¦¾î±â±â¸¦ À§ÇÑ Á¤Çü±â¹ý ±â¹ÝÀÇ ¼ÒÇÁÆ®¿þ¾î °³¹ß
¹æ¹ý·Ð," 2008³â ´ëÇÑÀÓº£µðµå°øÇÐȸ Ãß°èÇмú¹ßǥȸ, pp.449-451, Á¦ÁÖ, 11.14-15, 2008. (paper,
ppt)
-
¹éÇüºÎ, À¯Áعü, Â÷¼º´ö, "NuSCR Á¤Çü ¿ä±¸»çÇ×¸í¼¼·ÎºÎÅÍ FBD ÇÁ·Î±×·¥
ÀÚµ¿»ý¼ºÀ» À§ÇÑ µµ±¸ (NuSCRtoFBD) °³¹ß," Çѱ¹Á¤º¸°úÇÐȸ Á¦35ȸ Ãß°èÇмú´ëȸ(KIISE 2008 Fall Conference),
Vol.35, No.2(A), pp.45-46, Áß¾Ó´ë, 10.24-25, 2008. (¿ì¼ö³í¹®
paper,
ppt)
-
Á¤¼¼ÈÆ, À¯Áعü, Â÷¼º´ö, "VIS Á¤Çü °ËÁõ ÀÚµ¿È¸¦ À§ÇÑ ¼ÒÇÁÆ®¿þ¾î VIS
Analyzer °³¹ß," Çѱ¹Á¤º¸°úÇÐȸ Á¦35ȸ Ãß°èÇмú´ëȸ(KIISE 2008 Fall Conference), Vol.35,
No.2(B), pp.1-5, Áß¾Ó´ë, 10.24-25, 2008. (paper,
ppt)
Old
Ones
Copyright notice: The documents
distributed by this web papers have been provided by the contributing authors
as a means to ensure timely dissemination of scholarly and technical work on a
noncommercial basis. Copyright and all rights therein are maintained by the
authors or by other copyright holders. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author
and copyright holder's copyright.
¡¡