@InProceedings{MehrabianDAC2018,
AUTHOR = {Mehrabian, Mohammadreza and Khayatian, Mohammad and Moussa, Ahmed and Shrivastava, Aviral and Li, Ya-Shian and Derler, Patricia and Griffor, Edward and Andrade, Hugo A. and Weiss, Marc and Eidson, John},
TITLE = {TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems},
YEAR = {2018},
BOOKTITLE = {Proceedings of the 55th Annual Design Automation Conference (DAC)},
PDF = {http://aviral.lab.asu.edu/bibadmin/uploads/pdf/dac2018-tma.pdf},
SLIDES = {http://aviral.lab.asu.edu/bibadmin/uploads/slides/TMA_DAC2018.pptx},
KEYWORDS = {CPS, cyber-physical systems, Verification} }
|