Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IRCS-018 , January 2006
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
DREMS-OS: An Operating System for Managed Distributed Real-Time Embedded Systems
Comprehensive formal verification of an OS microkernel
Charm: Facilitating Dynamic Analysis of Device Drivers of Mobile Systems
Membrane: Operating system support for restartable file systems
A flexible microcontroller architecture for fail-safe and fail-operational systems
The Design and Implementation of the Clouds Distributed Operating System
An Operating System for the Home
Static race detection for device drivers: the Goblint approach
LOS: A High Performance and Compatible User-level Network Operating System
Fail-safe and fail-operational systems safeguarded with coded processing
Unikernels: library operating systems for the cloud
File-system intrusion detection by preserving MAC DTS: a loadable kernel module based approach for LINUX kernel 2.6.x
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
Security Enhanced Linux on embedded systems: A hardware-accelerated implementation
Rosemary: A Robust, Secure, and High-performance Network Operating System
An operating system for multicore and clouds: mechanisms and implementation
Using linux device drivers for static verification tools benchmarking
an empirical study of operating system errors .
Faults in linux: ten years later
CharNER: Character-Level Named Entity Recognition
Approximating Attack Surfaces with Stack Traces
Memory resource management in VMware ESX server
Endothelial and perivascular cells maintain haematopoietic stem cells
Elie Metchnikoff: Father of natural immunity