조직
자료 필터
자료유형
발행연도
2002 ~ 2026
2002 2026
키워드
언어
전체 18건 중 1번부터 10번까지의 결과를 표시합니다.
2026
Article
On-the-fly repair of multi-variable atomicity violations in airborne software
- Bae, Changhui ;
- Choi, Euteum ;
- Ha, Ok-Kyoon ;
- Jun, Yong-Kee ;
- Lee, Seongjin
- 2026-09
- Journal of Systems and Software
- ELSEVIER SCIENCE INC
2025
Article
무인항공기 시스템의 건전성 관리를 위한 소프트웨어 수행 오류 진단
- Park, Jinseok ;
- Lee, Keon-Pyo ;
- Choi, Euteum ;
- Jun, Yong-Kee ;
- Lee, Seongjin
- 2025-04
- 한국항공우주학회지
- 한국항공우주학회
2023
Article
Student Dropout Prediction for University with High Precision and Recall
- Kim, Sangyun ;
- Choi, Euteum ;
- Jun, Yong-Kee ;
- Lee, Seongjin
- 2023-05
- Applied Sciences-basel
- MDPI
Article
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations
- Bae, Chang-Hui ;
- Choi, Euteum ;
- Jun, Yong-Kee ;
- Ha, O.-K.
- 2023-01
- IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW
- Institute of Electrical and Electronics Engineers Inc.
2022
Article
On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software
- Choi, Eu-teum ;
- Kim, Tae-hyung ;
- Jun, Yong-Kee ;
- Lee, Seongjin ;
- Han, Mingyun
- 2022-02
- Applied Sciences-basel
- MDPI
Article
Architectural Process for Flight Control Software of Unmanned Aerial Vehicle with Module-Level Portability
- Jargalsaikhan, TSogbayar ;
- Lee, Keonpyo ;
- Jun, Yong-Kee ;
- Lee, Seongjin
- 2022-02
- Aerospace (Basel)
- MDPI AG
2021
Article
Multi-disciplinary Optimization of Wing Sandwich Structure using Proper Orthogonal Decomposition and Automatic Machine Learning
- Kim, Young Sang ;
- Park, Chanwoo
- 2021-10
- International Journal of Aeronautical and Space Sciences
- The Korean Society for Aeronautical & Space Sciences
Article
Development of Feedback Data Automated Verification Program for Mission S/W
- Kwon, Gi-Bong ;
- Lee, Ha-Yoeun ;
- Ha, Seok-Wun
- 2021-10
- 한국항공우주학회지
- KOREAN SOC AERONAUTICAL & SPACE SCIENCES
1