Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Export 4 results:
Filters: Keyword is Runtime verification [Clear All Filters]
, "GPU-based Runtime Verification", IEEE International Parallel & Distributed Processing Symposium (IPDPS), May, 2013.
[paper] (388.53 KB)
[paper] (388.53 KB), "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.
[paper] (377.34 KB)
[paper] (377.34 KB), "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.
[paper] (433.08 KB)
[paper] (433.08 KB), "Sampling-based Runtime Verification", Proceedings of the 17th International Conference on Formal Methods (FM), Limerick, Ireland, pp. 88-102, June, 2011.
[paper] (1.45 MB)
[paper] (1.45 MB)