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

Export 1 results:
Author [ Title(Desc)] Type Year
Filters: Author is V. Vojdani  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
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.