Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
W
, "Specification and Analysis of Network Resource Requirements of Control Systems", Proc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC), Los Angeles, USA CA, pp. 381–395, April, 2009.
[paper] (252.55 KB)
[paper] (252.55 KB) , "Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques", Proc. of the International Conference on Runtime Verification (RV), Sept, 2013.
[paper] (1.18 MB)
[paper] (1.18 MB)