Safety-assured development of the GPCA infusion pump software. - BaekGyu Kim; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001; Paul L. Jones; Yi Zhang 051; Raoul Praful Jetley (EMSOFT, 2011)

Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. - Philip Asare; Danyang Cong; Santosh G. Vattam; BaekGyu Kim; Oleg Sokolsky; Insup Lee 001; Shan Lin 001; Margaret Mullen-Fortino (Wireless Health, 2011)

The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. - Philip Asare; Danyang Cong; Santosh G. Vattam; BaekGyu Kim; Andrew L. King; Oleg Sokolsky; Insup Lee 001; Shan Lin 001; Margaret Mullen-Fortino (IHI, 2012)

A Safety Case Pattern for Model-Based Development Approach. - Anaheed Ayoub; BaekGyu Kim; Insup Lee 001; Oleg Sokolsky (NASA Formal Methods, 2012)

A model-based I/O interface synthesis framework for the cross-platform software modeling. - BaekGyu Kim; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RSP, 2012)

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. - Anaheed Ayoub; BaekGyu Kim; Insup Lee 001; Oleg Sokolsky (SAFECOMP, 2012)

Challenges and Research Directions in Medical Cyber-Physical Systems. - Insup Lee 001; Oleg Sokolsky; Sanjian Chen; John Hatcliff; Eunkyoung Jee; BaekGyu Kim; Andrew L. King; Margaret Mullen-Fortino; Soojin Park; Alex Roederer; Krishna K. Venkatasubramanian (Proc. IEEE, 2012)

Platform-dependent code generation for embedded real-time software. - BaekGyu Kim; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (CASES, 2013)

Platform dependent code generation of real-time embedded software. - BaekGyu Kim; Insup Lee 001; Linh T. X. Phan; Oleg Sokolsky (ICCPS, 2013)

A Causality Analysis Framework for Component-Based Real-Time Systems. - Shaohui Wang; Anaheed Ayoub; BaekGyu Kim; Gregor Gößler; Oleg Sokolsky; Insup Lee 001 (RV, 2013)

A layered approach for testing timing in the model-based implementation. - BaekGyu Kim; Hyeon I. Hwang; Taejoon Park; Sang Hyuk Son; Insup Lee 001 (DATE, 2014)

From Requirements to Code: Model Based Development of a Medical Cyber Physical System. - Anitha Murugesan; Mats Per Erik Heimdahl; Michael W. Whalen; Sanjai Rayadurgam; John Komp; Lian Duan; BaekGyu Kim; Oleg Sokolsky; Insup Lee 001 (FHIES/SEHC, 2014)

Platform-specific timing verification framework in model-based implementation. - BaekGyu Kim; Lu Feng 001; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (DATE, 2015)

Executing Model-Based Tests on Platform-Specific Implementations (T). - Dongjiang You; Sanjai Rayadurgam; Mats Per Erik Heimdahl; John Komp; BaekGyu Kim; Oleg Sokolsky (ASE, 2015)

Platform-Specific Code Generation from Platform-Independent Timed Models. - BaekGyu Kim; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (RTSS, 2015)

The SMT-based automatic road network generation in vehicle simulation environment. - BaekGyu Kim; Akshay Jarandikar; Jonathan Shum; Shinichi Shiraishi; Masahiro Yamaura (EMSOFT, 2016)

Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation. - BaekGyu Kim; Jonathan Shum; Akshay Jarandikar; Shinichi Shiraishi (ICCPS, 2016)

An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. - Chung-Wei Lin; Shinichi Shiraishi; BaekGyu Kim (ISSRE Workshops, 2016)

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 001 (RTCSA, 2016)

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 (ISSRE Workshops, 2017)

Testing Autonomous Vehicle Software in the Virtual Prototyping Environment. - BaekGyu Kim; Yusuke Kashiba; Siyuan Dai; Shinichi Shiraishi (IEEE Embed. Syst. Lett., 2017)

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. - Deepak Gangadharan; Oleg Sokolsky; Insup Lee 001; BaekGyu Kim; Chung-Wei Lin; Shinichi Shiraishi (IEEE CLOUD, 2018)

Computation Offloading Over Fog and Cloud Using Multi-Dimensional Multiple Knapsack Problem. - Junhua Wang; Tingting Liu 005; Kai Liu 001; BaekGyu Kim; Jiang Xie 001; Zhu Han 001 (GLOBECOM, 2018)

Distributed file allocation using matching game in mobile fog-caching service network. - Tingting Liu 005; Jun Li 004; BaekGyu Kim; Chung-Wei Lin; Shinichi Shiraishi; Jiang Xie 001; Zhu Han 001 (INFOCOM Workshops, 2018)

Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. - BaekGyu Kim; Chung-Wei Lin; Eunsuk Kang; Nobuyuki Tomatsu; Shinichi Shiraishi (ITSC, 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; Alan Wassyng (SAFECOMP, 2018)

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia; BaekGyu Kim; Shinichi Shiraishi (SCAV@CPSWeek, 2018)

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 001; Matthew J. Barth (CoRR, 2018)

Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles. - Ziran Wang; Kyungtae Han; BaekGyu Kim; Guoyuan Wu 001; Matthew J. Barth (ACC, 2019)

How Is Energy Consumed in Smartphone Deep Learning Apps? Executing Locally vs. Remotely. - Haoxin Wang; BaekGyu Kim; Jiang Xie 001; Zhu Han 001 (GLOBECOM, 2019)

E-Auto: A Communication Scheme for Connected Vehicles with Edge-Assisted Autonomous Driving. - Haoxin Wang; BaekGyu Kim; Jiang Xie 001; Zhu Han 001 (ICC, 2019)

Distributed Downloading Strategy for Multi-Source Data Fusion in Edge-Enabled Vehicular Network : (Invited Paper). - Yue Yu; Jun Wu 011; Xiao Tang 001; Tiecheng Song; BaekGyu Kim; Zhu Han 001 (ICCC, 2019)

A Case Study of Trust on Autonomous Driving. - Shili Sheng; Erfan Pakdamanian; Kyungtae Han; BaekGyu Kim; Prashant Tiwari; Inki Kim; Lu Feng 001 (ITSC, 2019)

Are Self-Driving Cars Secure? Evasion Attacks Against Deep Neural Networks for Steering Angle Prediction. - Alesia Chernikova; Alina Oprea; Cristina Nita-Rotaru; BaekGyu Kim (IEEE Symposium on Security and Privacy Workshops, 2019)

Demo: An Optimization Framework to Select Edge Servers for Automotive Connected Services. - Yin-Chen Liu; BaekGyu Kim (VNC, 2019)

Vehicle-to-Vehicle Message Sender Identification for Co-Operative Driver Assistance Systems. - Hiromitsu Kobayashi; Kyungtae Han; BaekGyu Kim (VTC Spring, 2019)

Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. - BaekGyu Kim; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2019)

Multi-Leader-Follower Game for MEC-Assisted Fusion-Based Vehicle On-Road Analysis. - Yue Yu; Xiao Tang 001; Jun Wu 011; BaekGyu Kim; Tiecheng Song; Zhu Han 001 (IEEE Trans. Veh. Technol., 2019)

Optimizing Allocation and Scheduling of Connected Vehicle Service Requests in Cloud/Edge Computing. - Yecheng Zhao; BaekGyu Kim (CLOUD, 2020)

V-WorkGen: Virtual Workload Generation Tool for Connected Automotive Services. - Yin-Chen Liu; BaekGyu Kim (IEEE BigData, 2020)

Automotive Big Data Pipeline: Disaggregated Hyper-Converged Infrastructure vs Hyper-Converged Infrastructure. - Chianing Johnny Wang; BaekGyu Kim (IEEE BigData, 2020)

Federated Learning Based Mobile Edge Computing for Augmented Reality Applications. - Dawei Chen; Jiang (Linda) Xie; BaekGyu Kim; Li Wang 039; Choong Seon Hong; Li-Chun Wang 001; Zhu Han 001 (ICNC, 2020)

Runtime-Safety-Guided Policy Repair. - Weichao Zhou; Ruihan Gao; BaekGyu Kim; Eunsuk Kang; Wenchao Li 001 (RV, 2020)

A Hierarchical Vehicular-Based Architecture for Vehicular Networks: A Case Study on Computation Offloading. - Tingting Liu 005; Junhua Wang; BaekGyu Kim; Jiang (Linda) Xie; Zhu Han 001 (IEEE Access, 2020)

Architectural Design Alternatives Based on Cloud/Edge/Fog Computing for Connected Vehicles. - Haoxin Wang; Tingting Liu 005; BaekGyu Kim; Chung-Wei Lin; Shinichi Shiraishi; Jiang (Linda) Xie; Zhu Han 001 (IEEE Commun. Surv. Tutorials, 2020)

Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments. - BaekGyu Kim; Takato Masuda; Shinichi Shiraishi (ACM Trans. Cyber Phys. Syst., 2020)

Driver Behavior Modeling Using Game Engine and Real Vehicle: A Learning-Based Approach. - Ziran Wang; Xishun Liao; Chao Wang 089; David Oswald; Guoyuan Wu 001; Kanok Boriboonsomsin; Matthew J. Barth; Kyungtae Han; BaekGyu Kim; Prashant Tiwari (IEEE Trans. Intell. Veh., 2020)

Edge Computing Resources Reservation in Vehicular Networks: A Meta-Learning Approach. - Dawei Chen; Yin-Chen Liu; BaekGyu Kim; Jiang Xie 001; Choong Seon Hong; Zhu Han 001 (IEEE Trans. Veh. Technol., 2020)

Short-Term Multi-Vehicle Trajectory Planning for Collision Avoidance. - Akihito Nakamura; Yin-Chen Liu; BaekGyu Kim (IEEE Trans. Veh. Technol., 2020)

Federated Learning with Infrastructure Resource Limitations in Vehicular Object Detection. - Yiyue Chen; Chianing Johnny Wang; BaekGyu Kim (SEC, 2021)

LiveMap: Real-Time Dynamic Map in Automotive Edge Computing. - Qiang Liu 013; Tao Han 002; Jiang (Linda) Xie; BaekGyu Kim (INFOCOM, 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; Insup Lee 001 (VTC Spring, 2021)

Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems. - Chung-Wei Lin; BaekGyu Kim; Shinichi Shiraishi (IEEE Des. Test, 2021)

Energy Drain of the Object Detection Processing Pipeline for Mobile Devices: Analysis and Implications. - Haoxin Wang; BaekGyu Kim; Jiang Xie 001; Zhu Han 001 (IEEE Trans. Green Commun. Netw., 2021)

Hierarchical Game for Networked Electric Vehicle Public Charging Under Time-Based Billing Model. - Yue Yu; Chunxia Su; Xiao Tang 001; BaekGyu Kim; Tiecheng Song; Zhu Han 001 (IEEE Trans. Intell. Transp. Syst., 2021)

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 001 (VTC Spring, 2022)

Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment. - BaekGyu Kim (ICST, 2023)

Empirical Composite Workload Analysis for RSU-Assisted Computation Offloading in Connected Vehicle Services. - BaekGyu Kim; Deepak Gangadharan (IISWC, 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 (VNC, 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 (VTC Fall, 2023)

Collision-Aware Data Delivery Framework for Connected Vehicles via Edges. - SVSLN Surya Suhas Vaddhiparthy; Joseph John Cherukara; Deepak Gangadharan; BaekGyu Kim (VTC Fall, 2023)

Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment. - BaekGyu Kim; Eunsuk Kang (IEEE Access, 2023)

Real-Time Dynamic Map With Crowdsourcing Vehicles in Edge Computing. - Qiang Liu 013; Tao Han 002; Jiang (Linda) Xie; BaekGyu Kim (IEEE Trans. Intell. Veh., 2023)

Time Efficient Offloading Optimization in Automotive Multi-Access Edge Computing Networks Using Mean-Field Games. - Yuhan Kang; Haoxin Wang; BaekGyu Kim; Jiang (Linda) Xie; Xiao-Ping Zhang 002; Zhu Han 001 (IEEE Trans. Veh. Technol., 2023)

LEAF + AIO: Edge-Assisted Energy-Aware Object Detection for Mobile Augmented Reality. - Haoxin Wang; BaekGyu Kim; Jiang Xie 001; Zhu Han 001 (IEEE Trans. Mob. Comput., 2023)

Poster Abstract: Landing-Type Aware Multi-Drone Route Generation for Last-Mile Delivery Service. - JiHyun Kwon; BaekGyu Kim; Yi-Ying Chen; Chung-Wei Lin (ICCPS, 2024)

Preliminary Design of Hybrid Simulation Framework for Workload Analysis in Automotive Edge Computing. - JiHyun Kwon; Sangeun Park; Hoon Sung Chwa; Jeongho Kwak; Ji-Woong Choi; BaekGyu Kim (ICTC, 2024)

Preliminary Modeling of Energy-Aware Integrated Allocations in Robotic Mobile Fulfillment Systems. - Kyujin Kyung; Deepak Gangadharan; BaekGyu Kim (RTCSA, 2024)

Cooperative Network-Computation Load Balancing Simulator for Vehicular Edge Computing. - Juho Song; BaekGyu Kim; Jeongho Kwak; Ji-Woong Choi; Hoon Sung Chwa (RTCSA, 2024)

Edge-Server Workload Characterization in Vehicular Computation Offloading: Semantics and Empirical Analysis. - BaekGyu Kim; Deepak Gangadharan (IEEE Access, 2024)

Trustworthy Compiler Design for Generating Concrete Scenarios Toward Certifying Autonomous Driving Safety. - BaekGyu Kim (IEEE Trans. Intell. Veh., 2025)