Follow
BaekGyu Kim
BaekGyu Kim
Assistant Professor, Electrical Engineering and Computer Science, DGIST
Verified email at dgist.ac.kr - Homepage
Title
Cited by
Cited by
Year
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
4612012
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
1072011
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
792020
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
622020
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
602019
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
592017
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
522019
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
452012
A safety case pattern for model-based development approach
A Ayoub, BG Kim, I Lee, O Sokolsky
NASA Formal Methods Symposium, 141-146, 2012
422012
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
412020
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
402020
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
312013
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
282018
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
232019
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
222018
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
212019
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
212016
A causality analysis framework for component-based real-time systems
S Wang, A Ayoub, BG Kim, G Gössler, O Sokolsky, I Lee
International Conference on Runtime Verification, 285-303, 2013
202013
Dynamic virtual object generation for testing autonomous vehicles in simulated driving scenarios
BG Kim, S Shiraishi, J Shum
US Patent 10,346,564, 2019
192019
From requirements to code: Model based development of a medical cyber physical system
A Murugesan, MPE Heimdahl, MW Whalen, S Rayadurgam, J Komp, ...
Software Engineering in Health Care: 4th International Symposium, FHIES 2014 íŽ, 2017
192017
The system can't perform the operation now. Try again later.
Articles 1–20