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

Conference contribution


Publication Details

Author(s): Dietrich C, Hoffmann M, Lohmann D
Publisher: ACM Press
Publishing place: New York, NY, USA
Publication year: 2015
Conference Proceedings Title: Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Pages range: to appear


FAU Authors / FAU Editors

Dietrich, Christian
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Hoffmann, Martin
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
Lohmann, Daniel PD Dr.
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: 

Last updated on 2018-19-04 at 02:53