Shinichi Shiraishi
Orcid: 0000-0003-2001-7662
According to our database1,
Shinichi Shiraishi
authored at least 50 papers
between 2000 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2021
IEEE Des. Test, 2021
2020
ACM Trans. Cyber Phys. Syst., 2020
Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments.
ACM Trans. Cyber Phys. Syst., 2020
Architectural Design Alternatives Based on Cloud/Edge/Fog Computing for Connected Vehicles.
IEEE Commun. Surv. Tutorials, 2020
2019
Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms.
IEEE Trans. Intell. Transp. Syst., 2019
A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification.
CoRR, 2019
A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility.
Proceedings of the 22nd International ACM Conference on Modeling, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
IEEE Trans. Intell. Veh., 2018
Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018
Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Distributed file allocation using matching game in mobile fog-caching service network.
Proceedings of the IEEE INFOCOM 2018, 2018
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the 55th Annual Design Automation Conference, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018
2017
IEEE Embed. Syst. Lett., 2017
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.
Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017
Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper).
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Accurate High-level Modeling and Automated Hardware/Software Co-design for Effective SoC Design Space Exploration.
Proceedings of the 54th Annual Design Automation Conference, 2017
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017
2016
Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper).
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016
Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Proceedings of the 2016 International Conference on Embedded Software, 2016
2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
The challenge of interoperability: model-based integration for automotive control software.
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
2013
Qualitative Comparison of ADL-Based Approaches to Real-World Automotive System Development.
J. Inf. Process., 2013
2011
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011
2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
2006
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
2005
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
2004
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004
2003
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
2002
A cost-effective and high-precision architecture for CORDIC-based adaptive lattice filters.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002
2000
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000