Martin D. Schwarz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | VMCAI | Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis |
| 2011 | POPL | Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Mller-Olm |