IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Mohammadreza Mehrabian   Download bibtex file Order by:   Type | Year
<< 2017 >> TOP
1 Add to my selection
Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and John Eidson. A Testbed to Verify the Timing Behavior of Cyber-Physical Systems. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.  
2 Add to my selection
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and Kevin Stanton. Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems. In ACM Transactions on Embedded Computing Systems (TECS) , Vol. 16(169) of 5s, 2017. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.   Note: Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT).
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 16:16:55
        BibAdmin