| 2025 | IROS | Landing-Aware Multi-Drone Routing in Last-Mile Delivery Services. | JiHyun Kwon, Yi-Ying Chen, GaHyun Lee, Chung-Wei Lin, BaekGyu Kim |
| 2024 | RTCSA | Preliminary Modeling of Energy-Aware Integrated Allocations in Robotic Mobile Fulfillment Systems. | Kyujin Kyung, Deepak Gangadharan, BaekGyu Kim |
| 2024 | RTCSA | Cooperative Network-Computation Load Balancing Simulator for Vehicular Edge Computing. | Juho Song, BaekGyu Kim, Jeongho Kwak, Ji-Woong Choi, Hoon Sung Chwa |
| 2023 | ICST | Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment. | BaekGyu Kim |
| 2023 | VTC | Dynamic Data Delivery Framework for Connected Vehicles via Edge Nodes with Variable Routes. | Joseph John Cherukara, SVSLN Surya Suhas Vaddhiparthy, Deepak Gangadharan, BaekGyu Kim |
| 2023 | VTC | Collision-Aware Data Delivery Framework for Connected Vehicles via Edges. | SVSLN Surya Suhas Vaddhiparthy, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim |
| 2022 | VTC | Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. | Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee |
| 2021 | INFOCOM | LiveMap: Real-Time Dynamic Map in Automotive Edge Computing. | Qiang Liu, Tao Han, Jiang (Linda) Xie, BaekGyu Kim |
| 2021 | VTC | E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. | Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee |
| 2020 | RV | Runtime-Safety-Guided Policy Repair. | Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li |
| 2019 | GLOBECOM | How Is Energy Consumed in Smartphone Deep Learning Apps? Executing Locally vs. Remotely. | Haoxin Wang, BaekGyu Kim, Jiang Xie, Zhu Han |
| 2019 | VTC | Vehicle-to-Vehicle Message Sender Identification for Co-Operative Driver Assistance Systems. | Hiromitsu Kobayashi, Kyungtae Han, BaekGyu Kim |
| 2019 | SP | Are Self-Driving Cars Secure? Evasion Attacks Against Deep Neural Networks for Steering Angle Prediction. | Alesia Chernikova, Alina Oprea, Cristina Nita-Rotaru, BaekGyu Kim |
| 2018 | GLOBECOM | Computation Offloading Over Fog and Cloud Using Multi-Dimensional Multiple Knapsack Problem. | Junhua Wang, Tingting Liu, Kai Liu, BaekGyu Kim, Jiang Xie, Zhu Han |
| 2018 | INFOCOM | Distributed file allocation using matching game in mobile fog-caching service network. | Tingting Liu, Jun Li, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang Xie, Zhu Han |
| 2018 | SAFECOMP | Safe and Secure Automotive Over-the-Air Updates. | Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng |
| 2017 | ISSRE | Principles for Systematic Development of an Assurance Case Template from ISO 26262. | Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng |
| 2016 | EMSOFT | The SMT-based automatic road network generation in vehicle simulation environment. | BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura |
| 2016 | ISSRE | An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. | Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim |
| 2016 | RTCSA | Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). | Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee |
| 2015 | DATE | Platform-specific timing verification framework in model-based implementation. | BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2015 | RTSS | Platform-Specific Code Generation from Platform-Independent Timed Models. | BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee |
| 2014 | DATE | A layered approach for testing timing in the model-based implementation. | BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee |
| 2013 | CASES | Platform-dependent code generation for embedded real-time software. | BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2013 | RV | A Causality Analysis Framework for Component-Based Real-Time Systems. | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2012 | RSP | A model-based I/O interface synthesis framework for the cross-platform software modeling. | BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2012 | SAFECOMP | A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky |
| 2011 | EMSOFT | Safety-assured development of the GPCA infusion pump software. | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley |