Science Explorer Back to mapMap

Most cited papers from DornerWorks (United States)

What are the most cited papers from DornerWorks (United States)?

The most cited paper from DornerWorks (United States) is "Escape the waterfall: Agile for aerospace" (Steven H. VanderLeest, Andrew Buter, 2009), with 66 citations. Next come "ARINC 653 hypervisor" (60) and "Designing a future airborne capability environment (FACE) hypervisor for safety and security" (14).

Showing 20 of 20 papers. Every paper is listed.

Most cited papers, sortable by citations and release date
#Paper
1 Escape the waterfall: Agile for aerospace Steven H. VanderLeest, Andrew Buter Conference paper Oct 2009 66
2 ARINC 653 hypervisor Steven H. VanderLeest Conference paper Oct 2010 60
3 Designing a future airborne capability environment (FACE) hypervisor for safety and security Steven H. VanderLeest Conference paper Sep 2017 14
4 Building an economical VR system for CS education Joel C. Adams, Joshua Hotrop Conference paper 30 Jun 2008 11
5 A Framework for Analyzing Shared Resource Interference in a Multicore System Steven H. VanderLeest, Jesse Millwood, Christopher Guikema Conference paper Sep 2018 10
6 Is formal proof of seL4 sufficient for avionics security? Steven H. VanderLeest · IEEE Aerospace and Electronic Systems Magazine Feb 2018 8
7 Taming interrupts: Deterministic asynchronicity in an ARINC 653 environment Steven H. VanderLeest · 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) Conference paper Oct 2014 8
8 A safe & secure arinc 653 hypervisor Steven H. VanderLeest, David Greve, Paul Skentzos · 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) Conference paper Oct 2013 6
9 MPSoC hypervisor: The safe & secure future of avionics Steven H. VanderLeest, Dagan White · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Conference paper Sep 2015 5
10 A Comparative Analysis of Aviation and Ground Vehicle Software Development Standards Kevin Crots, Paul Skentzos, D.O. Bartz · SAE technical papers on CD-ROM/SAE technical paper series Conference paper 12 Aug 2014 5
11 Utilizing the Globalstar Network for Satellite Communications in Low Earth Orbit Andrew Santangelo, Paul Skentzos · 54th AIAA Aerospace Sciences Meeting Conference paper 2 Jan 2016 5
12 The open source, formally-proven seL4 microkernel: Considerations for use in avionics Steven H. VanderLeest Conference paper Sep 2016 4
13 A low cost, secure radio communications system for UAVs Andrew Santangelo, Paul Skentzos Conference paper 2016 3
14 PORTING OPERATING SYSTEMS TO RUN IN XEN VIRTUAL MACHINES Jarvis Roach · SAE technical papers on CD-ROM/SAE technical paper series Conference paper 8 Aug 2017 2
15 Towards High-Assurance Cross-Domain Solutions for Connected Aviation Fabio Federici, Samuel Morgan, Taylor Prins et al. Conference paper 29 Sep 2024 1
16 Adoption of Evolving Network Standards to MOSA Using FPGA Certifiable Network Adaptors Greg McCrea, David A. Verbree, Gregg Wildes Conference paper 29 Sep 2024 1
17 SOFTWARE SAFETY AND SECURITY BEST PRACTICES: A CASE STUDY FROM AEROSPACE Paul Skentzos · SAE technical papers on CD-ROM/SAE technical paper series Conference paper 12 Aug 2014 1
18 Enabling Operating System Portability with Virtual I/O Devices Nathan Studer, Christopher Guikema, Eric Spidle et al. · SAE technical papers on CD-ROM/SAE technical paper series Conference paper 16 Sep 2025 0
19 XEN ON THE ZYNQ ULTRASCALE+ MPSOC Robert VanVossen · SAE technical papers on CD-ROM/SAE technical paper series Conference paper 2 Aug 2016 0
20 EVALUATION OF DETERMINISTIC ETHERNET FOR THE MODULAR ACTIVE PROTECTION SYSTEMS FRAMEWORK David A. Verbree, Andrey Shvartsman · SAE technical papers on CD-ROM/SAE technical paper series Conference paper 4 Aug 2015 0

Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.