The duality of memory and communication in the implementation of a multiprocessor operating system
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Two years of experience with a &mgr;-Kernel based OS
ACM SIGOPS Operating Systems Review
Page placement algorithms for large real-indexed caches
ACM Transactions on Computer Systems (TOCS)
Designing and implementing Choices: an object-oriented system in C++
Communications of the ACM
Extensible file systems in spring
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
The impact of operating system structure on memory system performance
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The grand unified theory of address spaces
HOTOS '95 Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V)
The performance of μ-kernel-based systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
A system software architecture for high-end computing
SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
A survey of customizability in operating systems research
ACM Computing Surveys (CSUR)
JN: OS for an Embedded Java Network Computer
IEEE Micro
Access Control Mechanisms in a Distributed, Persistent Memory System
IEEE Transactions on Parallel and Distributed Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Software architecture supporting integrated real-time systems
Journal of Systems and Software
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
A case for virtual channel processors
NICELI '03 Proceedings of the ACM SIGCOMM workshop on Network-I/O convergence: experience, lessons, implications
Software environment for integrating critical real-time control systems
Journal of Systems Architecture: the EUROMICRO Journal
A programmable microkernel for real-time systems
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Encyclopedia of Computer Science
Advanced non-distributed operating systems course
ACM SIGCSE Bulletin
Are virtual-machine monitors microkernels done right?
ACM SIGOPS Operating Systems Review
Security architectures revisited
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Formalising the L4 microkernel API
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Running the manual: an approach to high-assurance microkernel development
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
SMP-SoC is the answer if you ask the right questions
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
CAmkES: A component model for secure microkernel-based embedded systems
Journal of Systems and Software
Network subsystems reloaded: a high-performance, defensible network subsystem
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Broad new OS research: challenges and opportunities
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Make least privilege a right (not a privilege)
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Microreboot — A technique for cheap recovery
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
A real-time programmer's tour of general-purpose L4 microkernels
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
Simulation environment for testing and verifying the L4 microkernel mapping database
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
A real-time programmer's tour of general-purpose L4 microkernels
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
Journal of Automated Reasoning
Secure offline superdistribution for mobile platforms
International Journal of Applied Cryptography
seL4: formal verification of an OS kernel
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
A practical look at micro-kernels and virtual machine monitors
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
Device driver isolation within virtualized embedded platforms
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
Operating system development with ATS: work in progress
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
seL4: formal verification of an operating-system kernel
Communications of the ACM
Trusted computing: special aspects and challenges
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Securing peer-to-peer distributions for mobile devices
ISPEC'08 Proceedings of the 4th international conference on Information security practice and experience
Phone virtualization using a microkemel hypervisor
IMSAA'09 Proceedings of the 3rd IEEE international conference on Internet multimedia services architecture and applications
Application specific real-time microkernel in hardware
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
Towards a trusted mobile desktop
TRUST'10 Proceedings of the 3rd international conference on Trust and trustworthy computing
From a proven correct microkernel to trustworthy large systems
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
The web interface should be radically refactored
Proceedings of the 10th ACM Workshop on Hot Topics in Networks
Protected hard real-time: the next frontier
Proceedings of the Second Asia-Pacific Workshop on Systems
Towards multilateral-secure DRM platforms
ISPEC'05 Proceedings of the First international conference on Information Security Practice and Experience
An empirical comparison of Java remote communication primitives for intra-node data transmission
ACM SIGMETRICS Performance Evaluation Review
Integrated Task and Interrupt Management for Real-Time Systems
ACM Transactions on Embedded Computing Systems (TECS)
Operating system support for multimedia systems
Computer Communications
mTags: augmenting microkernel messages with lightweight metadata
ACM SIGOPS Operating Systems Review
Large-scale formal verification in practice: a process perspective
Proceedings of the 34th International Conference on Software Engineering
Enabling fairer digital rights management with trusted computing
ISC'07 Proceedings of the 10th international conference on Information Security
Formal specifications better than function points for code sizing
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Formalising the L4 microkernel API
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 48.23 |