| Runtime checking c programs R Milewicz, R Vanka, J Tuck, D Quinlan, P Pirkelbauer Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2107-2114, 2015 | 14 | 2015 |
| Lightweight runtime checking of C programs with RTC R Milewicz, R Vanka, J Tuck, D Quinlan, P Pirkelbauer Computer Languages, Systems & Structures 45, 191-203, 2016 | 7 | 2016 |
