Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Export 3 results:
Filters: Keyword is embedded systems [Clear All Filters]
, "em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications", SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), New York, NY, USA, ACM, pp. 105--114, 2014.
[paper] (237.57 KB)
[paper] (237.57 KB), "Non-intrusive Program Tracing and Debugging of Deployed Embedded Systems Through Side-channel Analysis", Proc. of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Washington, USA, ACM, pp. 77-88, 2013.
[pdf] (742.96 KB)
[pdf] (742.96 KB), "Tracing and Recording Interrupts in Embedded Software", Journal of Systems Architecture, vol. 58, issue 9, pp. 372-385, Oct, 2012.