Challenges and research directions in medical cyber–physical systems I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ... Proceedings of the IEEE 100 (1), 75-90, 2012 | 491 | 2012 |
Architectural Design Alternatives based on Cloud/Edge/Fog Computing for Connected Vehicles H Wang, T Liu, BG Kim, CW Lin, S Shiraishi, J Xie, Z Han IEEE Communications Surveys & Tutorials 22 (4), 2349-2377, 2020 | 115 | 2020 |
Safety-assured development of the gpca infusion pump software BG Kim, A Ayoub, O Sokolsky, I Lee, P Jones, Y Zhang, R Jetley Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 111 | 2011 |
Driver behavior modeling using game engine and real vehicle: A learning-based approach Z Wang, X Liao, C Wang, D Oswald, G Wu, K Boriboonsomsin, MJ Barth, ... IEEE Transactions on Intelligent Vehicles 5 (4), 738-749, 2020 | 88 | 2020 |
Are self-driving cars secure? Evasion attacks against deep neural networks for steering angle prediction A Chernikova, A Oprea, C Nita-Rotaru, BG Kim 2019 IEEE Security and Privacy Workshops (SPW), 132-137, 2019 | 81 | 2019 |
Federated Learning Based Mobile Edge Computing for Augmented Reality Applications D Chen, LJ Xie, BG Kim, L Wang, CS Hong, LC Wang, Z Han 2020 International Conference on Computing, Networking and Communications …, 2020 | 72 | 2020 |
Testing autonomous vehicle software in the virtual prototyping environment B Kim, Y Kashiba, S Dai, S Shiraishi IEEE Embedded Systems Letters 9 (1), 5-8, 2017 | 72 | 2017 |
Cooperative ramp merging system: Agent-based modeling and simulation using game engine Z Wang, G Wu, K Boriboonsomsin, MJ Barth, K Han, B Kim, P Tiwari SAE International Journal of Connected and Automated Vehicles 2 (2), 2019 | 61 | 2019 |
Edge Computing Resources Reservation in Vehicular Networks: A Meta-Learning Approach D Chen, YC Liu, BG Kim, J Xie, CS Hong, Z Han IEEE Transactions on Vehicular Technology 69 (5), 5634-5646, 2020 | 60 | 2020 |
A systematic approach to justifying sufficient confidence in software safety arguments A Ayoub, BG Kim, I Lee, O Sokolsky International Conference on Computer Safety, Reliability, and Security, 305-316, 2012 | 48 | 2012 |
A safety case pattern for model-based development approach A Ayoub, BG Kim, I Lee, O Sokolsky NASA Formal Methods Symposium, 141-146, 2012 | 45 | 2012 |
Safe and Secure Automotive Over-the-Air Updates T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ... International Conference on Computer Safety, Reliability, and Security, 172-187, 2018 | 37 | 2018 |
A Case Study of Trust on Autonomous Driving* S Sheng, E Pakdamanian, K Han, BG Kim, P Tiwari, I Kim, L Feng 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 4368-4373, 2019 | 32 | 2019 |
Platform-dependent code generation for embedded real-time software BG Kim, LTX Phan, O Sokolsky, I Lee Compilers, Architecture and Synthesis for Embedded Systems (CASES), 2013 …, 2013 | 32 | 2013 |
Dynamic virtual object generation for testing autonomous vehicles in simulated driving scenarios BG Kim, S Shiraishi, J Shum US Patent 10,346,564, 2019 | 29 | 2019 |
LiveMap: Real-Time Dynamic Map in Automotive Edge Computing Q Liu, T Han, JL Xie, BG Kim IEEE INFOCOM 2021-IEEE Conference on Computer Communications, 1-10, 2021 | 28 | 2021 |
Computation Offloading Over Fog and Cloud Using Multi-Dimensional Multiple Knapsack Problem J Wang, T Liu, K Liu, BG Kim, J Xie, Z Han 2018 IEEE Global Communications Conference (GLOBECOM), 1-7, 2018 | 28 | 2018 |
The SMT-based automatic road network generation in vehicle simulation environment BG Kim, A Jarandikar, J Shum, S Shiraishi, M Yamaura Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016 | 26 | 2016 |
E-Auto: A Communication Scheme for Connected Vehicles with Edge-Assisted Autonomous Driving H Wang, BG Kim, J Xie, Z Han ICC 2019-2019 IEEE International Conference on Communications (ICC), 1-6, 2019 | 25 | 2019 |
Log-Based Vehicle Control System Verification J Shum, BG Kim, S Shiraishi US Patent App. 15/459,903, 2018 | 24 | 2018 |