| A meta-model for representing system-of-systems ontologies YM Baek, J Song, YJ Shin, S Park, DH Bae Proceedings of the 6th International Workshop on Software Engineering for …, 2018 | 29 | 2018 |
| Modeling and verification for different types of system of systems using prism D Seo, D Shin, YM Baek, J Song, W Yun, J Kim, E Jee, DH Bae Proceedings of the 4th International Workshop on Software Engineering for …, 2016 | 25 | 2016 |
| FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states J Song, E Jee, DH Bae Science of Computer Programming 163, 115-137, 2018 | 22 | 2018 |
| Statistical verification framework for platooning system of systems with uncertainty S Hyun, J Song, S Shin, DH Bae 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 212-219, 2019 | 11 | 2019 |
| Automated test sequence generation for function block diagram programs J Song, E Jee, DH Bae 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 305-312, 2016 | 11 | 2016 |
| Timed pattern-based analysis of collaboration failures in system-of-systems S Hyun, J Song, E Jee, DH Bae Journal of Systems and Software 198, 111613, 2023 | 6 | 2023 |
| Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing J Song, J Kang, S Hyun, E Jee, DH Bae Information and Software Technology 147, 106904, 2022 | 6 | 2022 |
| Pattern-based analysis of interaction failures in systems-of-systems: A case study on platooning S Hyun, J Song, S Shin, YM Baek, DH Bae 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 326-335, 2020 | 6 | 2020 |
| Uncertainty based fault type identification for fault knowledge base generation in system of systems S Shin, S Hyun, Y Shin, J Song, DH Bae 2021 16th International Conference of System of Systems Engineering (SoSE …, 2021 | 3 | 2021 |
| Slicing executable system-of-systems models for efficient statistical verification J Song, JO Tørring, S Hyun, E Jee, DH Bae 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems …, 2019 | 3 | 2019 |
| Sos gap slicer: Slicing sos goal and prism models for change-responsive verification of sos J Song, YM Baek, M Jin, E Jee, DH Bae 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 546-551, 2017 | 3 | 2017 |
| Timed Pattern-Based Analysis of Failure-Inducing Interactions in Platooning System-of-Systems S Hyun, E Jee, J Song, DH Bae Available at SSRN 4057041, 0 | 1 | |
| Timed pattern based analysis of collaboration failures in platooning system of systems BAE Doo-Hwan, S Hyun, S Jiyoung, EK Jee US Patent App. 18/319,875, 2024 | | 2024 |
| Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study J Song, DH Bae Journal of Systems and Software 206, 111840, 2023 | | 2023 |
| Statistical verification using learned usages for evaluating energy-efficient mobile device design J Song, Y Jung, C Cho, E Jee, DH Bae Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 960-963, 2022 | | 2022 |
| Mobile Device Battery Consumption Analysis Techniques: Evaluation and Future Direction J Song, C Cho, Y Jung, E Jee, DH Bae Journal of Software Engineering Society 27 (1), 1-7, 2018 | | 2018 |
| SESoS 2018 YM Baek, J Song, YJ Shin, S Park, DH Bae, T Bouziat, V Camps, ... | | |
| Timed Pattern-Based Analysis of Collaboration Failures In Platooning System-of-Systems S Hyun, J Song, E Jee, DH Bae Available at SSRN 4197677, 0 | | |
