On the public citation graph
Can We Make Operating Systems Reliable and Secure?
0 signed · 121 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.1145/1047915.1047919openalex-snapshot
Improving the reliability of commodity operating systems
inferredcites →https://doi.org/10.1145/1499586.1499669openalex-snapshot
Architecture of virtual machines
inferredcites →https://doi.org/10.1145/268998.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/566172.566181openalex-snapshot
The distribution of faults in a large industrial software system
inferredcites →https://doi.org/10.1145/69605.2085openalex-snapshot
Software errors and complexity: an empirical investigation0
inferredcites →https://doi.org/10.1145/800122.803950openalex-snapshot
Architecture of virtual machines
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-0-387-72258-0_24openalex-snapshot
Configurable Hybridkernel for Embedded Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-88523-0_10openalex-snapshot
Designing Security-Hardened Microkernels For Field Devices
inferred← citeshttps://doi.org/10.1007/978-1-4020-9436-1_2openalex-snapshot
Basic Concepts of Real Time Operating Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-72359-4_40openalex-snapshot
Enforcing Security in Artificially Intelligent Robots Using Monitors (Short Paper)
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/978-3-642-22655-7_8openalex-snapshot
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
inferred← citeshttps://doi.org/10.1007/978-3-7091-0813-0_5openalex-snapshot
Behavior Monitoring in Self-Healing Service-Oriented Systems
inferred← citeshttps://doi.org/10.1007/s00287-008-0308-3openalex-snapshot
Neue Computing-Grundlagen für das Rechenzentrum
inferred← citeshttps://doi.org/10.1007/s00607-010-0107-yopenalex-snapshot
A survey on self-healing systems: approaches and systems
inferred← citeshttps://doi.org/10.1007/s11704-009-0076-5openalex-snapshot
TRainbow: a new trusted virtual machine based platform
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.procs.2015.05.427openalex-snapshot
A Structuring Concept for Securing Modern Day Computing Systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2010.07.011openalex-snapshot
Efficient dynamic program monitoring on multi-core systems
inferred← citeshttps://doi.org/10.1016/j.vehcom.2023.100663openalex-snapshot
A comprehensive survey on SDN and blockchain-based secure vehicular networks
inferred← citeshttps://doi.org/10.1088/1757-899x/1107/1/012052openalex-snapshot
An Overview of Microkernel Based Operating Systems
inferred← citeshttps://doi.org/10.1093/comjnl/bxs138openalex-snapshot
Protection Structures in Multithreaded Systems
inferred← citeshttps://doi.org/10.1109/candarw.2019.00083openalex-snapshot
Evaluation of Processing Distribution for Application Program and OS in Microkernel OS
inferred← citeshttps://doi.org/10.1109/ccnc.2007.163openalex-snapshot
A Peer-to-Peer Bare PC VoIP Application
inferred← citeshttps://doi.org/10.1109/compsac.2010.43openalex-snapshot
Behavior Monitoring in Self-Healing Service-Oriented Systems
inferred← citeshttps://doi.org/10.1109/compsacw.2010.18openalex-snapshot
Test Sequence Generation from Combining Property Modeling and Program Slicing
inferred← citeshttps://doi.org/10.1109/comst.2017.2719862openalex-snapshot
A Survey on Fault Management in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/dasc.2007.22openalex-snapshot
Building a Self-Healing Operating System
inferred← citeshttps://doi.org/10.1109/dft.2014.6962080openalex-snapshot
Fault injection in the process descriptor of a Unix-based operating system
inferred← citeshttps://doi.org/10.1109/dsd.2012.90openalex-snapshot
On Distribution and Impact of Fault Effects at Real-Time Kernel and Application Levels
inferred← citeshttps://doi.org/10.1109/efta.2007.4416829openalex-snapshot
An integrated security model for component-based systems
inferred← citeshttps://doi.org/10.1109/etfa.2018.8502619openalex-snapshot
Mallocpool: Improving Memory Performance Through Contiguously TLB Mapped Memory
inferred← citeshttps://doi.org/10.1109/glocomw.2008.ecp.56openalex-snapshot
A Framework for Self-Verification of Firmware Updates over the Air in Vehicle ECUs
inferred← citeshttps://doi.org/10.1109/iccad.2010.5654140openalex-snapshot
Reliability, thermal, and power modeling and optimization
inferred← citeshttps://doi.org/10.1109/iccae.2010.5451638openalex-snapshot
Fault isolation using stateless server model in L4 microkernel
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/iccubea.2017.8463974openalex-snapshot
Survey Paper on Different MINIX Versions to Support Implementation of IPSec Protocol in MINIX OS
inferred← citeshttps://doi.org/10.1109/icis.2016.7550945openalex-snapshot
Research on survivability strategic of operating system
inferred← citeshttps://doi.org/10.1109/icsess.2011.5982249openalex-snapshot
Research on interoperability testing between operating systems
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/isorc.2007.61openalex-snapshot
Using Multi-Agent Principles for Implementing an Organic Real-Time Middleware
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom52081.2021.00214openalex-snapshot
SPLinux: An Information Flow Secure Linux
inferred← citeshttps://doi.org/10.1109/isqed.2014.6783355openalex-snapshot
Towards more reliable embedded systems through a mechanism for monitoring driver devices communication
inferred← citeshttps://doi.org/10.1109/itc.2010.31openalex-snapshot
Optimal Cascaded Configuration for IP SAN on NetBSD
inferred← citeshttps://doi.org/10.1109/itc.2010.78openalex-snapshot
Design of an Operating System with In-memory Kernel
inferred← citeshttps://doi.org/10.1109/lascas.2014.6820257openalex-snapshot
Software-implemented fault injection in operating system kernel mutex data structure
inferred← citeshttps://doi.org/10.1109/mitp.2009.67openalex-snapshot
A Multiple-Criteria Approach to Ranking Computer Operating Systems
inferred← citeshttps://doi.org/10.1109/nbis.2013.57openalex-snapshot
Evaluation of Load Balancing in Multicore Processor for AnT
inferred← citeshttps://doi.org/10.1109/ncm.2009.186openalex-snapshot
The Microkernel Concept Based Dependable System Architecture
inferred← citeshttps://doi.org/10.1109/qsic.2008.55openalex-snapshot
Linux Bugs: Life Cycle and Resolution Analysis
inferred← citeshttps://doi.org/10.1109/re.2010.38openalex-snapshot
Dependability Arguments with Trusted Bases
inferred← citeshttps://doi.org/10.1109/securware.2008.23openalex-snapshot
Enhancing Trusted Platform Modules with Hardware-Based Virtualization Techniques
inferred← citeshttps://doi.org/10.1109/sysose.2007.4304258openalex-snapshot
A Hardware-based Architecture to Support Flexible Real-Time Parallel Intrusion Detection
inferred← citeshttps://doi.org/10.1109/syssec.2011.26openalex-snapshot
Systems Security at VU University Amsterdam
inferred← citeshttps://doi.org/10.1109/tce.2010.5505989openalex-snapshot
AppWatch: detecting kernel bug for protecting consumer electronics applications
inferred← citeshttps://doi.org/10.1109/tla.2011.6030998openalex-snapshot
Is Minix more robust because it is microkernel?
inferred← citeshttps://doi.org/10.1109/trustcom.2015.495openalex-snapshot
Issues in Trustworthy Software Systems
inferred← citeshttps://doi.org/10.1134/s0361768812010069openalex-snapshot
Using virtualization to protect application address space inside untrusted environment
inferred← citeshttps://doi.org/10.1145/1188966.1189007openalex-snapshot
Hybrid vs. monolithic OS kernels
inferred← citeshttps://doi.org/10.1145/1346256.1346278openalex-snapshot
Improving Xen security through disaggregation
inferred← citeshttps://doi.org/10.1145/1408654.1408657openalex-snapshot
Safe device driver model based on kernel-mode JVM
inferred← citeshttps://doi.org/10.1145/1415472.1415484openalex-snapshot
Even more patterns for secure operating systems
inferred← citeshttps://doi.org/10.1145/1518684.1518685openalex-snapshot
Virtualization-based separation of privilege
inferred← citeshttps://doi.org/10.1145/1745438.1745441openalex-snapshot
A microkernel API for fine-grained decomposition
inferred← citeshttps://doi.org/10.1145/2480362.2480669openalex-snapshot
Operating system reliability from the quality of experience viewpoint
inferred← citeshttps://doi.org/10.1145/2493288.2493307openalex-snapshot
Patterns for building dependable systems with trusted bases
inferred← citeshttps://doi.org/10.1145/2554850.2555021openalex-snapshot
An empirical exploratory study on operating system reliability
inferred← citeshttps://doi.org/10.1145/2795228openalex-snapshot
Lessons learned from 30 years of MINIX
inferred← citeshttps://doi.org/10.1145/2808705.2808709openalex-snapshot
Secure RTOS Architecture for Building Automation
inferred← citeshttps://doi.org/10.1145/3338906.3338916openalex-snapshot
How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform
inferred← citeshttps://doi.org/10.1145/3503222.3507759openalex-snapshot
FlexOS: towards flexible OS isolation
inferred← citeshttps://doi.org/10.1145/3711875.3729143openalex-snapshot
Chameleon: Towards Building Least-privileged TEE via Functionality-based Resource Re-grouping
inferred← citeshttps://doi.org/10.15439/2022f163openalex-snapshot
Resource Partitioning in Phoenix-RTOS for Critical and Noncritical Software for UAV systems
inferred← citeshttps://doi.org/10.15514/syrcose-2011-5-2openalex-snapshot
Using Hardware-Assisted Virtualization to Protect Application Address Space Inside Untrusted Environment
inferred← citeshttps://doi.org/10.1587/transinf.2015pal0003openalex-snapshot
Fast Control Method of Software-Managed TLB for Reducing Zero-Copy Communication Overhead
inferred← citeshttps://doi.org/10.17341/gummfd.25645openalex-snapshot
İZLENEBİLİR ELEKTRİK ENERJİSİ DAĞITIM SİSTEMİNİN BİLGİ GÜVENLİĞİ AÇISINDAN ENDÜSTRİYEL RİSKLERİNİN ARAŞTIRILMASI VE ÇÖZÜM ÖNERİLERİ
inferred← citeshttps://doi.org/10.17485/ijst/2014/v7i6.6openalex-snapshot
A New Approach for Inter Process Communication with Hybrid of Message Passing Mechanism and Event based Software Architecture
inferred← citeshttps://doi.org/10.18260/1-2-1153-53997openalex-snapshot
Operating System and Decision Making
inferred← citeshttps://doi.org/10.21203/rs.3.rs-1076110/v1openalex-snapshot
A Vehicle Can Bus Anomaly Detection Method for Periodic Attacks Based on the Entropy Model
inferred← citeshttps://doi.org/10.22184/1992-4178.2023.229.8.88.96openalex-snapshot
НАДЕЖНОСТЬ И БЕЗОПАСНОСТЬ ОПЕРАЦИОННЫХ СИСТЕМ РАЗЛИЧНОЙ АРХИТЕКТУРЫ. ЧАСТЬ 1
inferred← citeshttps://doi.org/10.22184/1992-4178.2023.230.9.144.150openalex-snapshot
НАДЕЖНОСТЬ И БЕЗОПАСНОСТЬ ОПЕРАЦИОННЫХ СИСТЕМ РАЗЛИЧНОЙ АРХИТЕКТУРЫ. Часть 2
inferred← citeshttps://doi.org/10.22184/1992-4178.2023.231.10.80.86openalex-snapshot
НАДЕЖНОСТЬ И БЕЗОПАСНОСТЬ ОПЕРАЦИОННЫХ СИСТЕМ РАЗЛИЧНОЙ АРХИТЕКТУРЫ. ЧАСТЬ 3
inferred← citeshttps://doi.org/10.22214/ijraset.2022.41827openalex-snapshot
A System on Automated Database and API (Application Programming Interface) Management
inferred← citeshttps://doi.org/10.28945/3185openalex-snapshot
Improving Security for SCADA Control Systems
inferred← citeshttps://doi.org/10.28945/91openalex-snapshot
Improving Security for SCADA Control Systems
inferred← citeshttps://doi.org/10.3233/jcs-2008-16304openalex-snapshot
Coprocessor-based hierarchical trust management for software integrity and digital identity protection
inferred← citeshttps://doi.org/10.3390/books978-3-03897-510-6openalex-snapshot
Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.3390/electronics6040093openalex-snapshot
μRTZVisor: A Secure and Safe Real-Time Hypervisor
inferred← citeshttps://doi.org/10.4018/978-1-60566-750-8.ch010openalex-snapshot
Engineering Embedded Software
inferred← citeshttps://doi.org/10.4103/0256-4602.57831openalex-snapshot
Reliable Operating Systems: Overview and Techniques
inferred← citeshttps://doi.org/10.4236/ijcns.2008.13028openalex-snapshot
Hardware/Compiler Memory Protection in Sensor Nodes
inferred← citeshttps://doi.org/10.4236/jcc.2024.123016openalex-snapshot
From Standard Policy-Based Zero Trust to Absolute Zero Trust (AZT): A Quantum Leap to Q-Day Security
inferred← citeshttps://doi.org/10.4236/jsea.2012.59078openalex-snapshot
SEDSR: Soft Error Detection Using Software Redundancy
inferred← citeshttps://doi.org/10.4236/jsea.2013.61003openalex-snapshot
Microkernel Development for Embedded Systems
inferred← citeshttps://doi.org/10.4304/jcp.5.9.1297-1304openalex-snapshot
Page Protection in Multithreaded Systems
inferred← citeshttps://doi.org/10.4304/jsw.7.8.1835-1844openalex-snapshot
Design and Performance of a Minimal Real-Time Operating System in a Safe Language: Experience with Java on the Sun SPOT
inferred← citeshttps://doi.org/10.4304/jsw.7.9.2107-2118openalex-snapshot
A Hardware Virtualization Based Component Sandboxing Architecture
inferred← citeshttps://doi.org/10.5287/ora-nrdjop1qqopenalex-snapshot
Trustworthy services through attestation
inferred← citeshttps://doi.org/10.5445/ir/1000017099openalex-snapshot
System Support for Distributed Energy Management in Modular Operating Systems
inferred← citeshttps://doi.org/10.54692/lgurjcsit.2017.010321openalex-snapshot
Performance Analysis of Hardware Protection & System Security in Different Operating Systems
inferred← citeshttps://doi.org/10.5555/1855741.1855746openalex-snapshot
CuriOS: improving reliability through operating system structure
inferred← citeshttps://doi.org/10.5555/2133429.2133466openalex-snapshot
Reliability, thermal, and power modeling and optimization
inferred← citeshttps://doi.org/10.5753/reic.2014.1019openalex-snapshot
Um Estudo Empírico Exploratório em Confiabilidade de Sistemas Operacionais
inferred← citeshttps://doi.org/10.70675/0e9faebcz8690z43ceza934z9277bafd805fopenalex-snapshot
Co-design and implementation of a minimal kernel oriented by its proof, and evolution towards multicore architectures
inferred← citeshttps://doi.org/10.70675/8b545703z342az47d4za3a2zb88db7e51a29openalex-snapshot
Detecting and Surviving Intrusions : Exploring New Host-Based Intrusion Detection, Recovery, and Response Approaches
inferred← citeshttps://doi.org/10.82444/warw.33663661openalex-snapshot
An automated wrapper-based approach to the design of dependable software
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.