Christian Dietrich 0001, Martin Hoffmann, Daniel Lohmann. Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems. In Sam H. Noh, Sebastian Fischmeister, Jason Xue, editors, Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015. pages 6, ACM, 2015. [doi]
Abstract is missing.