Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
| Title | RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Navabpour, S., Y. Joshi, C. Wah Wallace, S. Berkovich, R. Medhat, B. Bonakdarpour, and S. Fischmeister |
| Conference Name | Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE) |
| Conference Location | St. Petersburg, Russia |