default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEunkyoung Jee
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j18]John Eidar Simensen, Coralie Esnoul, Eunkyoung Jee, Ali Babar, Triet Huynh Minh Le, Awais Rashid:
Report on the 5th International Workshop on Engineering and Cybersecurity of Critical Systems and 2nd International Workshop on Software Vulnerability Management (EnCyCriS/SVM - 2024). ACM SIGSOFT Softw. Eng. Notes 49(4): 18-21 (2024)- [c26]Zelalem Mihret, Jakob Axelsson, Eunkyoung Jee, Doo-Hwan Bae:
Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement. SysCon 2024: 1-8 - 2023
- [j17]Sangwon Hyun
, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae:
Timed pattern-based analysis of collaboration failures in system-of-systems. J. Syst. Softw. 198: 111613 (2023) - [j16]Coralie Esnoul, Ricardo Colomo Palacios, Eunkyoung Jee, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae:
Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022). ACM SIGSOFT Softw. Eng. Notes 48(1): 81-84 (2023) - [j15]Coralie Esnoul, Mary Sánchez-Gordón, Eunkyoung Jee, Ricardo Colomo Palacios, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae:
Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023). ACM SIGSOFT Softw. Eng. Notes 48(4): 41-45 (2023) - [c25]Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee:
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. APSEC 2023: 386-395 - [c24]Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal:
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs. ISSRE 2023: 228-239 - 2022
- [j14]Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae:
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. Inf. Softw. Technol. 147: 106904 (2022) - [j13]Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae:
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software. Softw. Test. Verification Reliab. 32(8) (2022) - [c23]Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae:
Statistical verification using learned usages for evaluating energy-efficient mobile device design. SAC 2022: 960-963 - [c22]Eunho Cho, Gwangoo Yeo, Eunkyoung Jee, Doo-Hwan Bae:
Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning. SoSE 2022: 7-12 - [c21]May Myat Thwe, Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae:
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing. SoSE 2022: 317-322 - [c20]Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae:
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work. SoSE 2022: 333-338 - 2021
- [c19]Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee:
Metamorphic Testing for Reliability in System of Systems. APSEC 2021: 390-400
2010 – 2019
- 2019
- [c18]Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae:
Slicing executable system-of-systems models for efficient statistical verification. SESoS-WDES@ICSE 2019: 18-25 - [c17]Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae:
Data-driven environment modeling for adaptive system-of-systems. SAC 2019: 2044-2047 - 2018
- [j12]Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae:
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. Sci. Comput. Program. 163: 115-137 (2018) - [c16]Zelalem Mihret, Eunkyoung Jee, Young Min Baek, Doo-Hwan Bae:
A collaboration policy model for system of systems. SoSE 2018: 1-8 - 2017
- [j11]Hee-Jin Lee, Joon-Sang Lee, Eunkyoung Jee, Doo-Hwan Bae:
A User eXperience Evaluation Framework for Mobile Usability. Int. J. Softw. Eng. Knowl. Eng. 27(2): 235-280 (2017) - [c15]Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae:
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. APSEC 2017: 546-551 - 2016
- [j10]Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae:
Comprehensive analysis of FBD test coverage criteria using mutants. Softw. Syst. Model. 15(3): 631-645 (2016) - [j9]Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae:
Timing consistency checking for UML/MARTE behavioral models. Softw. Qual. J. 24(3): 835-876 (2016) - [c14]Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae:
Automated Test Sequence Generation for Function Block Diagram Programs. APSEC 2016: 305-312 - [c13]Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae:
A runtime verification framework for dynamically adaptive multi-agent systems. BigComp 2016: 509-512 - [c12]Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae:
Modeling and verification for different types of system of systems using PRISM. SESoS@ICSE 2016: 12-18 - 2015
- [c11]Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae:
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. COMPSAC 2015: 216-221 - 2014
- [j8]Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae:
Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test. Verification Reliab. 24(8): 608-628 (2014) - [c10]Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae:
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. SAC 2014: 1140-1145 - 2012
- [j7]Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian:
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - [c9]Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae:
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. MoDELS 2012: 465-479 - [c8]Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae:
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. SERE 2012: 118-127 - 2010
- [j6]Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong:
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. J. Res. Pract. Inf. Technol. 42(3): 171-188 (2010) - [j5]Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig:
Means-ends and whole-part traceability analysis of safety requirements. J. Syst. Softw. 83(9): 1612-1621 (2010) - [j4]Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig:
Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621]. J. Syst. Softw. 83(12): 2664 (2010) - [c7]Eunkyoung Jee, Insup Lee, Oleg Sokolsky:
Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) 2010: 343-356 - [c6]Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee:
A Safety-Assured Development Approach for Real-Time Software. RTCSA 2010: 133-142 - [c5]Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee:
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. SAFECOMP 2010: 223-236
2000 – 2009
- 2009
- [j3]Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae:
A data flow-based structural testing technique for FBD programs. Inf. Softw. Technol. 51(7): 1131-1139 (2009) - [j2]Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha:
Formal Modeling and Verification of Safety-Critical Software. IEEE Softw. 26(3): 42-49 (2009) - 2008
- [c4]Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee:
A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392 - 2007
- [c3]Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh:
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. SAFECOMP 2007: 148-161 - 2006
- [c2]Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon:
Testing of Timer Function Blocks in FBD. APSEC 2006: 243-250 - 2005
- [c1]Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha:
Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80 - 2003
- [j1]Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong:
Systematic evaluation of fault trees using real-time model checker UPPAAL. Reliab. Eng. Syst. Saf. 82(1): 11-20 (2003)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 21:31 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:
