Showing results 1 to 20 of 20
A collaboration policy model for system of systems Mihret, B. Zelalem; Jee, Eunkyoung; Baek, Young-Min; Bae, Doo-Hwan, 13th System of Systems Engineering Conference (SoSE), pp.1 - 8, IEEE, 2018-06 |
A runtime verification framework for dynamically adaptive multi-agent systems Lim, Yoo Jin; Hong, Gwangui; Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-Hwan, International Conference on Big Data and Smart Computing, BigComp 2016, pp.509 - 512, Institute of Electrical and Electronics Engineers Inc., 2016-01 |
A User eXperience Evaluation Framework for Mobile Usability Lee, Hee Jin; Lee, Joon-Sang; Jee, Eunkyoung; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.2, pp.235 - 279, 2017-03 |
A User eXperience Evaluation Framework for Mobile Usability Lee, Hee Jin; Lee, Joon-Sang; Jee, Eunkyoung; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.2, pp.235 - 279, 2017-03 |
Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning Cho, Eunho; Yeo, Gwangoo; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.7 - 12, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
Automated test sequence generation for function block diagram programs Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, pp.305 - 312, IEEE Computer Society, 2016-12 |
Comprehensive analysis of FBD test coverage criteria using mutants Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE AND SYSTEMS MODELING, v.15, no.3, pp.631 - 645, 2016-07 |
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing Song, Jiyoung; Kang, Jeehoon; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07 |
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing Thwe, May Myat; Belay, Zelalem Mihret; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.317 - 322, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems Lim, Yoo Jin; Jee, Eunkyoung; Shin, Donghwan; Bae, Doo-Hwan, The 39th Annual International Computers, Software & Applications Conference, pp.216 - 221, IEEE Computer Society, 2015-07-03 |
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10 |
Metamorphic Testing for Reliability in System of Systems Chua, Kiat Kian Anthony; Bae, Doo-Hwan; Jee, Eunkyoung, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), pp.390 - 400, IEEE, 2021-12 |
Modeling and verification for different types of system of systems using PRISM Seo, Dongwon; Shin, Donghwan; Baek, Young-Min; Song, Jiyoung; Yun, Wonkyung; Kim, Junho; Jee, Eunkyoung; et al, 4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18, Association for Computing Machinery, Inc, 2016-05-16 |
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12 |
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work Mihret, Zelalem; Jee, Eunkyoung; Bae, Doo-Hwan, 2022 17th Annual System of Systems Engineering Conference (SOSE), pp.333 - 338, Institute of Electrical and Electronics Engineers Inc., 2022-06-09 |
Slicing Executable System-of-Systems Models for Efficient Statistical Verification Song, Jiyoung; Torring, Jacob O.; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, ICSE Joint Conference on IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems / 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS-WDES), pp.18 - 25, ASSOC COMPUTING MACHINERY, 2019-05 |
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS Song, Jiyoung; Baek, Young-Min; Jin, Mingyu; Jee, Eunkyoung; Bae, Doo-Hwan, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, pp.546 - 551, IEEE Computer Society, 2017-12 |
Statistical verification using learned usages for evaluating energy-efficient mobile device design Song, Jiyoung; Jung, Youlim; Cho, Chiwoo; Jee, Eunkyoung; Bae, Doo-Hwan, 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022, pp.960 - 963, Association for Computing Machinery, 2022-04-25 |
Timed pattern-based analysis of collaboration failures in system-of-systems Hyun, Sangwon; Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.198, 2023-04 |
Timing consistency checking for UML/MARTE behavioral models Choi, Jinho; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE QUALITY JOURNAL, v.24, no.3, pp.835 - 876, 2016-09 |
Discover