Shinichi Shiraishi

41 papers A* 2A 5B 5C 2Misc 1Journal 11Unranked 15

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems. IEEE Des. Test Chung-Wei Lin, BaekGyu Kim, Shinichi Shiraishi
2020	J	`jnl`	Architectural Design Alternatives Based on Cloud/Edge/Fog Computing for Connected Vehicles. IEEE Commun. Surv. Tutorials Haoxin Wang, Tingting Liu, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang (Linda) Xie, Zhu Han
2020	J	`jnl`	Architectural Design Alternatives based on Cloud/Edge/Fog Computing for Connected Vehicles. CoRR Haoxin Wang, Tingting Liu, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang (Linda) Xie, Zhu Han
2020	J	`jnl`	Design and Analysis of Delay-Tolerant Intelligent Intersection Management. ACM Trans. Cyber Phys. Syst. Bowen Zheng, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu
2020	J	`jnl`	Reliable Smart Road Signs. IEEE Trans. Intell. Transp. Syst. Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
2020	J	`jnl`	Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments. ACM Trans. Cyber Phys. Syst. BaekGyu Kim, Takato Masuda, Shinichi Shiraishi
2019	A	`conf`	A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility. MSWiM Huiye Liu, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Douglas M. Blough
2019	J	`jnl`	A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification. CoRR Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
2019	J	`jnl`	Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms. IEEE Trans. Intell. Transp. Syst. Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Jiajun Shen, Tamer Basar
2019	A	`conf`	Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo
2018	—	`conf`	Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. SCAV@CPSWeek Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi
2018	—	`conf`	Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi
2018	A	`conf`	Digital Behavioral Twins for Safe Connected Cars. MoDELS Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
2018	J	`jnl`	Distributed Conflict Resolution for Connected Autonomous Vehicles. IEEE Trans. Intell. Veh. Changliu Liu, Chung-Wei Lin, Shinichi Shiraishi, Masayoshi Tomizuka
2018	—	`conf`	Distributed file allocation using matching game in mobile fog-caching service network. INFOCOM Workshops Tingting Liu, Jun Li, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang Xie, Zhu Han
2018	C	`conf`	Improving Efficiency of Autonomous Vehicles by V2V Communication. ACC Changliu Liu, Chung-Wei Lin, Shinichi Shiraishi, Masayoshi Tomizuka
2018	A	`conf`	Network and system level security in connected vehicle applications. ICCAD Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu
2018	—	`conf`	Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. ITSC BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, Shinichi Shiraishi
2018	B	`conf`	Property-Driven Runtime Resolution of Feature Interactions. RV Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
2018	C	`conf`	Reliable Intersection Control in Non-cooperative Environments. ACC Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Tamer Basar
2018	J	`jnl`	Reliable Intersection Control in Non-cooperative Environments. CoRR Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Tamer Basar
2018	A*	`conf`	Runtime monitoring for safety of intelligent vehicles. DAC Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi
2018	B	`conf`	Safe and Secure Automotive Over-the-Air Updates. SAFECOMP Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
2018	—	`conf`	Threat Detection for Collaborative Adaptive Cruise Control in Connected Cars. WISEC Matthew Jagielski, Nicholas Jones, Chung-Wei Lin, Cristina Nita-Rotaru, Shinichi Shiraishi
2017	A*	`conf`	Accurate High-level Modeling and Automated Hardware/Software Co-design for Effective SoC Design Space Exploration. DAC Wei Zuo, Louis-Noël Pouchet, Andrey Ayupov, TaeMin Kim, Chung-Wei Lin, Shinichi Shiraishi, Deming Chen
2017	—	`conf`	Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping. ISSRE Workshops Siyuan Dai, Joseph Hite, Takato Masuda, Yusuke Kashiba, Nikos Aréchiga, Shinichi Shiraishi, Scott Eisele, Jason Scott, Ted Bapty
2017	B	`conf`	Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. SMARTCOMP Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu
2017	—	`conf`	Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. SCAV@CPSWeek Nikos Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi
2017	—	`conf`	Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng
2017	J	`jnl`	Testing Autonomous Vehicle Software in the Virtual Prototyping Environment. IEEE Embed. Syst. Lett. BaekGyu Kim, Yusuke Kashiba, Siyuan Dai, Shinichi Shiraishi
2017	A	`conf`	Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper). ICCAD Bowen Zheng, Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu
2016	—	`conf`	An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. ISSRE Workshops Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim
2016	—	`conf`	Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation. ICCPS BaekGyu Kim, Jonathan Shum, Akshay Jarandikar, Shinichi Shiraishi
2016	B	`conf`	Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
2016	—	`conf`	Selective message relaying for multi-hopping vehicular networks. VNC Bengi Aygün, Chung-Wei Lin, Shinichi Shiraishi, Alexander M. Wyglinski
2016	Misc	`conf`	The SMT-based automatic road network generation in vehicle simulation environment. EMSOFT BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura
2015	B	`conf`	RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu
2015	—	`conf`	Test suites for benchmarks of static analysis tools. ISSRE Workshops Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu
2014	—	`conf`	Arguing Software Compliance with ISO 26262. ISSRE Workshops Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
2014	—	`conf`	Proving Model Equivalence in Model Based Design. ISSRE Workshops Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
2014	—	`conf`	Quantitative Evaluation of Static Analysis Tools. ISSRE Workshops Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu