Seguir
Shinichi SHIRAISHI
Shinichi SHIRAISHI
Amazon Web Services
Dirección de correo verificada de amazon.co.jp
Título
Citado por
Citado por
Año
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
1422020
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
1352017
Test suites for benchmarks of static analysis tools
S Shiraishi, V Mohan, H Marimuthu
2015 IEEE International Symposium on Software Reliability Engineering …, 2015
832015
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
822018
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
752016
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
732018
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
552018
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
532018
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
462019
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
442017
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
402017
APEX: Autonomous vehicle plan verification and execution
ME O'Kelly, H Abbas, S Gao, S Kato, S Shiraishi, R Mangharam
SAE Technical Paper, 2016
392016
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
342018
Dynamic virtual object generation for testing autonomous vehicles in simulated driving scenarios
BG Kim, S Shiraishi, J Shum
US Patent 10,346,564, 2019
302019
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
272016
Log-Based Vehicle Control System Verification
J Shum, BG Kim, S Shiraishi
US Patent App. 15/459,903, 2018
252018
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
242019
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
242017
User profile-based automatic parameter tuning system for connected vehicles
S Shiraishi, M Yamaura, CW Lin
US Patent 10,202,127, 2019
232019
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
232018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20