IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications of Mohammad Khayatian   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
1 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 PPT [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.   Note: Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT).
<< InProceedings >> TOP
2 Add to my selection
Aviral Shrivastava, Patricia Derler, Ya-Shian Li, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John Eidson and Sundeep Chandhoke. Time in Cyber-Physical Systems. In Proceedings of the international symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2016. PDF [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems.  
3 Add to my selection
Edward Andert, Mohammad Khayatian and Aviral Shrivastava. Crossroads - A Time-Sensitive Autonomous Intersection Management Technique. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF PPT [Comment]   Bibtex entry
Keywords: cyber-physical systems, Embedded Processor.   Note: (Best Paper Award Candidate).
4 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.  
5 Add to my selection
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Moussa, Aviral Shrivastava, Ya-Shian Li, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss and John Eidson. TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems. In Proceedings of the 55th Annual Design Automation Conference (DAC), 2018. PDF PPT [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.  
6 Add to my selection
Mohammad Khayatian, Mohammadreza Mehrabian and Aviral Shrivastava. RIM: Robust Intersection Management for Connected Autonomous Vehicles. In Proceedings of the 39th IEEE Real-Time Systems Symposium (RTSS), 2018. PDF [Comment]   Bibtex entry
Keywords: Autonomous Vehicles, cyber-physical systems, Embedded Processor, Intersection Management.  
7 Add to my selection
Yooseong Kim, Mohammad Khayatian and Aviral Shrivastava. WCET-Aware Stack Frame Management of Embedded Systems using Scratchpad Memories. In Proceedings of 2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID), 2019. PDF PPT [Comment]   Bibtex entry
Keywords: Embedded System, Scratchpad Memory, Stack Data, WCET.  
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 23:16:55
        BibAdmin