Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems

Dietrich C, Hoffmann M, Lohmann D (2015)

Publication Type: Conference contribution

Publication year: 2015

Publisher: ACM Press

City/Town: New York, NY, USA

Pages Range: to appear

Conference Proceedings Title: Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems

Event location: Portland, Oregon, USA

Authors with CRIS profile

Christian Dietrich Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Martin Hoffmann Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Daniel Lohmann Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Dietrich, C., Hoffmann, M., & Lohmann, D. (2015). Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems. In Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (pp. to appear). Portland, Oregon, USA: New York, NY, USA: ACM Press.

MLA:

Dietrich, Christian, Martin Hoffmann, and Daniel Lohmann. "Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems." Proceedings of the The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015), Portland, Oregon, USA New York, NY, USA: ACM Press, 2015. to appear.

BibTeX: Download