L4 (микроядро) (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "L4 (микроядро)" in Russian language version.

refsWebsite

Global rank Russian rank

45web.archive.org

1^st place

7wikipedia.org

low place

7nicta.com.au

low place

6doi.org

2^nd place

3^rd place

5ok-labs.com

low place

4tu-dresden.de

low place

2uka.de

low place

2l4ka.org

low place

2github.com

383^rd place

298^th place

2kit.edu

6,505^th place

low place

2acm.org

1,185^th place

1,832^nd place

1harvard.edu

18^th place

63^rd place

1psu.edu

207^th place

1,021^st place

1ucr.edu

1,553^rd place

2,421^st place

1usenix.org

5,990^th place

low place

1hindawi.com

6,828^th place

6,075^th place

1apple.com

67^th place

88^th place

1fortune.com

433^rd place

813^th place

1seL4.systems

low place

1unsw.edu.au

4,584^th place

low place

1sigops.org

low place

1darpa.mil

low place

1popmech.ru

5,040^th place

406^th place

1gnu.org

1,475^th place

976^th place

1pdx.edu

8,132^nd place

low place

1worldcat.org

5^th place

1genode.org

low place

1l4dev.org

low place

1hypervisor.org

low place

1l4os.ru

low place

acm.org

dl.acm.org

Gefflaut, Alain; Jaeger, Trent; Park, Yoonho; Liedtke, Jochen; Elphinstone, Kevin; Uhlig, Volkmar; Tidswell, Jonathon; Deller, Luke; Reuther, Lars (2000 год). "The Sawmill multiserver approach". ACM SIGOPS European Workshop. Kolding, Denmark. pp. 109—114. {{cite conference}}: Проверьте значение даты: |date= (справка)

portal.acm.org

Peter, Michael; Schild, Henning (Март 2009 года). "Virtual Machines Jailed - Virtualization in Systems with Small Trusted Computing Bases". VTDS'09: Workshop on Virtualization Technology for Dependable Systems. Nuremberg, Germany. {{cite conference}}: Проверьте значение даты: |date= (справка); Неизвестный параметр |coauthors= игнорируется (|author= предлагается) (справка)

apple.com

images.apple.com

iOS Security (неопр.). Дата обращения: 28 сентября 2017. Архивировано 23 сентября 2014 года.

darpa.mil

High-assurance cyber military systems Архивировано 8 августа 2014 года. (HACMS).

doi.org

dx.doi.org

Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot. User-level device drivers: achieved performance (неопр.) // Journal of Computer Science and Technology. — Т. 20, № 5. — С. 654‑664. — doi:10.1007/s11390-005-0654-4.
Ruocco, Sergio. A real-time programmer's tour of general-purpose L4 microkernels (англ.) // EURASIP Journal on Embedded Systems, Special Issue on Operating System Support for Embedded Real-Time Applications : journal. — 2008. — October (vol. 2008). — P. 1‑14. — doi:10.1155/2008/234710. (недоступная ссылка)
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot. Comprehensive formal verification of an OS microkernel (англ.) // ACM Transactions on Computer Systems : journal. — Vol. 32, no. 1. — P. 2:1—2:70. — doi:10.1145/2560537.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot. Comprehensive formal verification of an OS microkernel (англ.) // ACM Transactions on Computer Systems : journal. — 2014. — Vol. 32. — P. 64. — doi:10.1145/2560537. Архивировано 3 августа 2014 года.
Hallgren, T.; Jones, M. P.; Leslie, R.; Tolmach, A. A principled approach to operating system construction in Haskell (англ.) // Proceedings of the tenth ACM SIGPLAN international conference on functional programming : journal. — 2005. — Vol. 40, no. 9. — P. 116—128. — ISSN 0362-1340. — doi:10.1145/1090189.1086380. Архивировано 15 июня 2010 года.

doi.org

Elkaduwe, Dhammika (Апрель 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. Архивировано из оригинала 24 апреля 2010. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка); Неизвестный параметр |coauthors= игнорируется (|author= предлагается) (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано из оригинала 24 апреля 2010 года.

fortune.com

[2] Архивная копия от 15 июля 2015 на Wayback Machine.

genode.org

Codezero Архивная копия от 9 июля 2015 на Wayback Machine на сайте genode.org.

github.com

Репозиторий проекта F9 Архивная копия от 5 марта 2017 на Wayback Machine // github.com.
VMM Seoul Архивная копия от 11 июня 2018 на Wayback Machine // github.com

gnu.org

История GNU Hurd. Портирование на другое микроядро Архивная копия от 8 марта 2017 на Wayback Machine (англ.).

harvard.edu

read.seas.harvard.edu

Liedtke, Jochen (Декабрь 1993 года). "Improving IPC by kernel design" (PDF). 14th ACM symposium on operating system principles. Asheville, NC, USA. pp. 175—88. Архивировано (PDF) 4 марта 2016. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 4 марта 2016 года.

hindawi.com

Ruocco, Sergio. A real-time programmer's tour of general-purpose L4 microkernels (англ.) // EURASIP Journal on Embedded Systems, Special Issue on Operating System Support for Embedded Real-Time Applications : journal. — 2008. — October (vol. 2008). — P. 1‑14. — doi:10.1155/2008/234710. (недоступная ссылка)

hypervisor.org

Проект Nova Архивная копия от 24 июня 2015 на Wayback Machine. Официальный сайт.

kit.edu

os.itec.kit.edu

Liedtke, Jochen (Декабрь 1993 года). "A persistent system in real use—experiences of the first 13 years" (PDF). Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS). Asheville, NC, USA. pp. 2‑11. Архивировано (PDF) 10 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 10 июля 2015 года.

os.ibds.kit.edu

In Memoriam Jochen Liedtke (1953—2001) Архивная копия от 5 марта 2012 на Wayback Machine.

l4dev.org

Официальный сайт проекта Codezero Архивная копия от 9 июля 2015 на Wayback Machine.

l4ka.org

Микроядро «L4Ka::Pistachio» Архивная копия от 9 января 2007 на Wayback Machine (англ.).
Команда разработчиков «L4Ka» Архивная копия от 22 января 2007 на Wayback Machine (англ.).

l4os.ru

l4os.ru Архивная копия от 9 февраля 2011 на Wayback Machine. Официальный сайт проекта Xameleon.

nicta.com.au

ertos.nicta.com.au

van Schaik, Carl; Heiser, Gernot (Январь 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. Архивировано 26 апреля 2007. Дата обращения: 1 апреля 2007. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 26 апреля 2007 года.
Darbat project Архивная копия от 19 декабря 2013 на Wayback Machine.
Elkaduwe, Dhammika (Апрель 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. Архивировано из оригинала 24 апреля 2010. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка); Неизвестный параметр |coauthors= игнорируется (|author= предлагается) (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано из оригинала 24 апреля 2010 года.

nicta.com.au

[1] Архивная копия от 25 августа 2006 на Wayback Machine.
"Secure operating system developed by NICTA goes open source" (Press release). NICTA. 2014-07-29. Архивировано из оригинала 10 августа 2014. Дата обращения: 8 июля 2015.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot. Comprehensive formal verification of an OS microkernel (англ.) // ACM Transactions on Computer Systems : journal. — 2014. — Vol. 32. — P. 64. — doi:10.1145/2560537. Архивировано 3 августа 2014 года.

ssrg.nicta.com.au

Проект SMACCM Архивная копия от 10 июля 2015 на Wayback Machine // Сайт фирмы NICTA^[англ.]. SMACCM — аббревиатура от англ. secure mathematically-assured composition of control models.

ok-labs.com

OKL4 microvisor Архивная копия от 13 марта 2014 на Wayback Machine.
OK:Linux (неопр.). Дата обращения: 8 июля 2015. Архивировано из оригинала 10 апреля 2015 года.
"Open Kernel Labs Software Surpasses Milestone of 1.5 Billion Mobile Device Shipments" (Press release). Open Kernel Labs. 2012-01-19. Архивировано из оригинала 11 февраля 2012. Дата обращения: 10 ноября 2015.
"Open Kernel Labs Automotive Virtualization Selected by Bosch for Infotainment Systems" (Press release). Open Kernel Labs. 2012-03-27. Архивировано из оригинала 2 июля 2012.

wiki.ok-labs.com

OKL4 3.0 (неопр.). Дата обращения: 21 мая 2011. Архивировано из оригинала 16 мая 2011 года.

pdx.edu

web.cecs.pdx.edu

Hallgren, T.; Jones, M. P.; Leslie, R.; Tolmach, A. A principled approach to operating system construction in Haskell (англ.) // Proceedings of the tenth ACM SIGPLAN international conference on functional programming : journal. — 2005. — Vol. 40, no. 9. — P. 116—128. — ISSN 0362-1340. — doi:10.1145/1090189.1086380. Архивировано 15 июня 2010 года.

popmech.ru

Дронов нового поколения взломать невозможно Архивная копия от 18 ноября 2015 на Wayback Machine // Журнал «Популярная механика». 12 ноября 2015 года.

psu.edu

citeseer.ist.psu.edu

Jochen Liedtke. Page table structures for fine-grain virtual memory Архивная копия от 12 ноября 2007 на Wayback Machine. Technical report 872. German national research center for computer science (GMD). Октябрь 1994 года.

seL4.systems

[3] Архивная копия от 3 мая 2022 на Wayback Machine.

sigops.org

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 (Октябрь 2009 года). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM symposium on operating system principles. Big Sky, MT, USA. Архивировано (PDF) 28 июля 2011. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 28 июля 2011 года.

tu-dresden.de

os.inf.tu-dresden.de

Семейство микроядер L4. Обзор Архивная копия от 14 мая 2015 на Wayback Machine (англ.) // Сайт технического университета Дрездена (Германия).
Язык ELAN Архивная копия от 12 мая 2015 на Wayback Machine (англ.) // Сайт технического университета Дрездена.
Drops overview Архивная копия от 7 августа 2011 на Wayback Machine.
L4Linux Архивная копия от 7 июля 2015 на Wayback Machine.

ucr.edu

cs.ucr.edu

Fleisch, Brett D; Allan, Mark. Workplace Microkernel and OS: A Case Study (неопр.). — John Wiley & Sons, Ltd.. Архивировано 24 августа 2007 года.

uka.de

i30ira.uka.de

Liedtke, Jochen (Декабрь 1995 года). "On µ-Kernel construction". Proc. 15th ACM symposium on operating systems principles (SOSP). pp. 237‑250. Архивировано из оригинала 18 марта 2009. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 18 марта 2009 года.
System architecture group. About us. People. Liedtke. Архивная копия.

unsw.edu.au

cse.unsw.edu.au

Derrin, Philip; Elphinstone, Kevin; Klein, Gerwin; Cock; David; Chakravarty, Manuel M. T. (Сентябрь 2006 года). "Running the manual: an approach to high-assurance microkernel development" (PDF). ACM SIGPLAN Haskell Workshop. Portland, Oregon, USA. pp. 60‑71. Архивировано (PDF) 3 марта 2016. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 3 марта 2016 года.

usenix.org

Gray, Charles (Апрель 2005 года). "Itanium — system implementor's tale". USENIX Annual Technical Conference. Annaheim, CA, USA. pp. 264‑278. Архивировано 17 февраля 2007. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка); Неизвестный параметр |coauthors= игнорируется (|author= предлагается) (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 17 февраля 2007 года.

web.archive.org

Liedtke, Jochen (Декабрь 1993 года). "Improving IPC by kernel design" (PDF). 14th ACM symposium on operating system principles. Asheville, NC, USA. pp. 175—88. Архивировано (PDF) 4 марта 2016. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 4 марта 2016 года.
Семейство микроядер L4. Обзор Архивная копия от 14 мая 2015 на Wayback Machine (англ.) // Сайт технического университета Дрездена (Германия).
Язык ELAN Архивная копия от 12 мая 2015 на Wayback Machine (англ.) // Сайт технического университета Дрездена.
Liedtke, Jochen (Декабрь 1993 года). "A persistent system in real use—experiences of the first 13 years" (PDF). Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS). Asheville, NC, USA. pp. 2‑11. Архивировано (PDF) 10 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 10 июля 2015 года.
In Memoriam Jochen Liedtke (1953—2001) Архивная копия от 5 марта 2012 на Wayback Machine.
Liedtke, Jochen (Декабрь 1995 года). "On µ-Kernel construction". Proc. 15th ACM symposium on operating systems principles (SOSP). pp. 237‑250. Архивировано из оригинала 18 марта 2009. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 18 марта 2009 года.
System architecture group. About us. People. Liedtke. Архивная копия.
Jochen Liedtke. Page table structures for fine-grain virtual memory Архивная копия от 12 ноября 2007 на Wayback Machine. Technical report 872. German national research center for computer science (GMD). Октябрь 1994 года.
Fleisch, Brett D; Allan, Mark. Workplace Microkernel and OS: A Case Study (неопр.). — John Wiley & Sons, Ltd.. Архивировано 24 августа 2007 года.
Страница группы «L4Ka» // archive.org.
Drops overview Архивная копия от 7 августа 2011 на Wayback Machine.
Микроядро «L4Ka::Pistachio» Архивная копия от 9 января 2007 на Wayback Machine (англ.).
Команда разработчиков «L4Ka» Архивная копия от 22 января 2007 на Wayback Machine (англ.).
The L4Ka::Pistachio Microkernel. (англ.) Белая книга. PDF. 1 мая 2003 года // archive.org.
Gray, Charles (Апрель 2005 года). "Itanium — system implementor's tale". USENIX Annual Technical Conference. Annaheim, CA, USA. pp. 264‑278. Архивировано 17 февраля 2007. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка); Неизвестный параметр |coauthors= игнорируется (|author= предлагается) (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 17 февраля 2007 года.
van Schaik, Carl; Heiser, Gernot (Январь 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. Архивировано 26 апреля 2007. Дата обращения: 1 апреля 2007. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 26 апреля 2007 года.
[1] Архивная копия от 25 августа 2006 на Wayback Machine.
Страница программы ERTOS на сайте NICTA // archive.org.
OKL4 3.0 (неопр.). Дата обращения: 21 мая 2011. Архивировано из оригинала 16 мая 2011 года.
OKL4 microvisor Архивная копия от 13 марта 2014 на Wayback Machine.
OK:Linux (неопр.). Дата обращения: 8 июля 2015. Архивировано из оригинала 10 апреля 2015 года.
"Open Kernel Labs Software Surpasses Milestone of 1.5 Billion Mobile Device Shipments" (Press release). Open Kernel Labs. 2012-01-19. Архивировано из оригинала 11 февраля 2012. Дата обращения: 10 ноября 2015.
"Open Kernel Labs Automotive Virtualization Selected by Bosch for Infotainment Systems" (Press release). Open Kernel Labs. 2012-03-27. Архивировано из оригинала 2 июля 2012.
iOS Security (неопр.). Дата обращения: 28 сентября 2017. Архивировано 23 сентября 2014 года.
Darbat project Архивная копия от 19 декабря 2013 на Wayback Machine.
[2] Архивная копия от 15 июля 2015 на Wayback Machine.
[3] Архивная копия от 3 мая 2022 на Wayback Machine.
Derrin, Philip; Elphinstone, Kevin; Klein, Gerwin; Cock; David; Chakravarty, Manuel M. T. (Сентябрь 2006 года). "Running the manual: an approach to high-assurance microkernel development" (PDF). ACM SIGPLAN Haskell Workshop. Portland, Oregon, USA. pp. 60‑71. Архивировано (PDF) 3 марта 2016. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 3 марта 2016 года.
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 (Октябрь 2009 года). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM symposium on operating system principles. Big Sky, MT, USA. Архивировано (PDF) 28 июля 2011. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 28 июля 2011 года.
Elkaduwe, Dhammika (Апрель 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. Архивировано из оригинала 24 апреля 2010. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка); Неизвестный параметр |coauthors= игнорируется (|author= предлагается) (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано из оригинала 24 апреля 2010 года.
"Secure operating system developed by NICTA goes open source" (Press release). NICTA. 2014-07-29. Архивировано из оригинала 10 августа 2014. Дата обращения: 8 июля 2015.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot. Comprehensive formal verification of an OS microkernel (англ.) // ACM Transactions on Computer Systems : journal. — 2014. — Vol. 32. — P. 64. — doi:10.1145/2560537. Архивировано 3 августа 2014 года.
High-assurance cyber military systems Архивировано 8 августа 2014 года. (HACMS).
Проект SMACCM Архивная копия от 10 июля 2015 на Wayback Machine // Сайт фирмы NICTA^[англ.]. SMACCM — аббревиатура от англ. secure mathematically-assured composition of control models.
Дронов нового поколения взломать невозможно Архивная копия от 18 ноября 2015 на Wayback Machine // Журнал «Популярная механика». 12 ноября 2015 года.
История GNU Hurd. Портирование на другое микроядро Архивная копия от 8 марта 2017 на Wayback Machine (англ.).
Hallgren, T.; Jones, M. P.; Leslie, R.; Tolmach, A. A principled approach to operating system construction in Haskell (англ.) // Proceedings of the tenth ACM SIGPLAN international conference on functional programming : journal. — 2005. — Vol. 40, no. 9. — P. 116—128. — ISSN 0362-1340. — doi:10.1145/1090189.1086380. Архивировано 15 июня 2010 года.
Codezero Архивная копия от 9 июля 2015 на Wayback Machine на сайте genode.org.
dev.b-labs.com // archive.org.
Официальный сайт проекта Codezero Архивная копия от 9 июля 2015 на Wayback Machine.
Репозиторий проекта F9 Архивная копия от 5 марта 2017 на Wayback Machine // github.com.
L4Linux Архивная копия от 7 июля 2015 на Wayback Machine.
Проект Nova Архивная копия от 24 июня 2015 на Wayback Machine. Официальный сайт.
VMM Seoul Архивная копия от 11 июня 2018 на Wayback Machine // github.com
l4os.ru Архивная копия от 9 февраля 2011 на Wayback Machine. Официальный сайт проекта Xameleon.

wikipedia.org

en.wikipedia.org

Liedtke, Jochen (Декабрь 1993 года). "Improving IPC by kernel design" (PDF). 14th ACM symposium on operating system principles. Asheville, NC, USA. pp. 175—88. Архивировано (PDF) 4 марта 2016. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 4 марта 2016 года.
Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot. User-level device drivers: achieved performance (неопр.) // Journal of Computer Science and Technology. — Т. 20, № 5. — С. 654‑664. — doi:10.1007/s11390-005-0654-4.
van Schaik, Carl; Heiser, Gernot (Январь 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. Архивировано 26 апреля 2007. Дата обращения: 1 апреля 2007. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 26 апреля 2007 года.
"Open Kernel Labs Automotive Virtualization Selected by Bosch for Infotainment Systems" (Press release). Open Kernel Labs. 2012-03-27. Архивировано из оригинала 2 июля 2012.
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 (Октябрь 2009 года). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM symposium on operating system principles. Big Sky, MT, USA. Архивировано (PDF) 28 июля 2011. Дата обращения: 8 июля 2015. {{cite conference}}: Проверьте значение даты: |date= (справка) Источник (неопр.). Дата обращения: 8 июля 2015. Архивировано 28 июля 2011 года.
"Secure operating system developed by NICTA goes open source" (Press release). NICTA. 2014-07-29. Архивировано из оригинала 10 августа 2014. Дата обращения: 8 июля 2015.
Проект SMACCM Архивная копия от 10 июля 2015 на Wayback Machine // Сайт фирмы NICTA^[англ.]. SMACCM — аббревиатура от англ. secure mathematically-assured composition of control models.

worldcat.org

Hallgren, T.; Jones, M. P.; Leslie, R.; Tolmach, A. A principled approach to operating system construction in Haskell (англ.) // Proceedings of the tenth ACM SIGPLAN international conference on functional programming : journal. — 2005. — Vol. 40, no. 9. — P. 116—128. — ISSN 0362-1340. — doi:10.1145/1090189.1086380. Архивировано 15 июня 2010 года.