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]
@inproceedings{MehrabianKMSLDG18,
title = {An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems},
author = {Mohammadreza Mehrabian and Mohammad Khayatian and Ahmed Mousa and Aviral Shrivastava and Ya-Shian Li-Baboud and Patricia Derler and Edward Griffor and Hugo A. Andrade and Marc Weiss and John C. Eidson and Dhananjay M. Anand},
year = {2018},
doi = {10.1145/3195970.3196130},
url = {http://doi.acm.org/10.1145/3195970.3196130},
researchr = {https://researchr.org/publication/MehrabianKMSLDG18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018},
publisher = {ACM},
}