Toyota Research Institute - Advanced Development
Verified email at
Cited by
Cited by
Method and system for using short ranged wireless enabled computers as a service tool
J Siegers
US Patent 7,085,623, 2006
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
Test suites for benchmarks of static analysis tools
S Shiraishi, V Mohan, H Marimuthu
2015 IEEE International Symposium on Software Reliability Engineering …, 2015
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
DC-to-DC converter with improved transient response
L Lipcsei
US Patent 6,678,178, 2004
Multi-unit power generation system for stand-alone and grid connected operation
C Van Nguyen, DW Trimble
US Patent 7,122,916, 2006
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
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
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
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
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
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
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
An AADL-based approach to variability modeling of automotive control systems
S Shiraishi
International Conference on Model Driven Engineering Languages and Systems …, 2010
Safe and secure automotive over-the-air updates
T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ...
International Conference on Computer Safety, Reliability, and Security, 172-187, 2018
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
Arguing software compliance with ISO 26262
AB Hocking, J Knight, MA Aiello, S Shiraishi
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
Bandwidth optimal data/service delivery for connected vehicles via edges
D Gangadharan, O Sokolsky, I Lee, BG Kim, CW Lin, S Shiraishi
2018 IEEE 11th International Conference on Cloud Computing (CLOUD), 106-113, 2018
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 system can't perform the operation now. Try again later.
Articles 1–20