Bhargava Manja

From FSL
Revision as of 22:12, 1 October 2016 by Grosu (Talk | contribs)

Jump to: navigation, search

Bhargava Manja was an undergraduate student at UIUC and an employee at Runtime Verification, Inc.. Checkout his Linked webpage at https://www.linkedin.com/in/bhargava-manja-00024956 for latest news.

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

Personal tools
Namespaces

Variants
Actions
Navigation