Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eunkyoung Jee
@article{DBLP:journals/jss/HyunSJB23,
author = {Sangwon Hyun and
Jiyoung Song and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Timed pattern-based analysis of collaboration failures in system-of-systems},
journal = {J. Syst. Softw.},
volume = {198},
pages = {111613},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2023.111613},
doi = {10.1016/J.JSS.2023.111613},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/HyunSJB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/EsnoulPJCSB23,
author = {Coralie Esnoul and
Ricardo Colomo Palacios and
Eunkyoung Jee and
Sabarathinam Chockalingam and
John Eidar Simensen and
Doo{-}Hwan Bae},
title = {Report on the 3rd International Workshop on Engineering and Cybersecurity
of Critical Systems (EnCyCriS - 2022)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {1},
pages = {81--84},
year = {2023},
url = {https://doi.org/10.1145/3573074.3573095},
doi = {10.1145/3573074.3573095},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/EsnoulPJCSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/EsnoulSJPCSB23,
author = {Coralie Esnoul and
Mary S{\'{a}}nchez{-}Gord{\'{o}}n and
Eunkyoung Jee and
Ricardo Colomo Palacios and
Sabarathinam Chockalingam and
John Eidar Simensen and
Doo{-}Hwan Bae},
title = {Report on the 4th International Workshop on Engineering and Cybersecurity
of Critical Systems (EnCyCriS - 2023)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {4},
pages = {41--45},
year = {2023},
url = {https://doi.org/10.1145/3617946.3617954},
doi = {10.1145/3617946.3617954},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/EsnoulSJPCSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/EunJBKL23,
author = {Hyeongseok Eun and
Eunkyoung Jee and
Doo{-}Hwan Bae and
Younggeul Kim and
Yoonhee Lee},
title = {Automated Simulation-Based Integration Testing for Multiple PLCs in
a Reactor Protection System},
booktitle = {30th Asia-Pacific Software Engineering Conference, {APSEC} 2023, Seoul,
Republic of Korea, December 4-7, 2023},
pages = {386--395},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/APSEC60848.2023.00049},
doi = {10.1109/APSEC60848.2023.00049},
timestamp = {Wed, 10 Apr 2024 20:58:45 +0200},
biburl = {https://dblp.org/rec/conf/apsec/EunJBKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/QuerejetaJLVAR23,
author = {Miriam Ugarte Querejeta and
Eunkyoung Jee and
Lingjun Liu and
Pablo Valle and
Aitor Arrieta and
Miren Illarramendi Rezabal},
title = {Search-based Test Case Selection for {PLC} Systems using Functional
Block Diagram Programs},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {228--239},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00040},
doi = {10.1109/ISSRE59848.2023.00040},
timestamp = {Tue, 14 Nov 2023 16:09:47 +0100},
biburl = {https://dblp.org/rec/conf/issre/QuerejetaJLVAR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SongKHJB22,
author = {Jiyoung Song and
Jeehoon Kang and
Sangwon Hyun and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Continuous verification of system of systems with collaborative {MAPE-K}
pattern and probability model slicing},
journal = {Inf. Softw. Technol.},
volume = {147},
pages = {106904},
year = {2022},
url = {https://doi.org/10.1016/j.infsof.2022.106904},
doi = {10.1016/J.INFSOF.2022.106904},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/SongKHJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LiuJB22,
author = {Lingjun Liu and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {MuFBDTester: {A} mutation-based test sequence generator for {FBD}
programs implementing nuclear power plant software},
journal = {Softw. Test. Verification Reliab.},
volume = {32},
number = {8},
year = {2022},
url = {https://doi.org/10.1002/stvr.1815},
doi = {10.1002/STVR.1815},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/LiuJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SongJCJB22,
author = {Jiyoung Song and
Youlim Jung and
Chiwoo Cho and
Eunkyoung Jee and
Doo{-}Hwan Bae},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Statistical verification using learned usages for evaluating energy-efficient
mobile device design},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {960--963},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507167},
doi = {10.1145/3477314.3507167},
timestamp = {Wed, 11 May 2022 08:59:01 +0200},
biburl = {https://dblp.org/rec/conf/sac/SongJCJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/ChoYJB22,
author = {Eunho Cho and
Gwangoo Yeo and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical
System of Systems Using Reinforcement Learning},
booktitle = {17th Annual System of Systems Engineering Conference, {SOSE} 2022,
Rochester, NY, USA, June 7-11, 2022},
pages = {7--12},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SOSE55472.2022.9812671},
doi = {10.1109/SOSE55472.2022.9812671},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/ChoYJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/ThweMJB22,
author = {May Myat Thwe and
Zelalem Mihret and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Cybersecurity Vulnerability Identification in System-of-Systems using
Model-based Testing},
booktitle = {17th Annual System of Systems Engineering Conference, {SOSE} 2022,
Rochester, NY, USA, June 7-11, 2022},
pages = {317--322},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SOSE55472.2022.9812676},
doi = {10.1109/SOSE55472.2022.9812676},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/ThweMJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/MihretJB22,
author = {Zelalem Mihret and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Simulation-based Recommendation Generation for Heterogeneous Systems
Participating in a Collaborative Work},
booktitle = {17th Annual System of Systems Engineering Conference, {SOSE} 2022,
Rochester, NY, USA, June 7-11, 2022},
pages = {333--338},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SOSE55472.2022.9812643},
doi = {10.1109/SOSE55472.2022.9812643},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/MihretJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChuaBJ21,
author = {Kiat Kian Anthony Chua and
Doo{-}Hwan Bae and
Eunkyoung Jee},
title = {Metamorphic Testing for Reliability in System of Systems},
booktitle = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
Taiwan, December 6-9, 2021},
pages = {390--400},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APSEC53868.2021.00046},
doi = {10.1109/APSEC53868.2021.00046},
timestamp = {Wed, 23 Feb 2022 18:55:47 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChuaBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SongTHJB19,
author = {Jiyoung Song and
Jacob O. T{\o}rring and
Sangwon Hyun and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Slicing executable system-of-systems models for efficient statistical
verification},
booktitle = {Proceedings of the 7th International Workshop on Software Engineering
for Systems-of-Systems and 13th Workshop on Distributed Software Development,
Software Ecosystems and Systems-of-Systems, SESoS-WDES 2019, Montreal,
QC, Canada, May 28, 2019},
pages = {18--25},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SESoS/WDES.2019.00011},
doi = {10.1109/SESOS/WDES.2019.00011},
timestamp = {Mon, 12 Jul 2021 15:46:54 +0200},
biburl = {https://dblp.org/rec/conf/icse/SongTHJB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ShinBJB19,
author = {Yong{-}Jun Shin and
Young Min Baek and
Eunkyoung Jee and
Doo{-}Hwan Bae},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Data-driven environment modeling for adaptive system-of-systems},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2044--2047},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297618},
doi = {10.1145/3297280.3297618},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
biburl = {https://dblp.org/rec/conf/sac/ShinBJB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SongJB18,
author = {Jiyoung Song and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {FBDTester 2.0: Automated test sequence generation for {FBD} programs
with internal memory states},
journal = {Sci. Comput. Program.},
volume = {163},
pages = {115--137},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.04.005},
doi = {10.1016/J.SCICO.2018.04.005},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SongJB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/MihretJBB18,
author = {Zelalem Mihret and
Eunkyoung Jee and
Young Min Baek and
Doo{-}Hwan Bae},
title = {A collaboration policy model for system of systems},
booktitle = {13th Annual Conference on System of Systems Engineering, SoSE 2018,
Paris, France, June 19-22, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYSOSE.2018.8428699},
doi = {10.1109/SYSOSE.2018.8428699},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sysose/MihretJBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LeeLJB17,
author = {Hee{-}Jin Lee and
Joon{-}Sang Lee and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {A User eXperience Evaluation Framework for Mobile Usability},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {27},
number = {2},
pages = {235--280},
year = {2017},
url = {https://doi.org/10.1142/S0218194017500097},
doi = {10.1142/S0218194017500097},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/LeeLJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SongBJJB17,
author = {Jiyoung Song and
Young Min Baek and
Mingyu Jin and
Eunkyoung Jee and
Doo{-}Hwan Bae},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {SoS GaP Slicer: Slicing SoS Goal and {PRISM} Models for Change-Responsive
Verification of SoS},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {546--551},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.63},
doi = {10.1109/APSEC.2017.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SongBJJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ShinJB16,
author = {Donghwan Shin and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Comprehensive analysis of {FBD} test coverage criteria using mutants},
journal = {Softw. Syst. Model.},
volume = {15},
number = {3},
pages = {631--645},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0428-y},
doi = {10.1007/S10270-014-0428-Y},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ShinJB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/ChoiJB16,
author = {Jinho Choi and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Timing consistency checking for {UML/MARTE} behavioral models},
journal = {Softw. Qual. J.},
volume = {24},
number = {3},
pages = {835--876},
year = {2016},
url = {https://doi.org/10.1007/s11219-015-9290-6},
doi = {10.1007/S11219-015-9290-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/ChoiJB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SongJB16,
author = {Jiyoung Song and
Eunkyoung Jee and
Doo{-}Hwan Bae},
editor = {Alex Potanin and
Gail C. Murphy and
Steve Reeves and
Jens Dietrich},
title = {Automated Test Sequence Generation for Function Block Diagram Programs},
booktitle = {23rd Asia-Pacific Software Engineering Conference, {APSEC} 2016, Hamilton,
New Zealand, December 6-9, 2016},
pages = {305--312},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/APSEC.2016.050},
doi = {10.1109/APSEC.2016.050},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/SongJB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigcomp/LimHSJB16,
author = {Yoo Jin Lim and
Gwangui Hong and
Donghwan Shin and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {A runtime verification framework for dynamically adaptive multi-agent
systems},
booktitle = {2016 International Conference on Big Data and Smart Computing, BigComp
2016, Hong Kong, China, January 18-20, 2016},
pages = {509--512},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BIGCOMP.2016.7425981},
doi = {10.1109/BIGCOMP.2016.7425981},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigcomp/LimHSJB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SeoSBSYKJB16,
author = {Dongwon Seo and
Donghwan Shin and
Young Min Baek and
Jiyoung Song and
Wonkyung Yun and
Junho Kim and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Modeling and verification for different types of system of systems
using {PRISM}},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
for Systems-of-Systems, SESoS@ICSE 2016, Austin, Texas, USA, May 14-22,
2016},
pages = {12--18},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897829.2897833},
doi = {10.1145/2897829.2897833},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SeoSBSYKJB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LimJSB15,
author = {Yoo Jin Lim and
Eunkyoung Jee and
Donghwan Shin and
Doo{-}Hwan Bae},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive
Systems},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {216--221},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.131},
doi = {10.1109/COMPSAC.2015.131},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LimJSB15.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}
}
@inproceedings{DBLP:conf/sac/NguyenJ0B14,
author = {Minh Chau Nguyen and
Eunkyoung Jee and
Jinho Choi and
Doo{-}Hwan Bae},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Automatic construction of timing diagrams from {UML/MARTE} models
for real-time embedded software},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1140--1145},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555011},
doi = {10.1145/2554850.2555011},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/NguyenJ0B14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/LeeSCHJKKMPRV12,
author = {Insup Lee and
Oleg Sokolsky and
Sanjian Chen and
John Hatcliff and
Eunkyoung Jee and
BaekGyu Kim and
Andrew L. King and
Margaret Mullen{-}Fortino and
Soojin Park and
Alex Roederer and
Krishna K. Venkatasubramanian},
title = {Challenges and Research Directions in Medical Cyber-Physical Systems},
journal = {Proc. {IEEE}},
volume = {100},
number = {1},
pages = {75--90},
year = {2012},
url = {https://doi.org/10.1109/JPROC.2011.2165270},
doi = {10.1109/JPROC.2011.2165270},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/LeeSCHJKKMPRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ShinJB12,
author = {Donghwan Shin and
Eunkyoung Jee and
Doo{-}Hwan Bae},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {Empirical Evaluation on {FBD} Model-Based Test Coverage Criteria Using
Mutation Analysis},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {465--479},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_30},
doi = {10.1007/978-3-642-33666-9\_30},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/ShinJB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ChoiJB12,
author = {Jinho Choi and
Eunkyoung Jee and
Doo{-}Hwan Bae},
title = {Toward Systematic Construction of Timing Diagrams from {UML/MARTE}
Behavioral Models for Time-Triggered Embedded Software},
booktitle = {Sixth International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012},
pages = {118--127},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SERE.2012.24},
doi = {10.1109/SERE.2012.24},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ChoiJB12.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/jss/LeeKJR10,
author = {Jang{-}Soo Lee and
Vikash Katta and
Eunkyoung Jee and
Christian Raspotnig},
title = {Means-ends and whole-part traceability analysis of safety requirements},
journal = {J. Syst. Softw.},
volume = {83},
number = {9},
pages = {1612--1621},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2009.08.022},
doi = {10.1016/J.JSS.2009.08.022},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LeeKJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LeeKJR10a,
author = {Jang{-}Soo Lee and
Vikash Katta and
Eunkyoung Jee and
Christian Raspotnig},
title = {Erratum to "Means-ends and whole-part traceability analysis of
safety requirements" {[J.} Syst. Software 83 {(2010)} 1612-1621]},
journal = {J. Syst. Softw.},
volume = {83},
number = {12},
pages = {2664},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2010.07.051},
doi = {10.1016/J.JSS.2010.07.051},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LeeKJR10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JeeLS10,
author = {Eunkyoung Jee and
Insup Lee and
Oleg Sokolsky},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assurance Cases in Model-Driven Development of the Pacemaker Software},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {343--356},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_33},
doi = {10.1007/978-3-642-16561-0\_33},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/JeeLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/JeeWKLSL10,
author = {Eunkyoung Jee and
Shaohui Wang and
Jeong{-}Ki Kim and
Jaewoo Lee and
Oleg Sokolsky and
Insup Lee},
title = {A Safety-Assured Development Approach for Real-Time Software},
booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
2010},
pages = {133--142},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTCSA.2010.42},
doi = {10.1109/RTCSA.2010.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/JeeWKLSL10.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}
}
@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/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/safecomp/ParkLCKJK07,
author = {Gee{-}Yong Park and
Jang{-}Soo Lee and
Se Woo Cheon and
Kee{-}Choon Kwon and
Eunkyoung Jee and
Kwang Yong Koh},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Safety Analysis of Safety-Critical Software for Nuclear Digital Protection
System},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {148--161},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_15},
doi = {10.1007/978-3-540-75101-4\_15},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ParkLCKJK07.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/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/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:31 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:
