Difference between revisions of "Shin'ichi Shiriashi"
From FSL
(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: | ||
| − | + | 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=" | + | <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
