Software errors and complexity: an empirical investigation0
Communications of the ACM
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The performance of μ-kernel-based systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
An empirical study of operating systems errors
SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
The distribution of faults in a large industrial software system
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Architecture of virtual machines
Proceedings of the workshop on virtual computer systems
Improving the reliability of commodity operating systems
ACM Transactions on Computer Systems (TOCS)
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Unmodified device driver reuse and improved system dependability via virtual machines
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
MINIX 3: a highly reliable, self-repairing operating system
ACM SIGOPS Operating Systems Review
Hybrid vs. monolithic OS kernels: a benchmark comparison
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Improving dependability by revisiting operating system design
HotDep'07 Proceedings of the 3rd workshop on on Hot Topics in System Dependability
Improving Xen security through disaggregation
Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Journal of Computer Security - The Third IEEE International Symposium on Security in Networks and Distributed Systems
Safe device driver model based on kernel-mode JVM
VTDC '07 Proceedings of the 2nd international workshop on Virtualization technology in distributed computing
Even more patterns for secure operating systems
Proceedings of the 2006 conference on Pattern languages of programs
Service-Oriented Operating System: A Key Element in Improving Service Availability
ISAS '07 Proceedings of the 4th international symposium on Service Availability
Virtualization-based separation of privilege: working with sensitive data in untrusted environment
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems
Linux bugs: Life cycle, resolution and architectural analysis
Information and Software Technology
A microkernel API for fine-grained decomposition
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
CuriOS: improving reliability through operating system structure
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Breaking up is hard to do: security and functionality in a commodity hypervisor
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Reorganizing UNIX for reliability
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Reliability, thermal, and power modeling and optimization
Proceedings of the International Conference on Computer-Aided Design
Using virtualization to protect application address space inside untrusted environment
Programming and Computing Software
Operating system reliability from the quality of experience viewpoint: an exploratory study
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Patterns for building dependable systems with trusted bases
Proceedings of the 17th Conference on Pattern Languages of Programs
| Hi-index | 4.10 |
Microkernels--long discarded as unacceptable because of their lower performance compared with monolithic kernels--might be making a comeback in operating systems due to their potentially higher reliability, which many researchers now regard as more important than performance.