Microkernel (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Microkernel" in English language version.

Last modified: 00:55:48, 30 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2116doi.org

2^nd place

108semanticscholar.org

15^th place

8^th place

87web.archive.org

1^st place

44psu.edu

299^th place

159^th place

44acm.org

1,200^th place

821^st place

33brinch-hansen.net

low place

22qnx.com

low place

22hdl.handle.net

66^th place

34^th place

22nicta.com.au

low place

22minix3.org

low place

21berkeley.edu

621^st place

429^th place

21sigops.org

low place

21tu-dresden.de

9,165^th place

low place

11computer.org

6,549^th place

4,616^th place

11cmu.edu

2,125^th place

1,347^th place

11youtube.com

13^th place

14^th place

11ghostarchive.org

64^th place

28^th place

11apple.com

70^th place

55^th place

11redox-os.org

low place

11ares-os.org

low place

11kit.edu

520^th place

7,067^th place

11electronicdesign.com

low place

11usenix.org

7,359^th place

4,657^th place

11vu.nl

8,771^st place

6,166^th place

11eros-os.org

low place

11ru.nl

7,619^th place

6,271^st place

11udel.edu

5,182^nd place

3,359^th place

acm.org (Global: 1,200^th place; English: 821^st place)

dl.acm.org

Liedke, Jochen (September 1996). "Toward Real Microkernels". Communications of the ACM. 39 (9): 70–71.
Biggs, Simon; Lee, Damon; Heiser, Gernot (2018). "The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security". Proceedings of the 9th Asia-Pacific Workshop on Systems. Jeju Island, Republic of Korea: Association for Computing Machinery. pp. 1–7. doi:10.1145/3265723.3265733.

portal.acm.org

Härtig, Hermann; Hohmuth, Michael; Liedtke, Jochen; Schönberg, Sebastian (October 1997). "The performance of μ-kernel-based systems". Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97. Vol. 31. pp. 66–77. doi:10.1145/268998.266660. ISBN 0-89791-916-5. S2CID 1706253.
Lackorzynski, Adam; Warg, Alexander (March 2009). Taming Subsystems – Capabilities as Universal Resource Access Control in L4. IIES'09: Second Workshop on Isolation and Integration in Embedded Systems. Nuremberg, Germany. CiteSeerX 10.1.1.629.9845. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)

apple.com (Global: 70^th place; English: 55^th place)

developer.apple.com

"Porting UNIX/Linux Applications to Mac OS X". Apple. Retrieved 26 April 2011.

ares-os.org (Global: low place; English: low place)

"Helios". ares-os.org.

berkeley.edu (Global: 621^st place; English: 429^th place)

people.eecs.berkeley.edu

Chen, J. Bradley; Bershad, Brian N. (December 1993). "The Impact of Operating System Structure on Memory System Performance" (PDF). SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles. Asheville, North Carolina. pp. 120–133. doi:10.1145/168619.168629.

brinch-hansen.net (Global: low place; English: low place)

Brinch Hansen, Per (2004). A Programmer's Story: The Life of a Computer Pioneer. Retrieved 13 September 2016.
Brinch Hansen, Per (April 1969). RC 4000 Software: Multiprogramming System (PDF) (Technical report). Regnecentralen. Retrieved 13 September 2016.
Brinch Hansen, Per (1970). "The Nucleus of a Multiprogramming Operating System" (PDF). Communications of the ACM. 13 (4): 238–250. CiteSeerX 10.1.1.105.4204. doi:10.1145/362258.362278. S2CID 9414037. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

cs.cmu.edu

"CMU CS Project Mach Home Page". www.cs.cmu.edu. Carnegie Mellon University. Retrieved 8 August 2024.

computer.org (Global: 6,549^th place; English: 4,616^th place)

"Per Brinch Hansen". IEEE Computer Society. Retrieved 13 September 2016.

doi.org (Global: 2^nd place; English: 2^nd place)

Brinch Hansen, Per (1970). "The Nucleus of a Multiprogramming Operating System" (PDF). Communications of the ACM. 13 (4): 238–250. CiteSeerX 10.1.1.105.4204. doi:10.1145/362258.362278. S2CID 9414037. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
.Wulf, William; Cohen, Ellis; Corwin, William; Jones, Anita; Levin, Roy; Pierson, C.; Pollack, Fred (June 1974). "HYDRA: The Kernel of a Multiprocessor Operating System". Communications of the ACM. 17 (6): 337–345. doi:10.1145/355616.364017. S2CID 8011765.
Rashid, Richard; Robertson, George (December 1981). "Accent: A communication oriented network operating system kernel". SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles. Pacific Grove, California. pp. 64–75. doi:10.1145/800216.806593.
Liedtke, Jochen (September 1996). "Towards Real Microkernels". Communications of the ACM. 39 (9): 70–77. doi:10.1145/234215.234473. S2CID 2867357.
Heiser, Gernot; Uhlig, Volkmar; LeVasseur, Joshua (January 2006). "Are Virtual-Machine Monitors Microkernels Done Right?". ACM SIGOPS Operating Systems Review. 40 (1). ACM: 95–99. doi:10.1145/1113361.1113363. S2CID 7414062. Archived from the original on 13 January 2014. Retrieved 13 January 2014.
Chen, J. Bradley; Bershad, Brian N. (December 1993). "The Impact of Operating System Structure on Memory System Performance" (PDF). SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles. Asheville, North Carolina. pp. 120–133. doi:10.1145/168619.168629.
Liedtke, Jochen (December 1995). "On µ-Kernel Construction". SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles. Copper Mountain Resort, Colorado. pp. 237–250. doi:10.1145/224056.224075.
Elphinstone, Kevin; Heiser, Gernot (November 2013). "From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?". SOSP '13 Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles. Farmington, Pennsylvania. pp. 133–150. doi:10.1145/2517349.2522720.
Alexander, Michael T. (1971). "Organization and Features of the Michigan Terminal System". Proceedings of the November 16–18, 1971, Fall Joint Computer Conference. Vol. 40. pp. 589–591. doi:10.1145/1478873.1478951. S2CID 14614148.
Liedtke, Jochen; Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent (May 1997). Achieved IPC performance (still the foundation for extensibility). 6th Workshop on Hot Topics in Operating Systems. Cape Cod, Massachusetts: IEEE. pp. 28–31. doi:10.1109/HOTOS.1997.595177. hdl:1959.4/39929.
Härtig, Hermann; Hohmuth, Michael; Liedtke, Jochen; Schönberg, Sebastian (October 1997). "The performance of μ-kernel-based systems". Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97. Vol. 31. pp. 66–77. doi:10.1145/268998.266660. ISBN 0-89791-916-5. S2CID 1706253.
Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (September 2005). "User-level device drivers: achieved performance". Journal of Computer Science and Technology. 20 (5): 654–664. doi:10.1007/s11390-005-0654-4. hdl:1959.4/39966. S2CID 1121537.
Biggs, Simon; Lee, Damon; Heiser, Gernot (2018). "The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security". Proceedings of the 9th Asia-Pacific Workshop on Systems. Jeju Island, Republic of Korea: Association for Computing Machinery. pp. 1–7. doi:10.1145/3265723.3265733.
Elkaduwe, Dhammika; Derrin, Philip; Elphinstone, Kevin (April 2008). Kernel design for isolation and assurance of physical memory. 1st Workshop on Isolation and Integration in Embedded Systems. Glasgow, UK. doi:10.1145/1435458. Archived from the original on 24 April 2010. Retrieved 17 August 2009.
Steinberg, Udo; Kauer, Bernhard (April 2010). NOVA: A Microhypervisor-Based Secure Virtualization Architecture. Eurosys 2010. Paris, France. pp. 209–222. doi:10.1145/1755913.1755935.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (February 2014). "Comprehensive Formal Verification of an OS Microkernel". ACM Transactions on Computer Systems. 32 (1): 2:1–2:70. doi:10.1145/2560537. S2CID 4474342.

electronicdesign.com (Global: low place; English: low place)

Wong, William (27 April 2007). "I/O, I/O, It's Off to Virtual Work We Go". Electronic Design. Retrieved 8 June 2009.

eros-os.org (Global: low place; English: low place)

Shapiro, Jonathan S.; Weber, Samuel. Verifying the EROS Confinement Mechanism. IEEE Conference on Security and Privacy. Archived from the original on 3 March 2016.

ghostarchive.org (Global: 64^th place; English: 28^th place)

Magee, Jim. WWDC 2000 Session 106 - Mac OS X: Kernel. 14 minutes in. Archived from the original on 11 December 2021.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Liedtke, Jochen; Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent (May 1997). Achieved IPC performance (still the foundation for extensibility). 6th Workshop on Hot Topics in Operating Systems. Cape Cod, Massachusetts: IEEE. pp. 28–31. doi:10.1109/HOTOS.1997.595177. hdl:1959.4/39929.
Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (September 2005). "User-level device drivers: achieved performance". Journal of Computer Science and Technology. 20 (5): 654–664. doi:10.1007/s11390-005-0654-4. hdl:1959.4/39966. S2CID 1121537.

kit.edu (Global: 520^th place; English: 7,067^th place)

os.ibds.kit.edu

Heiser, Gernot; Uhlig, Volkmar; LeVasseur, Joshua (January 2006). "Are Virtual-Machine Monitors Microkernels Done Right?". ACM SIGOPS Operating Systems Review. 40 (1). ACM: 95–99. doi:10.1145/1113361.1113363. S2CID 7414062. Archived from the original on 13 January 2014. Retrieved 13 January 2014.

minix3.org (Global: low place; English: low place)

minix3.org

Herder, Jorrit N. (23 February 2005). "Toward a True Microkernel Operating System" (PDF). minix3.org. Retrieved 22 June 2015.

wiki.minix3.org

"read-more". Retrieved 20 December 2016.

nicta.com.au (Global: low place; English: low place)

ertos.nicta.com.au

van Schaik, Carl; Heiser, Gernot (January 2007). High-performance microkernels and virtualisation on ARM and segmented architectures. 1st International Workshop on Microkernels for Embedded Systems. Sydney, Australia: NICTA. pp. 11–21. Archived from the original on 26 April 2007. Retrieved 1 April 2007.
Elkaduwe, Dhammika; Derrin, Philip; Elphinstone, Kevin (April 2008). Kernel design for isolation and assurance of physical memory. 1st Workshop on Isolation and Integration in Embedded Systems. Glasgow, UK. doi:10.1145/1435458. Archived from the original on 24 April 2010. Retrieved 17 August 2009.

psu.edu (Global: 299^th place; English: 159^th place)

citeseerx.ist.psu.edu

Brinch Hansen, Per (1970). "The Nucleus of a Multiprogramming Operating System" (PDF). Communications of the ACM. 13 (4): 238–250. CiteSeerX 10.1.1.105.4204. doi:10.1145/362258.362278. S2CID 9414037. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Liedtke, Jochen (December 1993). Improving IPC by kernel design. 14th ACM Symposium on Operating System Principles. Asheville, North Carolina. pp. 175–88. CiteSeerX 10.1.1.40.1293. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)
Gefflaut, Alain; Jaeger, Trent; Park, Yoonho; Liedtke, Jochen; Elphinstone, Kevin J.; Uhlig, Volkmar; Tidswell, Jonathon E.; Deller, Luke; et al. (2000). The Sawmill multiserver approach. 9th ACM SIGOPS European Workshop. Kolding, Denmark. pp. 109–114. CiteSeerX 10.1.1.25.8376. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)
Lackorzynski, Adam; Warg, Alexander (March 2009). Taming Subsystems – Capabilities as Universal Resource Access Control in L4. IIES'09: Second Workshop on Isolation and Integration in Embedded Systems. Nuremberg, Germany. CiteSeerX 10.1.1.629.9845. {{cite conference}}: Cite uses deprecated parameter |citeseerx= (help)

qnx.com (Global: low place; English: low place)

"Synchronous Message Passing". Retrieved 3 September 2024.
"The QNX High Availability Toolkit" (PDF). Archived from the original (PDF) on 24 August 2005.

redox-os.org (Global: low place; English: low place)

"Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS". www.redox-os.org.

ru.nl (Global: 7,619^th place; English: 6,271^st place)

cs.ru.nl

Gerum, Philippe (2005). "Life with Adeos" (PDF). Retrieved 21 May 2026.{{cite web}}: CS1 maint: url-status (link)

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Brinch Hansen, Per (1970). "The Nucleus of a Multiprogramming Operating System" (PDF). Communications of the ACM. 13 (4): 238–250. CiteSeerX 10.1.1.105.4204. doi:10.1145/362258.362278. S2CID 9414037. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
.Wulf, William; Cohen, Ellis; Corwin, William; Jones, Anita; Levin, Roy; Pierson, C.; Pollack, Fred (June 1974). "HYDRA: The Kernel of a Multiprocessor Operating System". Communications of the ACM. 17 (6): 337–345. doi:10.1145/355616.364017. S2CID 8011765.
Liedtke, Jochen (September 1996). "Towards Real Microkernels". Communications of the ACM. 39 (9): 70–77. doi:10.1145/234215.234473. S2CID 2867357.
Heiser, Gernot; Uhlig, Volkmar; LeVasseur, Joshua (January 2006). "Are Virtual-Machine Monitors Microkernels Done Right?". ACM SIGOPS Operating Systems Review. 40 (1). ACM: 95–99. doi:10.1145/1113361.1113363. S2CID 7414062. Archived from the original on 13 January 2014. Retrieved 13 January 2014.
Alexander, Michael T. (1971). "Organization and Features of the Michigan Terminal System". Proceedings of the November 16–18, 1971, Fall Joint Computer Conference. Vol. 40. pp. 589–591. doi:10.1145/1478873.1478951. S2CID 14614148.
Härtig, Hermann; Hohmuth, Michael; Liedtke, Jochen; Schönberg, Sebastian (October 1997). "The performance of μ-kernel-based systems". Proceedings of the sixteenth ACM symposium on Operating systems principles - SOSP '97. Vol. 31. pp. 66–77. doi:10.1145/268998.266660. ISBN 0-89791-916-5. S2CID 1706253.
Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (September 2005). "User-level device drivers: achieved performance". Journal of Computer Science and Technology. 20 (5): 654–664. doi:10.1007/s11390-005-0654-4. hdl:1959.4/39966. S2CID 1121537.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (February 2014). "Comprehensive Formal Verification of an OS Microkernel". ACM Transactions on Computer Systems. 32 (1): 2:1–2:70. doi:10.1145/2560537. S2CID 4474342.

sigops.org (Global: low place; English: low place)

Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). seL4: Formal verification of an OS kernel (PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, Montana.

tu-dresden.de (Global: 9,165^th place; English: low place)

inf.tu-dresden.de

"TUD Home: Operating Systems: Research: Microkernel & Hypervisor". Faculty of Computer Science. Technische Universität Dresden. 12 August 2010. Archived from the original on 6 April 2012. Retrieved 5 November 2011.

udel.edu (Global: 5,182^nd place; English: 3,359^th place)

eecis.udel.edu

Mills, David L.; Kamp, Poul-Henning (28 November 2000). "The Nanokernel" (PDF). Retrieved 28 August 2017.

usenix.org (Global: 7,359^th place; English: 4,657^th place)

Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (April 2005). Itanium—a system implementor's tale. USENIX Annual Technical Conference. Annaheim, California. pp. 264–278.

vu.nl (Global: 8,771^st place; English: 6,166^th place)

cs.vu.nl

Tanenbaum, Andrew S. "Tanenbaum-Torvalds debate, part II".

web.archive.org (Global: 1^st place; English: 1^st place)

Heiser, Gernot; Uhlig, Volkmar; LeVasseur, Joshua (January 2006). "Are Virtual-Machine Monitors Microkernels Done Right?". ACM SIGOPS Operating Systems Review. 40 (1). ACM: 95–99. doi:10.1145/1113361.1113363. S2CID 7414062. Archived from the original on 13 January 2014. Retrieved 13 January 2014.
"The QNX High Availability Toolkit" (PDF). Archived from the original (PDF) on 24 August 2005.
van Schaik, Carl; Heiser, Gernot (January 2007). High-performance microkernels and virtualisation on ARM and segmented architectures. 1st International Workshop on Microkernels for Embedded Systems. Sydney, Australia: NICTA. pp. 11–21. Archived from the original on 26 April 2007. Retrieved 1 April 2007.
Shapiro, Jonathan S.; Weber, Samuel. Verifying the EROS Confinement Mechanism. IEEE Conference on Security and Privacy. Archived from the original on 3 March 2016.
Elkaduwe, Dhammika; Klein, Gerwin; Elphinstone, Kevin (2007). Verified Protection Model of the seL4 Microkernel. submitted for publication. Archived from the original on 29 November 2011. Retrieved 10 October 2007.
Elkaduwe, Dhammika; Derrin, Philip; Elphinstone, Kevin (April 2008). Kernel design for isolation and assurance of physical memory. 1st Workshop on Isolation and Integration in Embedded Systems. Glasgow, UK. doi:10.1145/1435458. Archived from the original on 24 April 2010. Retrieved 17 August 2009.
"TUD Home: Operating Systems: Research: Microkernel & Hypervisor". Faculty of Computer Science. Technische Universität Dresden. 12 August 2010. Archived from the original on 6 April 2012. Retrieved 5 November 2011.

youtube.com (Global: 13^th place; English: 14^th place)

Magee, Jim. WWDC 2000 Session 106 - Mac OS X: Kernel. 14 minutes in. Archived from the original on 11 December 2021.

Microkernel (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

portal.acm.org

apple.com (Global: 70th place; English: 55th place)

developer.apple.com

ares-os.org (Global: low place; English: low place)

berkeley.edu (Global: 621st place; English: 429th place)

people.eecs.berkeley.edu

brinch-hansen.net (Global: low place; English: low place)

cmu.edu (Global: 2,125th place; English: 1,347th place)

cs.cmu.edu

computer.org (Global: 6,549th place; English: 4,616th place)

doi.org (Global: 2nd place; English: 2nd place)

electronicdesign.com (Global: low place; English: low place)

eros-os.org (Global: low place; English: low place)

ghostarchive.org (Global: 64th place; English: 28th place)

hdl.handle.net (Global: 66th place; English: 34th place)

kit.edu (Global: 520th place; English: 7,067th place)

os.ibds.kit.edu

minix3.org (Global: low place; English: low place)

minix3.org

wiki.minix3.org

nicta.com.au (Global: low place; English: low place)

ertos.nicta.com.au

psu.edu (Global: 299th place; English: 159th place)

citeseerx.ist.psu.edu

qnx.com (Global: low place; English: low place)

redox-os.org (Global: low place; English: low place)

ru.nl (Global: 7,619th place; English: 6,271st place)

cs.ru.nl

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

sigops.org (Global: low place; English: low place)

tu-dresden.de (Global: 9,165th place; English: low place)

inf.tu-dresden.de

udel.edu (Global: 5,182nd place; English: 3,359th place)

eecis.udel.edu

usenix.org (Global: 7,359th place; English: 4,657th place)

vu.nl (Global: 8,771st place; English: 6,166th place)

cs.vu.nl

web.archive.org (Global: 1st place; English: 1st place)

youtube.com (Global: 13th place; English: 14th place)

acm.org (Global: 1,200^th place; English: 821^st place)

apple.com (Global: 70^th place; English: 55^th place)

berkeley.edu (Global: 621^st place; English: 429^th place)

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

computer.org (Global: 6,549^th place; English: 4,616^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

ghostarchive.org (Global: 64^th place; English: 28^th place)

hdl.handle.net (Global: 66^th place; English: 34^th place)

kit.edu (Global: 520^th place; English: 7,067^th place)

psu.edu (Global: 299^th place; English: 159^th place)

ru.nl (Global: 7,619^th place; English: 6,271^st place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

tu-dresden.de (Global: 9,165^th place; English: low place)

udel.edu (Global: 5,182^nd place; English: 3,359^th place)

usenix.org (Global: 7,359^th place; English: 4,657^th place)

vu.nl (Global: 8,771^st place; English: 6,166^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

youtube.com (Global: 13^th place; English: 14^th place)