Conference Papers: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol

[Schwarz:2011:SAI:1926385.1926398]

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm, Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 93--104, ACM, New York, NY, USA, 2011.

Download

[DOI]

BibTeX

@inproceedings{Schwarz:2011:SAI:1926385.1926398,
  title = {Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol},
  booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  year = {2011},
  publisher = {ACM},
  pages = {93--104},
  author = {Martin D. Schwarz and Helmut Seidl and Vesal Vojdani and Peter Lammich and Markus M{\"u}ller-Olm},
  series = {POPL '11},
  address = {New York, NY, USA},
  doi = {10.1145/1926385.1926398},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project

IFC for Mobile Components