| 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 | 138 | 2020 |
| Distributed conflict resolution for connected autonomous vehicles C Liu, CW Lin, S Shiraishi, M Tomizuka IEEE Transactions on Intelligent Vehicles 3 (1), 18-29, 2017 | 134 | 2017 |
| Test suites for benchmarks of static analysis tools S Shiraishi, V Mohan, H Marimuthu 2015 IEEE International Symposium on Software Reliability Engineering …, 2015 | 83 | 2015 |
| Digital behavioral twins for safe connected cars X Chen, E Kang, S Shiraishi, VM Preciado, Z Jiang Proceedings of the 21th ACM/IEEE international conference on model driven …, 2018 | 81 | 2018 |
| 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, 2016 | 76 | 2016 |
| Information-driven autonomous intersection control via incentive compatible mechanisms MO Sayin, CW Lin, S Shiraishi, J Shen, T Başar IEEE Transactions on Intelligent Transportation Systems 20 (3), 912-924, 2018 | 70 | 2018 |
| Threat detection for collaborative adaptive cruise control in connected cars M Jagielski, N Jones, CW Lin, C Nita-Rotaru, S Shiraishi Proceedings of the 11th ACM conference on security & privacy in wireless and …, 2018 | 54 | 2018 |
| Safe and secure automotive over-the-air updates T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ... Computer Safety, Reliability, and Security: 37th International Conference …, 2018 | 52 | 2018 |
| Design and analysis of delay-tolerant intelligent intersection management B Zheng, CW Lin, S Shiraishi, Q Zhu ACM Transactions on Cyber-Physical Systems 4 (1), 1-27, 2019 | 45 | 2019 |
| Delay-aware design, analysis and verification of intelligent intersection management B Zheng, CW Lin, H Liang, S Shiraishi, W Li, Q Zhu 2017 IEEE International Conference on Smart Computing (SMARTCOMP), 1-8, 2017 | 44 | 2017 |
| Accurate high-level modeling and automated hardware/software co-design for effective SoC design space exploration W Zuo, LN Pouchet, A Ayupov, T Kim, CW Lin, S Shiraishi, D Chen Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017 | 40 | 2017 |
| APEX: Autonomous vehicle plan verification and execution ME O'Kelly, H Abbas, S Gao, S Kato, S Shiraishi, R Mangharam SAE Technical Paper, 2016 | 38 | 2016 |
| Dynamic virtual object generation for testing autonomous vehicles in simulated driving scenarios BG Kim, S Shiraishi, J Shum US Patent 10,346,564, 2019 | 33 | 2019 |
| Runtime monitoring for safety of intelligent vehicles K Watanabe, E Kang, CW Lin, S Shiraishi Proceedings of the 55th annual design automation conference, 1-6, 2018 | 33 | 2018 |
| Log-Based Vehicle Control System Verification J Shum, BG Kim, S Shiraishi US Patent App. 15/459,903, 2018 | 27 | 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 | 27 | 2016 |
| User profile-based automatic parameter tuning system for connected vehicles S Shiraishi, M Yamaura, CW Lin US Patent 10,202,127, 2019 | 25 | 2019 |
| A byzantine-tolerant distributed consensus algorithm for connected vehicles using proof-of-eligibility H Liu, CW Lin, E Kang, S Shiraishi, DM Blough Proceedings of the 22nd International ACM Conference on Modeling, Analysis …, 2019 | 24 | 2019 |
| Personalized medical emergency autopilot system based on portable medical device data BG Kim, CW Lin, S Shiraishi US Patent 9,932,041, 2018 | 24 | 2018 |
| Timing and security analysis of VANET-based intelligent transportation systems B Zheng, MO Sayin, CW Lin, S Shiraishi, Q Zhu 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 984-991, 2017 | 24 | 2017 |
