An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems

Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand. 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, San Francisco, CA, USA, June 24-29, 2018. ACM, 2018. [doi]

Authors

Mohammadreza Mehrabian

This author has not been identified. Look up 'Mohammadreza Mehrabian' in Google

Mohammad Khayatian

This author has not been identified. Look up 'Mohammad Khayatian' in Google

Ahmed Mousa

This author has not been identified. Look up 'Ahmed Mousa' in Google

Aviral Shrivastava

This author has not been identified. Look up 'Aviral Shrivastava' in Google

Ya-Shian Li-Baboud

This author has not been identified. Look up 'Ya-Shian Li-Baboud' in Google

Patricia Derler

This author has not been identified. Look up 'Patricia Derler' in Google

Edward Griffor

This author has not been identified. Look up 'Edward Griffor' in Google

Hugo A. Andrade

This author has not been identified. Look up 'Hugo A. Andrade' in Google

Marc Weiss

This author has not been identified. Look up 'Marc Weiss' in Google

John C. Eidson

This author has not been identified. Look up 'John C. Eidson' in Google

Dhananjay M. Anand

This author has not been identified. Look up 'Dhananjay M. Anand' in Google