المؤلفون: Mina Soltani Siapoush, Jim Alves-Foss

المصدر: IEEE Access, Vol 11, Pp 101750-101759 (2023)

مصطلحات موضوعية: Microkernel, seL4, formal methods, correctness verification, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10251948/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/9810e2dc055e45f5bfc177b6effe59db

المؤلفون: Leonid Al'bertovich Merkin-Janson, Ruslan Maratovich Rezin, Nikolay Konstantinovich Vasilyev

المصدر: Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 472-487 (2020)

مصطلحات موضوعية: distributed ledger systems, formal verification, hol4, cakeml, sel4, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1437; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/e4daf88db8424357903fb6359667208c

المؤلفون: Everton de Matos, Markku Ahvenjärvi

المصدر: Electronics; Volume 11; Issue 24; Pages: 4201

مصطلحات موضوعية: hypervisor, microkernel, seL4, virtualization, virtual machine monitor

وصف الملف: application/pdf

Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics11244201

الاتاحة: https://doi.org/10.3390/electronics11244201

المؤلفون: Andronick, June

المساهمون: June Andronick

مصطلحات موضوعية: Proof maintentance, proof evolution, seL4, Isabelle/HOL

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019.1

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2019.1
https://nbn-resolving.org/urn:nbn:de:0030-drops-110567
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2019.1

المؤلفون: Bezzecchi, Sergio, Crisafulli, Paolo, Pichot, Charlotte, Wolff, Burkhart

المساهمون: Alstom Transport (Alstom Transport), IRT SystemX, Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay

المصدر: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
https://hal.science/hal-01702815
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France

مصطلحات موضوعية: Development Processes, Certification, Formal Methods, Isabelle/HOL, seL4, [SCCO.COMP]Cognitive science/Computer science

جغرافية الموضوع: Toulouse, France

Relation: hal-01702815; https://hal.science/hal-01702815; https://hal.science/hal-01702815/document; https://hal.science/hal-01702815/file/2018erts-agile-fm.pdf

الاتاحة: https://hal.science/hal-01702815
https://hal.science/hal-01702815/document
https://hal.science/hal-01702815/file/2018erts-agile-fm.pdf

المؤلفون: Jurgensen, Grant Alan

المساهمون: Alexander, Perry, Davidson, Drew, Moore, Matthew

مصطلحات موضوعية: Computer science, Computation Tree Logic, Formal Methods, Remote Attestation, seL4, Theorem Proving, Verification

وصف الملف: 54 pages; application/pdf

Relation: http://dissertations.umi.com/ku:18223; https://hdl.handle.net/1808/34202; orcid:0000-0001-6292-8558

الاتاحة: https://hdl.handle.net/1808/34202
http://dissertations.umi.com/ku:18223

المؤلفون: Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, THOMAS SEWELL, RAFAL KOLANSKI, GERNOT HEISER

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.nicta.com.au/pub?doc=7371.

مصطلحات موضوعية: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification, D.4.5 [Operating Systems, Reliability—Verification General Terms, Verification, Security, Reliability Additional Key Words and Phrases, seL4, Isabelle/HOL, operating systems, microkernel, L4 ACM Reference Format

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.9140; http://www.nicta.com.au/pub?doc=7371

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.9140
http://www.nicta.com.au/pub?doc=7371

المؤلفون: Crone, Max

مصطلحات موضوعية: trusted execution environment, remote attestation, sel4, microkernel, arm trustzone, intel sgx, side-channels, transient execution attacks, Computer and Information Sciences, Data- och informationsvetenskap

وصف الملف: application/pdf

Relation: TRITA-EECS-EX ; 2021:610

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-304306

المؤلفون: Holmberg, Olof

مصطلحات موضوعية: SDN, Software-Defined Networking, Microkernel, seL4, Computer Engineering, Datorteknik

وصف الملف: application/pdf

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-181553

المؤلفون: Holmberg, Olof

مصطلحات موضوعية: SDN, Microkernel, seL4, Computer Engineering, Software-Defined Networking, Datorteknik

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b50307a76ce232d2535f05500e2acd6
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-181553

المؤلفون: Thomas Sewell, Magnus Myreen, Gerwin Klein

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.nicta.com.au/pub?doc=6449.

مصطلحات موضوعية: Verification, Languages Binary Verification, seL4, Microkernel

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.6241; http://www.nicta.com.au/pub?doc=6449

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.6241
http://www.nicta.com.au/pub?doc=6449

المؤلفون: Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://conferences.sigcomm.org/sigcomm/2010/papers/apsys/p31.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.4.7 [Operating Systems, Organization and Design, D.4.6 [Operating Systems, Security and Protection, D.2.4 [Software Engineering, Software/Program Verification General Terms Languages, Design Keywords Capabilities, capability distribution, security analysis, seL4, Isabelle

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.6038; http://conferences.sigcomm.org/sigcomm/2010/papers/apsys/p31.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.6038
http://conferences.sigcomm.org/sigcomm/2010/papers/apsys/p31.pdf

المؤلفون: Holmberg, Olof

مصطلحات موضوعية: SDN, Software-Defined Networking, Microkernel, seL4, Computer Engineering, Datorteknik

وصف الملف: application/pdf

Relation: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-181553

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-181553

المؤلفون: Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ok-labs.com/_assets/image_library/Klein_EHACDEEKNSTW_09.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.4.5 [Operating Systems, Reliability—Verification, D.2.4 [Software Engineering, Software/Program Veri- fication General Terms Verification, Design Keywords Isabelle/HOL, L4, microkernel, seL4 ∗Philip Derrin is now at Open Kernel Labs

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9728; http://www.ok-labs.com/_assets/image_library/Klein_EHACDEEKNSTW_09.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9728
http://www.ok-labs.com/_assets/image_library/Klein_EHACDEEKNSTW_09.pdf

المؤلفون: Sabraoui, Mehdi

المصدر: Electronic Theses and Dissertations

مصطلحات موضوعية: seL4, TLA+, model checking, CAmkES, verification, cyber security, Computer and Systems Architecture, Controls and Control Theory, Information Security, OS and Networks, Other Computer Engineering, Software Engineering, Systems Architecture, Theory and Algorithms

وصف الملف: application/pdf

Relation: https://ir.library.louisville.edu/etd/3271; https://ir.library.louisville.edu/context/etd/article/4490/viewcontent/Mehdi_Sabraoui_Dissertation.pdf

الاتاحة: https://ir.library.louisville.edu/etd/3271
https://doi.org/10.18297/etd/3271
https://ir.library.louisville.edu/context/etd/article/4490/viewcontent/Mehdi_Sabraoui_Dissertation.pdf

المؤلفون: Gerwin Klein, Liam O'Connor, Gabriele Keller, Daniel Matichuk, June Andronick, Toby Murray

المصدر: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375(2104). The Royal Society

مصطلحات موضوعية: Cogent, Mathematics(all), Theoretical computer science, Computer science, General Mathematics, Proof engineering, General Physics and Astronomy, Binary number, 02 engineering and technology, Physics and Astronomy(all), Development (topology), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Microkernel, SeL4, Scaling, Formal verification, Engineering(all), Code/proof co-generation, General Engineering, 020207 software engineering, Articles, Computer engineering, Scalability, Machine code

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f7106cd61507bc20cbde7737e73f78c
https://pubmed.ncbi.nlm.nih.gov/28871053

المؤلفون: Klein, Gerwin, Andronick, June, Keller, Gabriele, Matichuk, Daniel, Murray, Toby, O’Connor, Liam

مصطلحات موضوعية: Code/proof co-generation, Cogent, Proof engineering, SeL4, General Mathematics, General Engineering, General Physics and Astronomy

وصف الملف: application/pdf

Relation: https://dspace.library.uu.nl/handle/1874/373615

الاتاحة: https://dspace.library.uu.nl/handle/1874/373615

المؤلفون: RUDIĆ, RATKO

المساهمون: Robič, Borut

مصطلحات موضوعية: Microkernel operating systems, monolitni sistemi, L4, seL4, Mach, Minix, hibridni sistemi, Mikrojedrni operacijski sistemi, hybrid systems, Liedtke, monolythic systems

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3505::dc55d8aaed79537aee2db05df8354bf3
https://hdl.handle.net/20.500.12556/RUL-85080

المؤلفون: Fernandez, Matthew

مصطلحات موضوعية: Verification, seL4, Component, CAmkES

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d7e8e97c0fe0dd83bae1e5a8a2de237e

المؤلفون: RUDIĆ, RATKO

المساهمون: Robič, Borut

مصطلحات موضوعية: Mikrojedrni operacijski sistemi, hibridni sistemi, monolitni sistemi, Liedtke, L4, seL4, Mach, Minix, Microkernel operating systems, hybrid systems, monolythic systems

وصف الملف: application/pdf

Relation: https://repozitorij.uni-lj.si/IzpisGradiva.php?id=85080; https://repozitorij.uni-lj.si/Dokument.php?id=88198&dn=

الاتاحة: https://repozitorij.uni-lj.si/IzpisGradiva.php?id=85080
https://repozitorij.uni-lj.si/Dokument.php?id=88198&dn=