RiTHM: a tool for enabling time-triggered runtime verification for C programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Samaneh Navabpour' in GoogleThis author has not been identified. Look up 'Yogi Joshi' in GoogleThis author has not been identified. Look up 'Chun Wah Wallace Wu' in GoogleThis author has not been identified. Look up 'Shay Berkovich' in GoogleThis author has not been identified. Look up 'Ramy Medhat' in GoogleThis author has not been identified. Look up 'Borzoo Bonakdarpour' in GoogleThis author has not been identified. Look up 'Sebastian Fischmeister' in Google

runs on WebDSL