![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Shinichi Shiraishi
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2021
- [j11]Chung-Wei Lin
, BaekGyu Kim
, Shinichi Shiraishi
:
Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems. IEEE Des. Test 38(5): 65-73 (2021) - 2020
- [j10]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): 2349-2377 (2020) - [j9]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): 3:1-3:27 (2020) - [j8]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): 8:1-8:26 (2020) - [j7]Muhammed O. Sayin
, Chung-Wei Lin
, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar
:
Reliable Smart Road Signs. IEEE Trans. Intell. Transp. Syst. 21(12): 4995-5009 (2020) - 2019
- [j6]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): 912-924 (2019) - 2018
- [j5]Changliu Liu
, Chung-Wei Lin
, Shinichi Shiraishi
, Masayoshi Tomizuka:
Distributed Conflict Resolution for Connected Autonomous Vehicles. IEEE Trans. Intell. Veh. 3(1): 18-29 (2018) - 2017
- [j4]BaekGyu Kim
, Yusuke Kashiba, Siyuan Dai, Shinichi Shiraishi:
Testing Autonomous Vehicle Software in the Virtual Prototyping Environment. IEEE Embed. Syst. Lett. 9(1): 5-8 (2017) - 2013
- [j3]Shin'ichi Shiraishi:
Qualitative Comparison of ADL-Based Approaches to Real-World Automotive System Development. J. Inf. Process. 21(1): 34-45 (2013) - 2006
- [j2]Shin'ichi Shiraishi, Miki Haseyama, Hideo Kitajima:
Steady-State Properties of a CORDIC-Based Adaptive ARMA Lattice Filter. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(12): 3724-3729 (2006) - 2005
- [j1]Shin'ichi Shiraishi, Miki Haseyama, Hideo Kitajima:
Convergence Properties of a CORDIC-Based Adaptive ARMA Lattice Filter. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(8): 2154-2164 (2005)
Conference and Workshop Papers
- 2019
- [c38]Chanwook Oh
, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo:
Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE 2019: 246-251 - [c37]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: 225-234 - 2018
- [c36]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: 106-113 - [c35]Muhammed O. Sayin
, Chung-Wei Lin, Shinichi Shiraishi, Tamer Basar:
Reliable Intersection Control in Non-cooperative Environments. ACC 2018: 609-614 - [c34]Changliu Liu, Chung-Wei Lin, Shinichi Shiraishi, Masayoshi Tomizuka:
Improving Efficiency of Autonomous Vehicles by V2V Communication. ACC 2018: 4778-4783 - [c33]Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi:
Runtime monitoring for safety of intelligent vehicles. DAC 2018: 31:1-31:6 - [c32]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: 94 - [c31]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: 499-504 - [c30]BaekGyu Kim
, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, Shinichi Shiraishi:
Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. ITSC 2018: 98-104 - [c29]Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
:
Digital Behavioral Twins for Safe Connected Cars. MoDELS 2018: 144-153 - [c28]Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang
, Shinichi Shiraishi:
Property-Driven Runtime Resolution of Feature Interactions. RV 2018: 316-333 - [c27]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: 172-187 - [c26]Matthew Jagielski, Nicholas Jones, Chung-Wei Lin, Cristina Nita-Rotaru, Shinichi Shiraishi:
Threat Detection for Collaborative Adaptive Cruise Control in Connected Cars. WISEC 2018: 184-189 - [c25]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: 3-16 - 2017
- [c24]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: 11-18 - [c23]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: 78:1-78:6 - [c22]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: 984-991 - [c21]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: 69-72 - [c20]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: 73-76 - [c19]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: 1-8 - 2016
- [c18]BaekGyu Kim
, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura:
The SMT-based automatic road network generation in vehicle simulation environment. EMSOFT 2016: 18:1-18:10 - [c17]BaekGyu Kim, Jonathan Shum, Akshay Jarandikar, Shinichi Shiraishi:
Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation. ICCPS 2016: 14:1 - [c16]Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim
:
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. ISSRE Workshops 2016: 13-16 - [c15]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: 76-84 - [c14]Bengi Aygün, Chung-Wei Lin, Shinichi Shiraishi, Alexander M. Wyglinski
:
Selective message relaying for multi-hopping vehicular networks. VNC 2016: 1-8 - 2015
- [c13]Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi:
The challenge of interoperability: model-based integration for automotive control software. DAC 2015: 58:1-58:6 - [c12]Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu:
Test suites for benchmarks of static analysis tools. ISSRE Workshops 2015: 12-15 - [c11]Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu:
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV 2015: 342-357 - 2014
- [c10]Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi:
Proving Model Equivalence in Model Based Design. ISSRE Workshops 2014: 18-21 - [c9]Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu:
Quantitative Evaluation of Static Analysis Tools. ISSRE Workshops 2014: 96-99 - [c8]Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi:
Arguing Software Compliance with ISO 26262. ISSRE Workshops 2014: 226-231 - [c7]Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi:
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. ACVI@MoDELS 2014 - 2011
- [c6]Hiroyuki Okamura
, Tadashi Dohi
, Shin'ichi Shiraishi, Mutsumi Abe:
Composite dependability modeling for in-vehicle networks. DSN Workshops 2011: 240-245 - 2010
- [c5]Shin'ichi Shiraishi:
An AADL-Based Approach to Variability Modeling of Automotive Control Systems. MoDELS (1) 2010: 346-360 - 2004
- [c4]Shin'ichi Shiraishi, Miki Haseyama, Hideo Kitajima:
A convergence model for a CORDIC-based ARMA lattice filter. ISCAS (3) 2004: 301-304 - 2003
- [c3]Shin'ichi Shiraishi, Miki Haseyama, Hideo Kitajima:
Convergence analysis of a CORDIC-based gradient adaptive lattice filter. ISCAS (4) 2003: 456-459 - 2002
- [c2]Shin'ichi Shiraishi, Miki Haseyama, Hideo Kitajima:
A cost-effective and high-precision architecture for CORDIC-based adaptive lattice filters. ISCAS (5) 2002: 297-300 - 2000
- [c1]Shin'ichi Shiraishi, Miki Haseyama, Hideo Kitajima:
A highly accurate pipelined architecture for a CORDIC ARMA lattice filter. ISCAS 2000: 369-372
Informal and Other Publications
- 2020
- [i3]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 abs/2009.12509 (2020) - 2019
- [i2]Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Tamer Basar:
A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification. CoRR abs/1901.10622 (2019) - 2018
- [i1]Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Tamer Basar:
Reliable Intersection Control in Non-cooperative Environments. CoRR abs/1802.08138 (2018)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint