University of Münster
CRIS@UM
DE | EN

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

Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

Publisher: Ball Thomas, Sagiv Mooly
Book title: Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages
Page range: 93-104
Publishing company: ACM Press
Status: Published
Release year: 2011 (31/12/2010)
Language in which the publication is written: English
Conference: 38th Annual ACM Symposium on Principles of Programming Languages (POPL 2011), Austin, Texas, USA, undefined
ISBN: 978-1-4503-0490-0
DOI: 10.1145/1926385.1926398
Link to the full text: http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-79952035452&md5=2289dc98998af7fbba8108ee629d3ede

Authors from the University of Münster

Lammich, Peter
Institute of Computer Science
Müller-Olm, Markus
Professorship for practical computer science (Prof. Müller-Olm)