Shinichi Shiraishi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
12
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DATE | Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. | Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo |
| 2019 | MSWIM | A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility. | Huiye Liu, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Douglas M. Blough |
| 2018 | DAC | Runtime monitoring for safety of intelligent vehicles. | Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi |
| 2018 | ICCAD | Network and system level security in connected vehicle applications. | Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu |
| 2018 | INFOCOM | Distributed file allocation using matching game in mobile fog-caching service network. | Tingting Liu, Jun Li, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang Xie, Zhu Han |
| 2018 | MODELS | Digital Behavioral Twins for Safe Connected Cars. | Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang |
| 2018 | RV | Property-Driven Runtime Resolution of Feature Interactions. | Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi |
| 2018 | SAFECOMP | Safe and Secure Automotive Over-the-Air Updates. | Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng |
| 2017 | DAC | Accurate High-level Modeling and Automated Hardware/Software Co-design for Effective SoC Design Space Exploration. | Wei Zuo, Louis-Nol Pouchet, Andrey Ayupov, Taemin Kim, Chung-Wei Lin, Shinichi Shiraishi, Deming Chen |
| 2017 | ICCAD | Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper). | Bowen Zheng, Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu |
| 2017 | ISSRE | Principles for Systematic Development of an Assurance Case Template from ISO 26262. | Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng |
| 2017 | ISSRE | Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping. | Siyuan Dai, Joseph Hite, Takato Masuda, Yusuke Kashiba, Nikos Archiga, Shinichi Shiraishi, Scott Eisele, Jason Scott, Ted Bapty |
| 2017 | SmartComp | Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. | Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu |
| 2016 | EMSOFT | The SMT-based automatic road network generation in vehicle simulation environment. | BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura |
| 2016 | ISSRE | An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. | Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim |
| 2016 | RTCSA | Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). | Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee |
| 2015 | ISSRE | Test suites for benchmarks of static analysis tools. | Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu |
| 2015 | RV | RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. | Philip Daian, Ylis Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu |
| 2014 | ISSRE | Proving Model Equivalence in Model Based Design. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | ISSRE | Arguing Software Compliance with ISO 26262. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | ISSRE | Quantitative Evaluation of Static Analysis Tools. | Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu |