Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is V. Vojdani  [Clear All Filters]
2011
M. D. Schwarz, Seidl, H., Vojdani, V., Lammich, P., and Müller-Olm, M., Static Analysis of Interrupt-Driven Programs Synchronized via the Priority Ceiling Protocol, in Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011), 2011.