Browse "School of Computing(전산학부)" by Author Jee, Eunkyoung

Showing results 1 to 20 of 20

1
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

2
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

3
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

4
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

5
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

6
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

7
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

8
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

9
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

10
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

11
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

12
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

13
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

14
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

15
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

16
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

17
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

18
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

19
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

20
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0