BaekGyu Kim

Publications

• LiveMap: Real-time dynamic map in automotive edge computing
• Energy drain of the object detection processing pipeline for mobile devices: Analysis and implications
• Architectural design alternatives based on cloud/edge/fog computing for connected vehicles
• Runtime-safety-guided policy repair
• A case study of trust on autonomous driving
• Are self-driving cars secure? evasion attacks against deep neural networks for steering angle prediction
• Lookup table-based consensus algorithm for real-time longitudinal motion control of connected and automated vehicles
• Agent-Based Modeling and Simulation of Connected and Automated Vehicles Using Game Engine: A Cooperative On-Ramp Merging Study
• Automatic generation of communication requirements for enforcing multi-agent safety
• Lookup table-based consensus algorithm for real-time longitudinal motion control of connected and automated vehicles
• Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps
• Federated Learning with Infrastructure Resource Limitations in Vehicular Object Detection
• Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment
• A hierarchical vehicular-based architecture for vehicular networks: A case study on computation offloading
• Computation Offloading over Fog and Cloud Using Multi-Dimensional Multiple Knapsack Problem
• Test specification and generation for connected and autonomous vehicle in virtual environments
• Hierarchical Game for Networked Electric Vehicle Public Charging under Time-Based Billing Model
• Automatic generation of communication requirements for enforcing multi-agent safety
• Are self-driving cars secure? Evasion attacks against deep neural networks for steering angle prediction
• Architectural Design Alternatives Based on Cloud/Edge/Fog Computing for Connected Vehicles
• LEAF + AIO: Edge-Assisted Energy-Aware Object Detection for Mobile Augmented Reality
• Demo: An Optimization Framework to Select Edge Servers for Automotive Connected Services
• How is energy consumed in smartphone deep learning apps? executing locally vs. remotely
• A Case Study of Trust on Autonomous Driving
• LiveMap: Real-time dynamic map in automotive edge computing
• Time Efficient Offloading Optimization in Automotive Multi-Access Edge Computing Networks Using Mean-Field Games
• Real-Time Dynamic Map With Crowdsourcing Vehicles in Edge Computing
• Runtime-Safety-Guided Policy Repair
• Short-Term Multi-Vehicle Trajectory Planning for Collision Avoidance
• Vehicle-to-vehicle message sender identification for co-operative driver assistance systems
• Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges
• Energy Drain of the Object Detection Processing Pipeline for Mobile Devices: Analysis and Implications
• Optimizing allocation and scheduling of connected vehicle service requests in cloud/edge computing
• A Data Distribution Service Perspective on Edge-based Mobility Services
• Driver Behavior Modeling Using Game Engine and Real Vehicle: A Learning-Based Approach
• Edge-Assisted Service Allocation and Delivery for Connected Vehicles with Variable Velocities
• V-WorkGen: Virtual Workload Generation Tool for Connected Automotive Services
• Automotive Big Data Pipeline: Disaggregated Hyper-Converged Infrastructure vs Hyper-Converged Infrastructure
• Real-Time Dynamic Map with Crowdsourcing Vehicles in Edge Computing
• Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems
• Distributed downloading strategy for multi-source data fusion in edge-enabled vehicular network: (Invited paper)
• LEAF + AIO: Edge-Assisted Energy-Aware Object Detection for Mobile Augmented Reality
• Distributed file allocation using matching game in mobile fog-caching service network
• Multi-Leader-Follower Game for MEC-Assisted Fusion-Based Vehicle On-Road Analysis
• Toward Large Scale Test for Autonomous Driving Software in Collaborative Virtual Environment
• E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing
• Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models
• Edge Computing Resources Reservation in Vehicular Networks: A Meta-Learning Approach
• Federated Learning Based Mobile Edge Computing for Augmented Reality Applications
• E-Auto: A Communication Scheme for Connected Vehicles with Edge-Assisted Autonomous Driving
• Automotive Software Certification: Current Status and Challenges
• Executing model-based tests on platform-specific implementations
• Platform-Based Automotive Safety Features
• Principles for systematic development of an assurance case template from ISO 26262
• Platform-Independent QoS Parameters and Primitive APIs for Automotive Software
• U-FIPI: Ubiquitous sensor network service infra supporting bidirectional location-awareness between mobile nodes and fixture nodes
• Demo of the medical device dongle: An open-source standards-based platform for interoperable medical device connectivity
• A causality analysis framework for component-based real-time systems
• A safety case pattern for model-based development approach
• Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper)
• Challenges and research directions in medical cyber-physical systems
• Platform-Specific Code Generation from Platform-Independent Timed Models
• The SMT-based automatic road network generation in vehicle simulation environment
• Demo abstract: Platform dependent code generation of real-time embedded software
• Platform-specific timing verification framework in model-based implementation
• The medical device dongle: An open-source standards-based platform for interoperable medical device connectivity
• Safety-assured development of the GPCA infusion pump software
• Safe and Secure Automotive Over-the-Air Updates
• Testing Autonomous Vehicle Software in the Virtual Prototyping Environment
• A model-based I/O interface synthesis framework for the cross-platform software modeling
• An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems
• From requirements to code: Model based development of a medical cyber physical system
• A layered approach for testing timing in the model-based implementation
• Platform-dependent code generation for embedded real-time software
• A systematic approach to justifying sufficient confidence in software safety arguments