Search Results - Vanderleest, Steven H.

Refine Results
  1. 1
    An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)

    An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A) by VanderLeest, Steven H, Evripidou, Christos

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Avionics Linux

    Avionics Linux by VanderLeest, Steven H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Engineering is not science

    Engineering is not science by VanderLeest, Steven H

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Enabling Linux in Aerospace Applications

    Enabling Linux in Aerospace Applications by VanderLeest, Steven H., Stewart, Kate

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Measuring the Impact of Interference Channels on Multicore Avionics

    Measuring the Impact of Interference Channels on Multicore Avionics by VanderLeest, Steven H., Thompson, Samuel R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Challenges and Ways Forward for Avionics Platforms and their Development in 2019

    Challenges and Ways Forward for Avionics Platforms and their Development in 2019 by Annighoefer, Bjoern, Halle, Martin, Schweiger, Andreas, Reich, Marina, Watkins, Christopher, VanderLeest, Steven H., Harwarth, Stefan, Deiber, Patrick

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    MPSoC hypervisor: The safe & secure future of avionics

    MPSoC hypervisor: The safe & secure future of avionics by VanderLeest, Steven H., White, Dagan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    MPSoC hypervisor: The safe & secure future of avionics

    MPSoC hypervisor: The safe & secure future of avionics by VanderLeest, Steven H., White, DornerWorks Dagan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    A safe & secure arinc 653 hypervisor

    A safe & secure arinc 653 hypervisor by VanderLeest, Steven H., Greve, David, Skentzos, Paul

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Designing a future airborne capability environment (FACE) hypervisor for safety and security

    Designing a future airborne capability environment (FACE) hypervisor for safety and security by VanderLeest, Steven H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Measuring the Impact of Interference Channels on Multicore Avionics

    Measuring the Impact of Interference Channels on Multicore Avionics by VanderLeest, Steven H, Thompson, Samuel R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    The open source, formally-proven seL4 microkernel: Considerations for use in avionics

    The open source, formally-proven seL4 microkernel: Considerations for use in avionics by VanderLeest, Steven H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Incremental Assurance of Multicore Integrated Modular Avionics (IMA)

    Incremental Assurance of Multicore Integrated Modular Avionics (IMA) by VanderLeest, Steven H., Matthews, David C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Teaching Justice by Emphasizing the Non-Neutrality of Technology

    Teaching Justice by Emphasizing the Non-Neutrality of Technology by VanderLeest, Steven H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    A Framework for Analyzing Shared Resource Interference in a Multicore System

    A Framework for Analyzing Shared Resource Interference in a Multicore System by VanderLeest, Steven H., Millwood, Jesse, Guikema, Christopher

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Taming interrupts: Deterministic asynchronicity in an ARINC 653 environment

    Taming interrupts: Deterministic asynchronicity in an ARINC 653 environment by VanderLeest, Steven H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Taming interrupts: Deterministic asynchronicity in an ARINC 653 environment

    Taming interrupts: Deterministic asynchronicity in an ARINC 653 environment by VanderLeest, Steven H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)

    An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A) by VanderLeest, Steven H, Evripidou, Christos

    Request full text
    Report
    Save to List
    Saved in:
  19. 19
    ARINC 653 hypervisor

    ARINC 653 hypervisor by VanderLeest, S H

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Engineering Education And Practice: Embracing a Catholic Vision

    Engineering Education And Practice: Embracing a Catholic Vision by VanderLeest, Steven H

    Get full text
    Review
    Save to List
    Saved in:

Search Tools: