1. Jailhouse Partitioning Hypervisor;technology,2014
2. Design and verification of secure systems
3. Model Checking Simpsons Four-Slot Fully Asynchronous Communication Mechanism;rushby;Computer Science Laboratory–SRI International Tech Rep Issued,2002
4. Partitioning for Avionics Architectures: Requirements, Mechanisms and Assurance;rushby;NASA Contractor Report CR-1999-209347 NASA Langley Research Center,1999
5. Paratick: Reducing Timer Overhead in Virtual Machines