Journals

1. 1. 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

   2. 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.

   3. 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

   4. 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)

   5. 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 

   6. 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

   7. 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

   8. 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

   9. 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

   10. 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

   11. 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

   12. 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

   13. Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems

       • Chung-Wei Lin, BaekGyu Kim, and Shinichi Shiraishi. IEEE Design & Test, 2019.

   14. 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)

   15. 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

   16. 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.

   17. 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)

   18. 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

   19. 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

   20. 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

1. 1. 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

   2. 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

   3. 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

   4. 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

   5. 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

   6. 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 

   7. 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

   8. 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

   9. 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

   10. 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

   11. 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

   12. 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

   13. 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

   14. Collision Avoidance Trajectory Planning for Multi Vehicle

       • Akihito Nakamura, Yin-Chen Liu, BaekGyu Kim. 26th ITS World Congress (ITSWC). Singapore, Oct 2019

   15. (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

   16. 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

   17. 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

   18. 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

   19. 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

   20. 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

   21. 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

   22. 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

   23. 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

   24. 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

   25. 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

   26. 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

   27. 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

   28. 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

   29. (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

   30. 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

   31. 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)

   32. 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

   33. 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

   34. 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

   35. 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)

   36. 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

   37. 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

   38. 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

   39. 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

   40. 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

   41. 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

   42. 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

   43. 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

1. 1. 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)

   2. 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

1. 1. (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

   2. (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

   3. (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

   4. (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

   5. (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

   6. (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

   7. (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

   8. (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

   9. (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)

   10. (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

   11. (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

   12. (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)

   13. (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

   14. (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)

   15. (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.

   16. (Poster) Safety-Assured Development of the GPCA Infusion Pump Software

       • BaekGyu Kim, KOCSEA 2011 (Best Poster Award)

   17. (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

   18. (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

(Note) This list includes the past academic publications with my collaborators prior to joining DGIST for reference purpose only ( ~ Apr. 2021).