Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister. RiTHM: a tool for enabling time-triggered runtime verification for C programs. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 603-606, ACM, 2013. [doi]
@inproceedings{NavabpourJWBMBF13,
title = {RiTHM: a tool for enabling time-triggered runtime verification for C programs},
author = {Samaneh Navabpour and Yogi Joshi and Chun Wah Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
year = {2013},
doi = {10.1145/2491411.2494596},
url = {http://doi.acm.org/10.1145/2491411.2494596},
researchr = {https://researchr.org/publication/NavabpourJWBMBF13},
cites = {0},
citedby = {0},
pages = {603-606},
booktitle = {Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini},
publisher = {ACM},
isbn = {978-1-4503-2237-9},
}