HyperSSE: Cross-Domain Static Analysis of Partitioned Real-Time Hypervisor Systems.

Andreas Kssens, Mareike Burg, Daniel Lohmann

Browse the full ECRTS paper archive.