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. [Comment] |
Keywords: CPS, cyber-physical systems, Verification.