Author of the publication

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.

, , , , , and . SMARTCOMP, page 1-8. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Shiraishi, Shinichi
add a person with the name Shiraishi, Shinichi
 

Other publications of authors with the same name

An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems., , and . ISSRE Workshops, page 13-16. IEEE Computer Society, (2016)The SMT-based automatic road network generation in vehicle simulation environment., , , , and . EMSOFT, page 18:1-18:10. ACM, (2016)Network and system level security in connected vehicle applications., , , , , , , and . ICCAD, page 94. ACM, (2018)Platform-Independent QoS Parameters and Primitive APIs for Automotive Software., , , , and . ITSC, page 98-104. IEEE, (2018)Threat Detection for Collaborative Adaptive Cruise Control in Connected Cars., , , , and . WISEC, page 184-189. ACM, (2018)Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper)., , , , , , and . RTCSA, page 76-84. IEEE Computer Society, (2016)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , and . DATE, page 246-251. IEEE, (2019)Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges., , , , , and . IEEE CLOUD, page 106-113. IEEE Computer Society, (2018)Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper)., , , , and . ICCAD, page 984-991. IEEE, (2017)A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility., , , , and . MSWiM, page 225-234. ACM, (2019)