Publications

Export 2 results:
Filters: Keyword is TTRV  [Clear All Filters]
2012
Bonakdarpour, B., J. Thomas, and S. Fischmeister, "Time-triggered Program Self-monitoring", Proc. of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, pp. 260-269, 2012. PDF icon [paper] (377.34 KB)
2011
Navabpour, S., C. Wah Wallac Wu, B. Bonakdarpour, and S. Fischmeister, "Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, pp. 208-222, September, 2011. PDF icon [paper] (433.08 KB)