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 | 142 | 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 | 135 | 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 | 82 | 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 | 75 | 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 | 73 | 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 | 55 | 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 | 53 | 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 | 46 | 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 | 39 | 2016 |
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 | 34 | 2018 |
Dynamic virtual object generation for testing autonomous vehicles in simulated driving scenarios BG Kim, S Shiraishi, J Shum US Patent 10,346,564, 2019 | 30 | 2019 |
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 |
Log-Based Vehicle Control System Verification J Shum, BG Kim, S Shiraishi US Patent App. 15/459,903, 2018 | 25 | 2018 |
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 |
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 |
User profile-based automatic parameter tuning system for connected vehicles S Shiraishi, M Yamaura, CW Lin US Patent 10,202,127, 2019 | 23 | 2019 |
Network and system level security in connected vehicle applications H Liang, M Jagielski, B Zheng, CW Lin, E Kang, S Shiraishi, C Nita-Rotaru, ... 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-7, 2018 | 23 | 2018 |