Difference between revisions of "Shin'ichi Shiriashi"

From FSL
Jump to: navigation, search
(Created page with "Shin'ichi Shiraishi is a collaborator from the Toyota ITC. Checkout his Linked webpage at https://www.linkedin.com/in/shinichi-shiraishi-94982b55 for latest news. === Publica...")
 
 
Line 1: Line 1:
Shin'ichi Shiraishi is a collaborator from the Toyota ITC.
+
Shinichi Shiraishi is a collaborator from the Toyota ITC.
 
Checkout his Linked webpage at https://www.linkedin.com/in/shinichi-shiraishi-94982b55 for latest news.
 
Checkout his Linked webpage at https://www.linkedin.com/in/shinichi-shiraishi-94982b55 for latest news.
  
 
=== Publications within FSL ===
 
=== Publications within FSL ===
  
<pubbib author="Shin'ichi Shiriashi" category="fsl"></pubbib>
+
<pubbib author="Shinichi Shiraishi" category="fsl"></pubbib>

Latest revision as of 21:20, 1 October 2016

Shinichi Shiraishi is a collaborator from the Toyota ITC. Checkout his Linked webpage at https://www.linkedin.com/in/shinichi-shiraishi-94982b55 for latest news.

[edit] Publications within FSL

RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring 
Philip Daian and Bhargava Manja and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
SAE'16, SAE International 2016-01-0126, pp 1-13. 2016
PDF, Slides(PPT), RV-ECU, DOI, SAE'16, BIB
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial 
Philip Daian and Ylies Falcone and Patrick Meredith and Traian Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
RV'15, Lecture Notes in Computer Science 9333, pp 342-357. 2015
PDF, Slides(PDF), RV-Android, DOI, RV'15, BIB

Personal tools
Namespaces

Variants
Actions
Navigation