Journals
Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment
BaekGyu Kim, Eunsuk Kang, IEEE Access, vol. 11, pp. 72641-72654, 2023
Time Efficient Offloading Optimization in Automotive Multi-access Edge Computing Networks Using Mean-Field Games
Yuhan Kang, Haoxin Wang, BaekGyu Kim, Jiang Xie, Xiao-ping Zhang, Zhu Han, IEEE Transactions on Vehicular Technology, vol. 72, no. 5, pp. 6460-6473, May 2023.
Real-Time Dynamic Map with Crowdsourcing Vehicles in Edge Computing
Qiang Liu, Tao Han, Jiang Linda Xie and BaekGyu Kim, IEEE Transactions on Intelligent Vehicles, vol. 8, no. 4, pp. 2810-2820, April 2023
LEAF + AIO: Edge-Assisted Energy-Aware Object Detection for Mobile Augmented Reality
Haoxin Wang, BaekGyu Kim, Linda Xie, Zhu Han, IEEE Transactions on Mobile Computing, 2022 (to appear)
Energy Drain of the Object Detection Processing Pipeline for Mobile Devices: Analysis and Implications
Haoxin Wang, BaekGyu Kim, Linda Xie, Zhu Han, IEEE Transactions on Green Communications and Networking, vol. 5, no. 1, pp. 41-60, Mar. 2021
Hierarchical Game for Networked Electric Vehicle Public Charging under Time-Based Billing Model
Yue Yu, Chunxia Su, Xiao Tang, BaekGyu Kim, Tiecheng Song, Zhu Han, IEEE Transactions on Intelligent Transportation Systems, vol. 22, no. 1, pp. 518-530, Jan. 2021
A Hierarchical Vehicular-based Architecture for Vehicular Networks - A Case Study on Computation Offloading
Tingting Liu, Junhua Wang, BaekGyu Kim, Jiang (Linda) Xi, and Zhu Han, IEEE Access, vol. 8, Oct. 2020
Architectural Design Alternatives based on Cloud/Edge/Fog Computing for Connected Vehicles
Haoxin Wang, Tingting Liu, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang (Linda) Xie, and Zhu Han, IEEE Communications Surveys & Tutorials, vol. 22, no. 4, pp. 2349-2377, 2020
Short-Term Multi-Vehicle Trajectory Planning for Collision Avoidance
Akihito Nakamura, Yin-Chen Liu, BaekGyu Kim, IEEE Transactions on Vehicular Technology, vol. 69, issue 9, Sep. 2020
Driver Behavior Modeling using Game Engine and Real Vehicle: A Learning-Based Approach
Ziran Wang, Xishun Liao, Chao Wang, David Oswald, Guoyuan Wu, Kanok Boriboonsomsin, Matthew Barth, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, IEEE Transactions on Intelligent Vehicles, vol. 5, no. 4, pp. 738-749, Dec. 2020
Edge Computing Resources Reservation in Vehicular Networks: A Meta-Learning Approach
Dawei Chen, Yin-Chen Liu , BaekGyu Kim, Jiang Xie, Choong Seon Hong, Zhu Han, IEEE Transactions on Vehicular Technology, vol. 69, issue 5, May 2020
Multi-Leader-Follower Game for MEC-Assisted Fusion-Based Vehicle On-Road Analysis
Yue Yu, Xiao Tang, Jun Wu, BaekGyu Kim, Tiecheng Song, Zhu Han, IEEE Transactions on Vehicular Technology, vol. 68, no. 11, Nov. 2019
Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems
Chung-Wei Lin, BaekGyu Kim, and Shinichi Shiraishi. IEEE Design & Test, 2019.
Cooperative Ramp Merging System: Agent-Based Modeling and Simulation using Game Engine
Ziran Wang, Guoyuan Wu, Kanok Boriboonsomsin, Matthew J Barth, Kyungtae Han, BaekGyu Kim, Prashant Tiwari. SAE International Journal of Connected and Automated Vehicles, Volume. 2, No. 2, May 2019 (SAE Vincent Bendix Automotive Electronics Engineering Award: Best paper award)
Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments
BaekGyu Kim, Takato Masuda and Shinichi Shiraishi. ACM Transactions on Cyber-Physical Systems (TCPS), Volume 4, No. 1, Nov. 2019
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models
BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee. ACM Transactions on Cyber-Physical Systems (TCPS), Volume.3 Issue 3, Aug. 2019.
Testing Autonomous Vehicle Software in the Virtual Prototyping Environment
BaekGyu Kim, Yusuke Kashiba, Siyuan Dai and Shinichi Shiraishi. IEEE Embedded Systems Letters, vol.9, no.1, pp.5-8, Mar 2017. (Selected as one of the top-five accessed articles in 2017 and 2018)
Automotive Software Certification: Current Status and Challenges
Huafeng Yu, Chung-Wei Lin, and BaekGyu Kim. SAE International Journal of Passenger Cars – Electronic and Electrical Systems 9(1):74-80, 2016
Challenges and Research Directions in Medical Cyber-Physical Systems
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian. In Special Issue on Cyber-Physical Systems, Proceedings of the IEEE, Volume 100, Issue 1, pp.75-90, January 2012
IEEE 802.15.4 MAC-based Location-ID Exchange Protocol for Realizing Micro-Cell Connectionless Location-Awareness Services
Baek-Gyu Kim, Soon-Ju Kang, Journal of Computing Science and Engineering (JCSE) 2(4): 412-427 (2008)
Conferences
Collision-Aware Data Delivery Framework for Connected Vehicles via Edges
SVSLN Surya Suhas Vaddhiparthy, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, IEEE Vehicular Technology Conference (VTC2023-Fall), Hong Kong, Oct, 2023
Dynamic Data Delivery Framework for Connected Vehicles via Edge Nodes with Variable Routes
Joseph John Cherukara, SVSLN Surya Suhas Vaddhiparthy, Deepak Gangadharan, BaekGyu Kim, IEEE Vehicular Technology Conference (VTC2023-Fall), Hong Kong, Oct. 2023
Edge-Assisted Service Allocation and Delivery for Connected Vehicles with Variable Velocities
Yi Hung, Liang-Kuan Chou, Hsu-Huai Tsai, Hsi-Chuang Wang, Chung-Wei Lin, BaekGyu Kim, 2023 IEEE Vehicular Networking Conference (VNC), Istanbul, Turkiye, Apr. 2023
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment
BaekGyu Kim, 16th IEEE International Conference on Software Testing, Verification and Validation (ICST), Dublin, Ireland, Apr. 2023
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, IEEE Vehicular Technology Conference (VTC-Spring). Helsinki, Finland, Jun. 2022
Platform for Generating Task Offloading Strategies for A Vehicular Edge-Computing Environment
Haoxin Wang and BaekGyu Kim, ITS World Congress (ITSWC). Hamburg, Germany, Oct. 2021
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing
Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky and Insup Lee, IEEE 93rd Vehicular Technology Conference (VTC2021-Spring). Helsinki, Finland, Apr. 2021
Livemap: Real-Time Dynamic Map for Automotive Edge Computing
Qiang Liu, Tao Han, Linda Xie, BaekGyu Kim, IEEE International Conference on Computer Communications (INFOCOM), May 2021
Runtime-Safety-Guided Policy Repair
Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li, 20th International Conference on Runtime Verification (RV), Los Angeles, U.S.A Oct. 2020
Optimizing Allocation and Scheduling of Connected Vehicle Service Requests in Cloud/Edge Computing
Yecheng Zhao, BaekGyu Kim, IEEE International Conference on Cloud Computing (CLOUD), Oct., 2020
Federated Learning Based Mobile Edge Computing for Augmented Reality Applications
Dawei Chen, Jiang Xie, BaekGyu Kim, Li Wang, Choong Seon Hong, Li-Chun Wang and Zhu Han. International Conference on Computing, Networking and Communications (ICNC 2020), Big Island, Hawaii, U.S.A. Feb., 2020
How is Energy Consumed in Smartphone Deep Learning Apps? - Executing Locally vs. Remotely
Haoxin Wang, BaekGyu Kim, Jiang (Linda) Xie, and Zhu Han. IEEE Global Communications Conference (GLOBECOM). Waikoloa, HI, U.S.A. Dec. 2019
A Case Study of Trust on Autonomous Driving
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng. 22nd IEEE Intelligent Transportation Systems Conference (ITSC). Auckland, New Zealand, Oct. 2019
Collision Avoidance Trajectory Planning for Multi Vehicle
Akihito Nakamura, Yin-Chen Liu, BaekGyu Kim. 26th ITS World Congress (ITSWC). Singapore, Oct 2019
(Invited Paper) Distributed Downloading Strategy for Multi-Source Data Fusion in Edge-Enabled Vehicular Network
Yue Yu, Jun Wu, Xiao Tang, Tiecheng Song, BaekGyu Kim, Zhu Han, IEEE/CIC International Conference on Communications in China (ICCC). Changchun, China, Aug. 2019
Are Self-Driving Cars Secure? Evasion Attacks against Deep Neural Networks for Steering Angle Prediction
Alesia Chernikova, Alina Oprea, Cristina Nita-Rotaru and BaekGyu Kim. IEEE Workshop on the Internet of Safe Things (SafeThings). San Francisco, U.S.A., May 2019
Vehicle-to-Vehicle Message Sender Identification for Co-operative Driver Assistance Systems
Hiromitsu Kobayashi, Kyungtae Han, BaekGyu Kim. IEEE Vehicular Technology Conference (VTC). Kuala Lumpur, Malaysia, April 2019
E-Auto: A Communication Scheme for Connected Vehicles with Edge-assisted Autonomous Driving
Haoxin Wang, BaekGyu Kim, Jiang (Linda) Xie, Zhu Han. IEEE International Conference on Communications (ICC). Shanghai, China, May 2019
Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles
Ziran Wang, Kyungtae Han, BaekGyu Kim, Guoyuan Wu, Matthew Barth. American Control Conference (ACC). Philadelphia, U.S.A., Jul 2019
Computation Offloading over Fog and Cloud using Multi-Dimensional Multiple Knapsack Problem
Junhua Wang, Tingting Liu, Kai Liu, BaekGyu Kim, Jiang Xie, Zhu Han. IEEE Global Communications Conference (GLOBECOM). Abu Dhabi, UAE., Dec 2018
Platform-Independent QoS Parameters and Primitive APIs for Automotive Software
BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu and Shinichi Shiraishi. 21st IEEE International Conference on Intelligent Transportation Systems (ITSC). Maui, U.S.A., Nov 2018
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 and Alan Wassyng. 37th International Conference on Computer Safety, Reliability & Security (SAFECOMP). Vasteras, Sweden, Sep 2018
Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges
Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin and Shinichi Shiraishi. IEEE International Conference on Cloud Computing (CLOUD). San Francisco, U.S.A., July 2018
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety
Eric Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim and Shinichi Shiraishi. 2nd International Workshop on Safe Control of Autonomous Vehicles (CPS week 2018 workshop). Porto, Portugal, April 2018
Distributed File Allocation Using Matching Game in Mobile Fog-Caching Service Network
Tingting Liu, Jun Li, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Linda Jiang Xie, Zhu Han. 2nd Workshop on Integrating Edge Computing, Caching, and Offloading in Next Generation Networks (INFOCOM workshop). Honolulu, USA, Apr 2018
Principles for Systematic Development of an Assurance Case Template from ISO 26262
Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi and Alan Wassyng. 28th International Symposium on Software Reliability Engineering (ISSRE). Toulouse, France, Oct 2017
An Amanat-Based Multi-Party Certification Protocol for Outsourced Software in Automotive Systems
Chung-Wei Lin, Shinichi Shiraishi and BaekGyu Kim. 27th International Symposium on Software Reliability Engineering (ISSRE). Ottawa, Canada, Oct 2016
The SMT-Based Automatic Road Network Generation in Vehicle Simulation Environment
BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi and Masahiro Yamaura. International Conference on Embedded Software (EMSOFT 2016). Pittsburgh, Pennsylvania, U.S.A., Oct 2016
(Invited Paper) Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions
Deepak Gangadharan, Oleg Sokolsky, Jin Hyun Kim, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi and Insup Lee. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016). Daegu, South Korea, Aug 2016
Platform-based Automotive Safety Features
Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi. SAE 2016 World Congress and Exhibition (SAE 2016). Detroit, Michigan, U.S.A., Apr 2016
Automotive software certification: current status and challenges
Huafeng Yu, Chung-Wei Lin, and BaekGyu Kim. SAE World Congress & Exhibition, Detroit, MI, Apr. 2016. (Selected to SAE Journal)
Platform-Specific Code Generation from Platform-Independent Timed Models
BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee. IEEE Real-Time Systems Symposium (RTSS 2015). San Antonio, Texas, U.S.A., Dec 2015
Executing Model-based Tests on Platform-specific Implementations
Dongjiang You, Sanjai Rayadurgam, Mats P.E. Heimdahl, John Komp, BaekGyu Kim and Oleg Sokolsky. IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). Lincoln, Nebraska, U.S.A., Nov 2015
Platform-Specific Timing Verification Framework in Model-Based Implementation
BaekGyu Kim, Lu Feng, Linh T.X. Phan, Oleg Sokolsky and Insup Lee. Design, Automation and Test in Europe (DATE 2015). Grenoble, France, Mar 2015
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Mats Heimdahl, Baek-Gyu Kim, Oleg Sokolsky and Insup Lee. FHIES/SEHC 2014. Washington, D.C., USA, July 2014 (Revised Selected Paper as a bookchapter)
A Layered Approach for Timing Testing in the Model-Based Implementation
BaekGyu Kim, Hyeon I Hwang, Taejoon Park, Sanghyuk Son, Insup Lee. Design, Automation and Test in Europe (DATE 2014). Dresden, Germany, Mar 2014
A Causality Analysis Framework for Component-based Real-time Systems
Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gossler, Oleg Sokolsky, and Insup Lee. Runtime Verification (RV2013), INRIA Rennes, France
Platform-Dependent Code Generation for Embedded Real-Time Software
BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES 2013). Montreal, Canada, October 2013
A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling
BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. IEEE International Symposium on Rapid System Prototyping (RSP 2012). Tampere, Finland, October 2012
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments
Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012). Magdeburg, Germany, September 2012
A Safety Case Pattern for Model-Based Development Approach
Anaheed Ayoub, Baek-Gyu Kim, Insup Lee and Oleg Sokolsky. NASA Formal Methods Symposium (NFM 2012). Norfolk, VA, April 2012
The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity
Philip Asare, Danyang Cong, Santosh Vattam, Baek-Gyu Kim, Shan Lin, Oleg Sokolsky, Margaret Mullen-Fortino and Insup Lee. ACM SIGHIT International Health Informatics Symposium (IHI 2012). Miami, FL, January 2012
Safety-Assured Development of the GPCA Infusion Pump Software
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley. International Conference on Embedded Software (EMSOFT 2011). Taipei, Taiwan, October 2011
Book Chapters
Medical Cyber-Physical Systems
Insup Lee, Anaheed Ayoub, Sanjian Chen, BaekGyu Kim, Andrew King, Alexander Roederer, and Oleg Sokolsky. In SEI Series in Software Engineering, Addison-Wesley Professional, 1 edition, Jan 2017 (ISBN-13:978-0321926968)
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky and Insup Lee. Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, Springer, Jan 2017 vol.9062, pp.96,
Short paper/Poster/Demo
(Poster) Empirical Composite Workload Analysis for RSU-Assisted Computation Offloading in Connected Vehicle Services
BaekGyu Kim, Deepak Gangadharan, IEEE International Symposium on Workload Characterization (IISWC), Ghent, Belgium Oct. 2023
(Short paper) A Data Distribution Service Perspective on Edge-based Mobility Services
Akila Ganlath, Nejib Ammar, BaekGyu Kim, Kenichi Murata, Fifth International Conference on Connected and Autonomous Driving (MetroCAD), Detroit, U.S.A. Apr 2022
(Short paper) Federated Learning with Infrastructure Resource Limitations in Vehicular Object Detection
Yiyue Chen, Chianing (Johnny) Wang, BaekGyu Kim, 2nd Workshop on Edge Computing and Communications (EdgeComm), San Jose, U.S.A. Dec. 2021
(Short Paper) Automotive Big Data Pipeline: Disaggregated Hyper-Converged Infrastructure vs Hyper-Converged Infrastructure
Chianing (Johnny) Wang, BaekGyu Kim. IEEE International Conference on Big Data (BigData), Dec. 2020
(Short Paper) V-WorkGen: Virtual Workload Generation Tool for Connected Automotive Services
Yin-Chen Liu, BaekGyu Kim. IEEE International Conference on Big Data (BigData), Dec. 2020
(Demo) Demo: An Optimization Framework to Select Edge Servers for Automotive Connected Services
Yin-Chen Liu, BaekGyu Kim. IEEE Vehicular Networking Conference (VNC), Los Angeles, U.S.A., Dec. 2019
(Poster) Agent-Based Modeling and Simulation of Connected and Automated Vehicles Using Game Engine: A Cooperative On-Ramp Merging Study
Ziran Wang, BaekGyu Kim, Hiromitsu Kobayashi, Guoyuan Wu, Matthew J. Barth. Transportation Research Board 2019 Annual Meeting, Washington, D.C., U.S.A., Jan 2019
(Short Paper) Multi-Objective Optimization for Data/Service Delivery to Connected Vehicles via Edges
Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim. 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS, co-located with RTSS 2018), Tennessee, U.S.A., Dec. 2018
(Presentation) Design of Connected Plug-and-Play Vehicle Software Architecture
BaekGyu Kim. Embedded Systems Conference (ESC) Sillicon Valley, San Jose, U.S.A, Dec 2017 (acceptace rate: 30%, highlighted as IoT session you can't miss)
(Demo) Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation
BaekGyu Kim, Jonathan Shum, Akshay Jarandikar, Shinichi Shiraishi. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), Vienna, Austria
(Poster) Safety-Assured Model-Based Implementation of the GPCA Infusion Pump Software
Baek-Gyu Kim, Design, Automation and Test in Europe (DATE 2015) PhD Forum. Grenoble, France, Mar 2015
(Presentation) Compositional Timing Verification Framework for Real-Time Behavior of Embedded Software
BaekGyu Kim, Lu Feng, Linh T.X. Phan, Oleg Sokolsky, Insup Lee. KOCSEA 2014 (Best Presentation Award in Lightning Talks)
(Presentation) Platform-Dependent Timing Verification Approach in Model-Based Embedded Real-Time Software Development
BaekGyu Kim, Lu Feng Linh T.X. Phan Oleg Sokolsky Insup Lee. UKC 2014
(Poster) Timing Testing for Real-Time Embedded Systems in the Model-Based Implementation
Hyeon I Hwang and BaekGyu Kim. UKC 2013 (3rd Place Award in computer science)
(Demo) Platform Dependent Code Generation of Real-Time Embedded Software
BaekGyu Kim, Insup Lee, Linh T.X. Phan, Oleg Sokolsky. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2013), Philadelphia, U.S.A.
(Poster) Safety-Assured Development of the GPCA Infusion Pump Software
BaekGyu Kim, KOCSEA 2011 (Best Poster Award)
(Demo) Medical Device Dongle: Android library for medical device interoperability
Danyang Cong, Santosh Vattam, Philip Asare, Daniel Ge, Andrew King, Insup Lee, Oleg Sokolsky, BaekGyu Kim. Android Competition in ESWeek 2011
(Demo) U-FIPI: Ubiquitous Sensor Network Service Infra Supporting Bidirectional Location-Awareness between Mobile Nodes and Fixture Nodes
BaekGyu Kim, Tae-Hyon Kim, Soon-Ju Kang, Jae Shin Lee, Jin Ho Shon, Sang Chul Go. IEEE Consumer Communications & Networking Conference (CCNC), 2009