default search action
BaekGyu Kim
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]BaekGyu Kim, Deepak Gangadharan:
Edge-Server Workload Characterization in Vehicular Computation Offloading: Semantics and Empirical Analysis. IEEE Access 12: 89082-89097 (2024) - [c50]JiHyun Kwon, BaekGyu Kim, Yi-Ying Chen, Chung-Wei Lin:
Poster Abstract: Landing-Type Aware Multi-Drone Route Generation for Last-Mile Delivery Service. ICCPS 2024: 281-282 - [c49]Juho Song, BaekGyu Kim, Jeongho Kwak, Ji-Woong Choi, Hoon Sung Chwa:
Cooperative Network-Computation Load Balancing Simulator for Vehicular Edge Computing. RTCSA 2024: 130-131 - [c48]Kyujin Kyung, Deepak Gangadharan, BaekGyu Kim:
Preliminary Modeling of Energy-Aware Integrated Allocations in Robotic Mobile Fulfillment Systems. RTCSA 2024: 136-137 - 2023
- [j17]BaekGyu Kim, Eunsuk Kang:
Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment. IEEE Access 11: 72641-72654 (2023) - [j16]Qiang Liu, Tao Han, Jiang (Linda) Xie, BaekGyu Kim:
Real-Time Dynamic Map With Crowdsourcing Vehicles in Edge Computing. IEEE Trans. Intell. Veh. 8(4): 2810-2820 (2023) - [j15]Haoxin Wang, BaekGyu Kim, Jiang Xie, Zhu Han:
LEAF + AIO: Edge-Assisted Energy-Aware Object Detection for Mobile Augmented Reality. IEEE Trans. Mob. Comput. 22(10): 5933-5948 (2023) - [j14]Yuhan Kang, Haoxin Wang, BaekGyu Kim, Jiang (Linda) Xie, Xiao-Ping Zhang, Zhu Han:
Time Efficient Offloading Optimization in Automotive Multi-Access Edge Computing Networks Using Mean-Field Games. IEEE Trans. Veh. Technol. 72(5): 6460-6473 (2023) - [c47]BaekGyu Kim:
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment. ICST 2023: 60-70 - [c46]BaekGyu Kim, Deepak Gangadharan:
Empirical Composite Workload Analysis for RSU-Assisted Computation Offloading in Connected Vehicle Services. IISWC 2023: 221-222 - [c45]Yi Hung, Liang-Kuan Chou, Hsu-Huai Tsai, Hsi-Chuang Wang, Chung-Wei Lin, BaekGyu Kim:
Edge-Assisted Service Allocation and Delivery for Connected Vehicles with Variable Velocities. VNC 2023: 112-119 - [c44]Joseph John Cherukara, SVSLN Surya Suhas Vaddhiparthy, Deepak Gangadharan, BaekGyu Kim:
Dynamic Data Delivery Framework for Connected Vehicles via Edge Nodes with Variable Routes. VTC Fall 2023: 1-7 - [c43]SVSLN Surya Suhas Vaddhiparthy, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim:
Collision-Aware Data Delivery Framework for Connected Vehicles via Edges. VTC Fall 2023: 1-7 - 2022
- [c42]Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring 2022: 1-7 - [i10]Haoxin Wang, BaekGyu Kim, Jiang (Linda) Xie, Zhu Han:
LEAF + AIO: Edge-Assisted Energy-Aware Object Detection for Mobile Augmented Reality. CoRR abs/2205.13770 (2022) - [i9]Qiang Liu, Tao Han, Jiang (Linda) Xie, BaekGyu Kim:
Real-Time Dynamic Map with Crowdsourcing Vehicles in Edge Computing. CoRR abs/2210.05034 (2022) - 2021
- [j13]Chung-Wei Lin, BaekGyu Kim, Shinichi Shiraishi:
Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems. IEEE Des. Test 38(5): 65-73 (2021) - [j12]Haoxin Wang, BaekGyu Kim, Jiang Xie, Zhu Han:
Energy Drain of the Object Detection Processing Pipeline for Mobile Devices: Analysis and Implications. IEEE Trans. Green Commun. Netw. 5(1): 41-60 (2021) - [j11]Yue Yu, Chunxia Su, Xiao Tang, BaekGyu Kim, Tiecheng Song, Zhu Han:
Hierarchical Game for Networked Electric Vehicle Public Charging Under Time-Based Billing Model. IEEE Trans. Intell. Transp. Syst. 22(1): 518-530 (2021) - [c41]Yiyue Chen, Chianing Johnny Wang, BaekGyu Kim:
Federated Learning with Infrastructure Resource Limitations in Vehicular Object Detection. SEC 2021: 366-370 - [c40]Qiang Liu, Tao Han, Jiang (Linda) Xie, BaekGyu Kim:
LiveMap: Real-Time Dynamic Map in Automotive Edge Computing. INFOCOM 2021: 1-10 - [c39]Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring 2021: 1-6 - 2020
- [j10]Tingting Liu, Junhua Wang, BaekGyu Kim, Jiang (Linda) Xie, Zhu Han:
A Hierarchical Vehicular-Based Architecture for Vehicular Networks: A Case Study on Computation Offloading. IEEE Access 8: 184273-184283 (2020) - [j9]Haoxin Wang, Tingting Liu, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang (Linda) Xie, Zhu Han:
Architectural Design Alternatives Based on Cloud/Edge/Fog Computing for Connected Vehicles. IEEE Commun. Surv. Tutorials 22(4): 2349-2377 (2020) - [j8]BaekGyu Kim, Takato Masuda, Shinichi Shiraishi:
Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments. ACM Trans. Cyber Phys. Syst. 4(1): 8:1-8:26 (2020) - [j7]Ziran Wang, Xishun Liao, Chao Wang, David Oswald, Guoyuan Wu, Kanok Boriboonsomsin, Matthew J. Barth, Kyungtae Han, BaekGyu Kim, Prashant Tiwari:
Driver Behavior Modeling Using Game Engine and Real Vehicle: A Learning-Based Approach. IEEE Trans. Intell. Veh. 5(4): 738-749 (2020) - [j6]Dawei Chen, Yin-Chen Liu, BaekGyu Kim, Jiang Xie, Choong Seon Hong, Zhu Han:
Edge Computing Resources Reservation in Vehicular Networks: A Meta-Learning Approach. IEEE Trans. Veh. Technol. 69(5): 5634-5646 (2020) - [j5]Akihito Nakamura, Yin-Chen Liu, BaekGyu Kim:
Short-Term Multi-Vehicle Trajectory Planning for Collision Avoidance. IEEE Trans. Veh. Technol. 69(9): 9253-9264 (2020) - [c38]Yecheng Zhao, BaekGyu Kim:
Optimizing Allocation and Scheduling of Connected Vehicle Service Requests in Cloud/Edge Computing. CLOUD 2020: 361-369 - [c37]Yin-Chen Liu, BaekGyu Kim:
V-WorkGen: Virtual Workload Generation Tool for Connected Automotive Services. IEEE BigData 2020: 1780-1783 - [c36]Chianing Johnny Wang, BaekGyu Kim:
Automotive Big Data Pipeline: Disaggregated Hyper-Converged Infrastructure vs Hyper-Converged Infrastructure. IEEE BigData 2020: 1784-1787 - [c35]Dawei Chen, Jiang (Linda) Xie, BaekGyu Kim, Li Wang, Choong Seon Hong, Li-Chun Wang, Zhu Han:
Federated Learning Based Mobile Edge Computing for Augmented Reality Applications. ICNC 2020: 767-773 - [c34]Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. RV 2020: 131-150 - [i8]Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. CoRR abs/2008.07667 (2020) - [i7]Haoxin Wang, Tingting Liu, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang (Linda) Xie, Zhu Han:
Architectural Design Alternatives based on Cloud/Edge/Fog Computing for Connected Vehicles. CoRR abs/2009.12509 (2020) - [i6]Haoxin Wang, BaekGyu Kim, Jiang (Linda) Xie, Zhu Han:
Energy Drain of the Object Detection Processing Pipeline for Mobile Devices: Analysis and Implications. CoRR abs/2011.13075 (2020) - [i5]Qiang Liu, Tao Han, Jiang (Linda) Xie, BaekGyu Kim:
LiveMap: Real-Time Dynamic Map in Automotive Edge Computing. CoRR abs/2012.10252 (2020)
2010 – 2019
- 2019
- [j4]BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3(3): 28:1-28:32 (2019) - [j3]Yue Yu, Xiao Tang, Jun Wu, BaekGyu Kim, Tiecheng Song, Zhu Han:
Multi-Leader-Follower Game for MEC-Assisted Fusion-Based Vehicle On-Road Analysis. IEEE Trans. Veh. Technol. 68(11): 11200-11212 (2019) - [c33]Ziran Wang, Kyungtae Han, BaekGyu Kim, Guoyuan Wu, Matthew J. Barth:
Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles. ACC 2019: 5298-5303 - [c32]Haoxin Wang, BaekGyu Kim, Jiang Xie, Zhu Han:
How Is Energy Consumed in Smartphone Deep Learning Apps? Executing Locally vs. Remotely. GLOBECOM 2019: 1-6 - [c31]Haoxin Wang, BaekGyu Kim, Jiang Xie, Zhu Han:
E-Auto: A Communication Scheme for Connected Vehicles with Edge-Assisted Autonomous Driving. ICC 2019: 1-6 - [c30]Yue Yu, Jun Wu, Xiao Tang, Tiecheng Song, BaekGyu Kim, Zhu Han:
Distributed Downloading Strategy for Multi-Source Data Fusion in Edge-Enabled Vehicular Network : (Invited Paper). ICCC 2019: 1-6 - [c29]Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng:
A Case Study of Trust on Autonomous Driving. ITSC 2019: 4368-4373 - [c28]Alesia Chernikova, Alina Oprea, Cristina Nita-Rotaru, BaekGyu Kim:
Are Self-Driving Cars Secure? Evasion Attacks Against Deep Neural Networks for Steering Angle Prediction. IEEE Symposium on Security and Privacy Workshops 2019: 132-137 - [c27]Yin-Chen Liu, BaekGyu Kim:
Demo: An Optimization Framework to Select Edge Servers for Automotive Connected Services. VNC 2019: 1-2 - [c26]Hiromitsu Kobayashi, Kyungtae Han, BaekGyu Kim:
Vehicle-to-Vehicle Message Sender Identification for Co-Operative Driver Assistance Systems. VTC Spring 2019: 1-5 - [i4]Ziran Wang, Kyungtae Han, BaekGyu Kim, Guoyuan Wu, Matthew J. Barth:
Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles. CoRR abs/1902.07747 (2019) - [i3]Alesia Chernikova, Alina Oprea, Cristina Nita-Rotaru, BaekGyu Kim:
Are Self-Driving Cars Secure? Evasion Attacks against Deep Neural Networks for Steering Angle Prediction. CoRR abs/1904.07370 (2019) - [i2]Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng:
A Case Study of Trust on Autonomous Driving. CoRR abs/1904.11007 (2019) - 2018
- [c25]Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi:
Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD 2018: 106-113 - [c24]Junhua Wang, Tingting Liu, Kai Liu, BaekGyu Kim, Jiang Xie, Zhu Han:
Computation Offloading Over Fog and Cloud Using Multi-Dimensional Multiple Knapsack Problem. GLOBECOM 2018: 1-7 - [c23]Tingting Liu, Jun Li, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang Xie, Zhu Han:
Distributed file allocation using matching game in mobile fog-caching service network. INFOCOM Workshops 2018: 499-504 - [c22]BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, Shinichi Shiraishi:
Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. ITSC 2018: 98-104 - [c21]Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng:
Safe and Secure Automotive Over-the-Air Updates. SAFECOMP 2018: 172-187 - [c20]Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi:
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. SCAV@CPSWeek 2018: 3-16 - [i1]Ziran Wang, BaekGyu Kim, Hiromitsu Kobayashi, Guoyuan Wu, Matthew J. Barth:
Agent-Based Modeling and Simulation of Connected and Automated Vehicles Using Game Engine: A Cooperative On-Ramp Merging Study. CoRR abs/1810.09952 (2018) - 2017
- [j2]BaekGyu Kim, Yusuke Kashiba, Siyuan Dai, Shinichi Shiraishi:
Testing Autonomous Vehicle Software in the Virtual Prototyping Environment. IEEE Embed. Syst. Lett. 9(1): 5-8 (2017) - [c19]Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng:
Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops 2017: 69-72 - 2016
- [c18]BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura:
The SMT-based automatic road network generation in vehicle simulation environment. EMSOFT 2016: 18:1-18:10 - [c17]BaekGyu Kim, Jonathan Shum, Akshay Jarandikar, Shinichi Shiraishi:
Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation. ICCPS 2016: 14:1 - [c16]Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim:
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. ISSRE Workshops 2016: 13-16 - [c15]Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee:
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA 2016: 76-84 - 2015
- [c14]BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
Platform-specific timing verification framework in model-based implementation. DATE 2015: 235-240 - [c13]Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky:
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE 2015: 418-428 - [c12]BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS 2015: 75-86 - 2014
- [c11]BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee:
A layered approach for testing timing in the model-based implementation. DATE 2014: 1-4 - [c10]Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112 - 2013
- [c9]BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
Platform-dependent code generation for embedded real-time software. CASES 2013: 8:1-8:10 - [c8]BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky:
Platform dependent code generation of real-time embedded software. ICCPS 2013: 246 - [c7]Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303 - 2012
- [j1]Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian:
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - [c6]Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino:
The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. IHI 2012: 667-672 - [c5]Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky:
A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 - [c4]BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP 2012: 16-22 - [c3]Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky:
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP 2012: 305-316 - 2011
- [c2]BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley:
Safety-assured development of the GPCA infusion pump software. EMSOFT 2011: 155-164 - [c1]Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino:
Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Wireless Health 2011: 16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint