On the public citation graph
Construction of a Highly Dependable Operating System
0 signed · 70 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/s11390-005-0654-4openalex-snapshot
User-Level Device Drivers: Achieved Performance
inferredcites →https://doi.org/10.1109/csit.1975.6498831openalex-snapshot
Protection of information in computer systems
inferredcites →https://doi.org/10.1109/proc.1975.9939openalex-snapshot
The protection of information in computer systems
inferredcites →https://doi.org/10.1145/1047915.1047919openalex-snapshot
Improving the reliability of commodity operating systems
inferredcites →https://doi.org/10.1145/1113361.1113364openalex-snapshot
File size distribution on UNIX systems
inferredcites →https://doi.org/10.1145/268998.266660openalex-snapshot
The performance of μ-kernel-based systems
inferredcites →https://doi.org/10.1145/269005.266660openalex-snapshot
The performance of μ-kernel-based systems
inferredcites →https://doi.org/10.1145/502034.502042openalex-snapshot
An empirical study of operating systems errors
inferredcites →https://doi.org/10.1145/566171.566181openalex-snapshot
The distribution of faults in a large industrial software system
inferredcites →https://doi.org/10.1145/566180.566181openalex-snapshot
The distribution of faults in a large industrial software system
inferredcites →https://doi.org/10.1145/566726.566751openalex-snapshot
The SawMill multiserver approach
inferredcites →https://doi.org/10.1145/69605.2085openalex-snapshot
Software errors and complexity: an empirical investigation0
inferredcites →https://doi.org/10.1145/945445.945466openalex-snapshot
Improving the reliability of commodity operating systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-00470-5_32openalex-snapshot
KASR: A Reliable and Practical Approach to Attack Surface Reduction of Commodity OS Kernels
inferred← citeshttps://doi.org/10.1007/978-3-319-08509-8_12openalex-snapshot
Quantifiable Run-Time Kernel Attack Surface Reduction
inferred← citeshttps://doi.org/10.1007/978-3-540-72736-1_4openalex-snapshot
Service-Oriented Operating System: A Key Element in Improving Service Availability
inferred← citeshttps://doi.org/10.1007/s11241-009-9086-5openalex-snapshot
Enhancing a dependable multiserver operating system with temporal protection via resource reservations
inferred← citeshttps://doi.org/10.1016/j.cose.2012.01.011openalex-snapshot
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls
inferred← citeshttps://doi.org/10.1016/j.cose.2022.102920openalex-snapshot
Behind the last line of defense: Surviving SoC faults and intrusions
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.06.004openalex-snapshot
Linux bugs: Life cycle, resolution and architectural analysis
inferred← citeshttps://doi.org/10.1016/j.parco.2014.03.007openalex-snapshot
Towards an immortal operating system in virtual environments
inferred← citeshttps://doi.org/10.1109/access.2024.3484013openalex-snapshot
Efficient On-Chip Replication
inferred← citeshttps://doi.org/10.1109/candar.2014.15openalex-snapshot
Putting the Pieces Together: The Construction of a Reliable Virtualizing Object-Based Storage Stack
inferred← citeshttps://doi.org/10.1109/csie.2009.13openalex-snapshot
Achieving Dependability through Dynamic Reconfiguration in Sensor Operating Systems
inferred← citeshttps://doi.org/10.1109/dsn.2007.46openalex-snapshot
Failure Resilience for Device Drivers
inferred← citeshttps://doi.org/10.1109/dsn.2013.6575348openalex-snapshot
SIDE: Isolated and efficient execution of unmodified device drivers
inferred← citeshttps://doi.org/10.1109/dsn.2016.12openalex-snapshot
OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems
inferred← citeshttps://doi.org/10.1109/dsn.2018.00024openalex-snapshot
Fast Hypervisor Recovery Without Reboot
inferred← citeshttps://doi.org/10.1109/dsnw.2010.5542619openalex-snapshot
Adaptive monitoring in microkernel OSs
inferred← citeshttps://doi.org/10.1109/dsnw.2011.5958807openalex-snapshot
Integrated end-to-end dependability in the Loris storage stack
inferred← citeshttps://doi.org/10.1109/edcc-7.2008.26openalex-snapshot
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems
inferred← citeshttps://doi.org/10.1109/iccke.2013.6739552openalex-snapshot
An overview of fault tolerance techniques for real-time operating systems
inferred← citeshttps://doi.org/10.1109/iccta43079.2017.9497150openalex-snapshot
Turning a Highly Reliable, Self-Repairing μ-Kernel OS into a Multicore-Based OS
inferred← citeshttps://doi.org/10.1109/icdcs51616.2021.00054openalex-snapshot
Efficiently Recovering Stateful System Components of Multi-server Microkernels
inferred← citeshttps://doi.org/10.1109/ictta.2008.4530346openalex-snapshot
How to Realize Self-Healing Operating Systems?
inferred← citeshttps://doi.org/10.1109/intelcis.2017.8260021openalex-snapshot
Design and implementation of multicore support for a highly reliable self-repairing μ-kernel OS
inferred← citeshttps://doi.org/10.1109/ladc.2013.10openalex-snapshot
Battling Bad Bits with Checksums in the Loris Page Cache
inferred← citeshttps://doi.org/10.1109/msst.2011.5937218openalex-snapshot
Flexible, modular file volume virtualization in Loris
inferred← citeshttps://doi.org/10.1109/msst.2012.6232365openalex-snapshot
Integrating flash-based SSDs into the storage stack
inferred← citeshttps://doi.org/10.1109/nas.2011.32openalex-snapshot
Efficient, Modular Metadata Management with Loris
inferred← citeshttps://doi.org/10.1109/nas.2012.5openalex-snapshot
Integrated System and Process Crash Recovery in the Loris Storage Stack
inferred← citeshttps://doi.org/10.1109/prdc.2009.53openalex-snapshot
Zapmem: A Framework for Testing the Effect of Memory Corruption Errors on Operating System Kernel Reliability
inferred← citeshttps://doi.org/10.1109/prdc.2010.41openalex-snapshot
Loris - A Dependable, Modular File-Based Storage Stack
inferred← citeshttps://doi.org/10.1109/qsic.2008.55openalex-snapshot
Linux Bugs: Life Cycle and Resolution Analysis
inferred← citeshttps://doi.org/10.1109/sbac-pad.2012.10openalex-snapshot
An OS-Hypervisor Infrastructure for Automated OS Crash Diagnosis and Recovery in a Virtualized Environment
inferred← citeshttps://doi.org/10.1109/sbesc.2012.15openalex-snapshot
JingleOS: An Operating System to Embedded Devices with Language-Based Protection
inferred← citeshttps://doi.org/10.1109/tla.2011.6030998openalex-snapshot
Is Minix more robust because it is microkernel?
inferred← citeshttps://doi.org/10.1117/12.2203665openalex-snapshot
Comparing fault susceptibility of multiple ISAs and operating systems
inferred← citeshttps://doi.org/10.1145/1654059.1654095openalex-snapshot
A microdriver architecture for error correcting codes inside the Linux kernel
inferred← citeshttps://doi.org/10.1145/2583687.2583700openalex-snapshot
Toward predictable, efficient, system-level tolerance of transient faults
inferred← citeshttps://doi.org/10.1145/2808705.2808709openalex-snapshot
Secure RTOS Architecture for Building Automation
inferred← citeshttps://doi.org/10.1360/tb-2022-0557openalex-snapshot
Innovations and applications of operating system security with a hardware-software co-design
inferred← citeshttps://doi.org/10.14236/ewic/vecos2008.11openalex-snapshot
Operating System Support to Detect Application Hangs
inferred← citeshttps://doi.org/10.1504/ijccbs.2011.042333openalex-snapshot
OS-level hang detection in complex software systems
inferred← citeshttps://doi.org/10.18260/1-2-1153-53997openalex-snapshot
Operating System and Decision Making
inferred← citeshttps://doi.org/10.26190/unsworks/14779openalex-snapshot
Device driver reuse via virtual machines
inferred← citeshttps://doi.org/10.3929/ethz-a-005881972openalex-snapshot
Hotplug in a multikernel operating system
inferred← citeshttps://doi.org/10.4103/0256-4602.57831openalex-snapshot
Reliable Operating Systems: Overview and Techniques
inferred← citeshttps://doi.org/10.5463/thesis.757openalex-snapshot
Fast Automatic Software Survivability
inferred← citeshttps://doi.org/10.5555/1855511.1855532openalex-snapshot
Membrane: operating system support for restartable file systems
inferred← citeshttps://doi.org/10.6092/unina/fedoa/9356openalex-snapshot
On-line Detection of Anomalies in Mission-critical Software Systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.