Shinichi SHIRAISHI
Shinichi SHIRAISHI
Toyota Research Institute - Advanced Development
Verified email at tri-ad.global
Title
Cited by
Cited by
Year
Method and system for using short ranged wireless enabled computers as a service tool
J Siegers
US Patent 7,085,623, 2006
2372006
Test suites for benchmarks of static analysis tools
S Shiraishi, V Mohan, H Marimuthu
2015 IEEE International Symposium on Software Reliability Engineering …, 2015
462015
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
392016
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
382017
DC-to-DC converter with improved transient response
L Lipcsei
US Patent 6,678,178, 2004
312004
Multi-unit power generation system for stand-alone and grid connected operation
C Van Nguyen, DW Trimble
US Patent 7,122,916, 2006
282006
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
222018
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
212016
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
192015
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
182017
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
152018
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
152017
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
152016
An AADL-based approach to variability modeling of automotive control systems
S Shiraishi
International Conference on Model Driven Engineering Languages and Systems …, 2010
152010
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
132017
Arguing software compliance with ISO 26262
AB Hocking, J Knight, MA Aiello, S Shiraishi
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
122014
Computer having self-monitoring function and monitoring program
S Shiraishi, M Akei, T Ando
US Patent 9,588,878, 2017
112017
Transportation and dispenser box made of cardboard and including a roll or items to be used in garages
J Horn
US Patent 6,976,583, 2005
112005
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
102018
ADAS virtual prototyping with the OpenMETA toolchain
S Eisele, M Yamaura, N Arechiga, S Shiraishi, J Hite, J Scott, S Neema, ...
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20