Difference between revisions of "Bhargava Manja"

From FSL
Jump to: navigation, search
Line 1: Line 1:
 +
Bhargava Manja was an undergraduate student at UIUC and an employee at [http://runtimeverification.com Runtime Verification, Inc.].
 
Checkout his Linked webpage at https://www.linkedin.com/in/bhargava-manja-00024956 for latest news.
 
Checkout his Linked webpage at https://www.linkedin.com/in/bhargava-manja-00024956 for latest news.
 +
 +
=== Publications within FSL ===
 +
 +
<pubbib author="Bhargava Manja" category="fsl"></pubbib>

Revision as of 22:13, 1 October 2016

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