Amazon Web Services
Verified email at
Cited by
Cited by
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
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
Test suites for benchmarks of static analysis tools
S Shiraishi, V Mohan, H Marimuthu
2015 IEEE International Symposium on Software Reliability Engineering …, 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
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
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
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
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
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
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
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
APEX: Autonomous vehicle plan verification and execution
ME O'Kelly, H Abbas, S Gao, S Kato, S Shiraishi, R Mangharam
SAE Technical Paper, 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
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
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
Log-Based Vehicle Control System Verification
J Shum, BG Kim, S Shiraishi
US Patent App. 15/459,903, 2018
User profile-based automatic parameter tuning system for connected vehicles
S Shiraishi, M Yamaura, CW Lin
US Patent 10,202,127, 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
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
The challenge of interoperability: model-based integration for automotive control software
H Yu, P Joshi, JP Talpin, S Shukla, S Shiraishi
Proceedings of the 52nd annual design automation conference, 1-6, 2015
The system can't perform the operation now. Try again later.
Articles 1–20