Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Kernel-level ARINC 653 partitioning for Linux
Full virtualization based ARINC 653 partitioning
Maintainability of the Linux kernel
Multiprogramming a 64kB Computer Safely and Efficiently
ARINC 653 and multi-core microprocessors — Considerations and potential impacts
Microdrivers: A New Architecture for Device Drivers
A portable ARINC 653 standard interface
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
Nooks: an architecture for reliable device drivers
Analyzing and improving Linux kernel memory protection: a model checking approach
File-system intrusion detection by preserving MAC DTS: a loadable kernel module based approach for LINUX kernel 2.6.x
Characterization of linux kernel behavior under errors
Robust Partitioning Policies of Multiprocessor Systems
A component model for hard real-time systems: CCM with ARINC-653
{DR}. {CHECKER}: A Soundy Analysis for Linux Kernel Drivers
Fuzzing the Linux kernel
Linux kernel hash table behavior: Analysis and improvements
A Local-View Array Library for Partitioned Global Address Space C++ Programs
From Collision To Exploitation: Unleashing Use-After-Free Vulnerabilities in Linux Kernel
SKEE: A lightweight Secure Kernel-level Execution Environment for ARM
User-mode Linux
Conditional variable importance for random forests
dendritic silica particles with center - radial pore channels : promising platforms for catalysis and biomedical applications .
Implementation of image processing for detection of brain tumors
Xen and the art of virtualization
A Survey of Intelligent Language Tutoring Systems