Difference between revisions of "Akihito Iwai"
From FSL
(Created page with "Akihito Iwai is a collaborator from DENSO. Checkout his Linked webpage at https://www.linkedin.com/in/akihito-iwai-86b65a45 for latest news. === Publications within FSL === ...") |
|||
| Line 1: | Line 1: | ||
Akihito Iwai is a collaborator from DENSO. | Akihito Iwai is a collaborator from DENSO. | ||
Checkout his Linked webpage at https://www.linkedin.com/in/akihito-iwai-86b65a45 for latest news. | Checkout his Linked webpage at https://www.linkedin.com/in/akihito-iwai-86b65a45 for latest news. | ||
| − | |||
| − | |||
<pubbib author="Akihito Iwai" category="fsl"></pubbib> | <pubbib author="Akihito Iwai" category="fsl"></pubbib> | ||
Latest revision as of 22:16, 1 October 2016
Akihito Iwai is a collaborator from DENSO. Checkout his Linked webpage at https://www.linkedin.com/in/akihito-iwai-86b65a45 for latest news.
- 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
