Shinichi Shiraishi

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 36

Top Topics

Autonomous Vehicles

Conflict Resolution

Top Venues

ISSRE Workshops

ACM Trans. Cyber Phys. Syst.

Publications

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