Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
J
, "A Survey of Electrical and Electronic (E/E) Notifications for Motor Vehicles", 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV), Gothenburg, Sweden, pp. 1--15, 2015.
[pdf] (407.38 KB)
[pdf] (407.38 KB) , "Runtime Verification of LTL on Lossy Traces", 32nd ACM Symposium on Applied Computing (SAC), Marrakech, Morocco, pp. 1379-1386, 2017.
[pdf] (325.24 KB)
[pdf] (325.24 KB)