Research Area
- Model-based Software Design, Automatic Software Synthesis, Embedded Software Development
-
Woosuk Kang, EunJin Jeong, Kyonghwan Yoon, Soonhoi Ha,
"A Framework for Multi-Robot Programming: From High-Level Specification to Retargetable Deployment," ACM Transactions on Embedded Computing Systems,
Vol. 24, pp. 1-45, Oct, 2025.
-
Kyonghwan Yoon, EunJin Jeong, Woosuk Kang, Jonghyun Choe, Soonhoi Ha,
"Worst case response time analysis for completely fair scheduling in Linux systems," Real-Time Systems,
pp. 1-41, Mar, 2025.
-
Soonhoi Ha, EunJin Jeong,
"Sotware Optimization and Design Methodology for Low Power Computer Vision Systems," ACM Transactions on Embedded Computing Systems,
Jul, 2024.
-
Woosuk Kang, EunJin Jeong, Sungjun Shim, Soonhoi Ha,
"Optimization of Task Allocation for Resource-Constrained Swarm Robots," IEEE Transactions on Automation Science and Engineering,
Vol. 22, pp. 3068-3085, Apr, 2024.
-
Woosuk Kang, EunJin Jeong, Kyonghwan Yoon, Soonhoi Ha,
"Software Synthesis From High-level Specification for Swarm Robotic Applications," IEEE Embedded Systems Letters,
Vol. 16, pp. 243-246, Dec, 2023.
-
Kyonghwan Yoon, EunJin Jeong, Woosuk Kang, Soonhoi Ha,
"Memory Usage Estimation for Dataflow Model-based Software Development Methodology," IEEE Design & Test,
Vol. 42, Issue 1, pp. 60-69, Jun, 2023.
-
EunJin Jeong, Jangryul Kim, Soonhoi Ha,
"TensorRT-based Framework and Optimization Methodology for Deep Learning Inference on Jetson Boards," ACM Transactions on Embedded Computing Systems,
Vol. 21, Issue 5, Article No. 51, pp. 1-26, Sep, 2022.
-
EunJin Jeong, Jangryul Kim, Samnieng Tan, Jaeseong Lee, Soonhoi Ha,
"Deep Learning Inference Parallelization on Heterogeneous Processors with TensorRT," IEEE Embedded Systems Letters,
Vol. 14, Issue 1, pp. 15-18, Mar, 2022.
-
EunJin Jeong, Dowhan Jeong, Soonhoi Ha,
"Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded Systems," ACM Transactions on Design Automation of Electronic Systems,
Vol. 26. Issue 5, pp. 1-38, Jun, 2021.
-
Soonhoi Ha, EunJin Jeong,
"Embedded Software Design Methodology Based on Formal Models of Computation," Lecture Notes in Computer Science,
Vol. 10760, pp. 306-325, Jul, 2018.
-
강우석, 정은진, 윤태준, 허석행, 하순회,
"군집 로봇 운용을 위한 상위 수준 프로그래밍 언어 조사," Journal of KIISE,
Vol. 49, No. 11, pp. 939-947, Nov, 2022.
-
손재우, 김장률, 정은진, 하순회,
"모델 기반 소프트웨어 개발 프레임워크에서의 보안 통신 코드 자동 생성," KIISE Transactions on Computing Practices,
Vol. 49, No. 9, pp. 669-676, Sep, 2022.
-
HyunJae Lee, EunJin Jeong, Donghyun Kang, Jinmyeong Kim, Soonhoi Ha,
"Work-in-Progress : SoPIoT : Service-oriented Platform for Internet of Things," ACM SIGBED International Conference on Embedded Software,
Oct, 2017.
-
HyunJae Lee, EunJin Jeong, Donghyun Kang, Jinmyeong Kim, Soonhoi Ha,
"A Novel Service-Oriented Platform for the Internet of Things," Proceedings of the 7th International Conference on the Internet of Things,
Oct, 2017.
-
EunJin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang, Soonhoi Ha,
"FIFA: A Kernel-Level Fault Injection Framework for ARM-based Embedded Linux System," 10th IEEE International Conference on Software Testing, Verification and Validation,
pp. 23-34, Mar, 2017.
-
EunJin Jeong, Hae-woo Park, Soonhoi Ha and Hyunok Oh,
"Task-level Timed-functional Simulation for Multi-core Embedded Systems," ESTIMEDIA,
Oct, 2010.
-
손재우, 김장률, 정은진, 하순회,
"모델 기반 소프트웨어 개발 방법론에서의 다양한 통신 암호화 코드 생성," 2021 한국소프트웨어종합학술대회 (KSC2021),
Dec, 2021.
-
강우석, 홍혜선, 정은진, 마리리스 올드자, 하순회,
"데이터 플로우 모델 기반 임베디드 소프트웨어 플랫폼에 서의 공유 정보 관리 기술," 2020 한국 소프트웨어공학 학술대회,
Feb, 2020.
-
신동걸, 정은진, 하순회,
"정형적 모델을 통한 심층 학습 알고리즘 명세 및 이종 프로세서에서의 코드 생성," 2018 한국소프트웨어종합학술대회 (Korea Software Congress 2018),
Dec, 2018.
-
이남구, 정은진, 하순회,
"하드웨어 브레이크포인트를 이용한 커널 수준 결함 주입 기법," 한국컴퓨터종합학술대회,
Jun, 2016.
-
김호근, 정은진, 박해우, 하순회,
"임베디드 소프트웨어 개발을 위한 빠른 기능-시간 시뮬레이션 기법," 한국정보처리학회 추계학술발표대회 논문집,
pp. 1595-1598, Nov, 2010.
-
김진우, 박해우, 윤덕용, 정은진, 하순회,
"CIC 기반 병렬 임베디드 소프트웨어 설계를 위한 제어 응용 명세 기법," 한국컴퓨터종합학술대회,
pp. 296-297, Jul, 2009.
-
정은진,
"Model-based Code Generation Framework for Parallel and Distributed Embedded Systems," 서울대학교,
Feb, 2020.
