@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)},
KEYWORDS = {CPS, cyber-physical systems, Verification}
}
|
