Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Export 1 results:
Filters: Keyword is static analysis [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)