| 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 | 346 | 2012 |
| 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 | 95 | 2011 |
| 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 | 46* | 2017 |
| 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 | 41 | 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 | 38 | 2012 |
| 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 | 27 | 2013 |
| 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 | 23 | 2019 |
| IEEE 802.15. 4 MAC-based location-ID exchange protocol for realizing micro-cell connectionless location-awareness services BG Kim, SJ Kang Journal of Computing Science and Engineering 2 (4), 412-427, 2008 | 19 | 2008 |
| The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity P Asare, D Cong, SG Vattam, BG Kim, A King, O Sokolsky, I Lee, S Lin, ... Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium …, 2012 | 17 | 2012 |
| The SMT-based automatic road network generation in vehicle simulation environment BG Kim, A Jarandikar, J Shum, S Shiraishi, M Yamaura 2016 International Conference on Embedded Software (EMSOFT), 1-10, 2016 | 16 | 2016 |
| 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 | 16 | 2013 |
| 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 | 15 | 2019 |
| Platform-specific timing verification framework in model-based implementation BG Kim, L Feng, LTX Phan, O Sokolsky, I Lee Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 …, 2015 | 14 | 2015 |
| 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, 96-112, 2014 | 14 | 2014 |
| Agent-Based Modeling and Simulation of Connected and Automated Vehicles Using Game Engine: A Cooperative On-Ramp Merging Study Z Wang, BG Kim, H Kobayashi, G Wu, MJ Barth arXiv preprint arXiv:1810.09952, 2018 | 13 | 2018 |
| Automotive software certification: Current status and challenges H Yu, CW Lin, BG Kim SAE International journal of passenger cars-electronic and electrical …, 2016 | 12 | 2016 |
| 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 | 10 | 2018 |
| A layered approach for testing timing in the model-based implementation BG Kim, HI Hwang, T Park, SH Son, I Lee 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014 | 10 | 2014 |
| 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 | 8 | 2019 |
| Lookup table-based consensus algorithm for real-time longitudinal motion control of connected and automated vehicles Z Wang, K Han, BG Kim, G Wu, MJ Barth 2019 American Control Conference (ACC), 5298-5303, 2019 | 8 | 2019 |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
