• Home
  • Topics
    • Airports & Airspace of Tomorrow
    • Big Data and Secure, Reliable, Resilient Networks
    • Commercial Innovation for Military Use
    • Connected Aircraft
    • Cybersecurity and the Commercial Aircraft
    • Engineering Papers, Peer-Reviewed Papers & Conference Proceedings
  • Authors
    • A – F
      • Brian L. Aanderud
      • Timothy J. Arganbright
      • John D. Backes, Ph.D.
      • Josh R. Bertram
      • Matthew J. Carrico
      • Anthony J. Chapman
      • Yun S. Chong
      • Darren D. Cofer Ph.D.
      • Jennifer A. Davis
      • Kevin J. Delaney
      • James H. Doty
      • Jack E. Edington
      • George F. Elmasry, Ph.D.
      • Timothy J. Etherington
      • Matthew A. Fix
      • Christopher B. Forrest
    • G – L
      • Andrew J. Gacek, Ph.D.
      • Shawn R. Goodfellow
      • David A. Greve
      • Benjamin Haan
      • David S. Hardin
      • Robert W. Hartney
      • Richard E. Heinrich
      • Daniel J. Henry
      • Alexis V. Hickox
      • Jaclyn A. Hoke, Ph.D.
      • Philip J. Jasper
      • Johnathon C. Lewis
      • Werner Lieberherr
      • Jing (Janet) Liu, Ph.D.
      • Daniel J. Lowe
    • M – R
      • Michael G. Manninen
      • James A. Marek
      • Michael P. Matessa
      • Diane D. McClatchy
      • Robert J. McCabe
      • Gary A. McGraw, Ph.D.
      • Angus L. McLean, Ph.D.
      • Randy W. Nelson
      • David J. Nieuwsma
      • Richard B. Nordstrom
      • Kelly Ortberg
      • Scott S. Rediger
      • Lizy Paul
      • Gina M. Reyes
      • Linda D. Peyton
    • S – Z
      • Jonathon C. Skarphol
      • Laura M. Smith-Velazquez
      • Timothy E. Snodgrass
      • Jeff A. Standerski
      • Kent L. Statler
      • James A. Stevens Ph.D.
      • Boe A. Svatek
      • Harold G. Tiedeman Jr.
      • Jason H. Timmerman
      • Edward C. Tubbs
      • Simon J. Tudge
      • Thomas L. Vogl
      • Lucas G. Wagner
      • Jason C. Wenger
      • Michael W. Whalen, Ph.D.
      • Brian R. Wolford
  • About Insights
  • Facebook
  • Twitter
  • Linkedin
  • Youtube
  • Instagram
Explore Close
Menu Close

Categories

Formal MethodsDarren CoferAndrew GacekConnected AircraftGeorge ElmasryJohn BackesNetworking the Battlespace - ScholarlyAirport and Airspace of TomorrowMichael WhalenLive Virtual Constructive (LVC)Lucas WagnerJennifer DavisPhilip JasperKonrad SlindJonathon SkarpholRichard HeinrichKent StatlerCybersecurity and the Commercial AircraftCommercial Innovation for Military UseConnected Aircraft - Scholarly

Archives

August 2017 July 2017 June 2017 May 2017 April 2017 November 2016
  • Home
  • Topics
    • Airports & Airspace of Tomorrow
    • Big Data and Secure, Reliable, Resilient Networks
    • Commercial Innovation for Military Use
    • Connected Aircraft
    • Cybersecurity and the Commercial Aircraft
    • Engineering Papers, Peer-Reviewed Papers & Conference Proceedings
  • Authors
    • A – F
      • Brian L. Aanderud
      • Timothy J. Arganbright
      • John D. Backes, Ph.D.
      • Josh R. Bertram
      • Matthew J. Carrico
      • Anthony J. Chapman
      • Yun S. Chong
      • Darren D. Cofer Ph.D.
      • Jennifer A. Davis
      • Kevin J. Delaney
      • James H. Doty
      • Jack E. Edington
      • George F. Elmasry, Ph.D.
      • Timothy J. Etherington
      • Matthew A. Fix
      • Christopher B. Forrest
    • G – L
      • Andrew J. Gacek, Ph.D.
      • Shawn R. Goodfellow
      • David A. Greve
      • Benjamin Haan
      • David S. Hardin
      • Robert W. Hartney
      • Richard E. Heinrich
      • Daniel J. Henry
      • Alexis V. Hickox
      • Jaclyn A. Hoke, Ph.D.
      • Philip J. Jasper
      • Johnathon C. Lewis
      • Werner Lieberherr
      • Jing (Janet) Liu, Ph.D.
      • Daniel J. Lowe
    • M – R
      • Michael G. Manninen
      • James A. Marek
      • Michael P. Matessa
      • Diane D. McClatchy
      • Robert J. McCabe
      • Gary A. McGraw, Ph.D.
      • Angus L. McLean, Ph.D.
      • Randy W. Nelson
      • David J. Nieuwsma
      • Richard B. Nordstrom
      • Kelly Ortberg
      • Scott S. Rediger
      • Lizy Paul
      • Gina M. Reyes
      • Linda D. Peyton
    • S – Z
      • Jonathon C. Skarphol
      • Laura M. Smith-Velazquez
      • Timothy E. Snodgrass
      • Jeff A. Standerski
      • Kent L. Statler
      • James A. Stevens Ph.D.
      • Boe A. Svatek
      • Harold G. Tiedeman Jr.
      • Jason H. Timmerman
      • Edward C. Tubbs
      • Simon J. Tudge
      • Thomas L. Vogl
      • Lucas G. Wagner
      • Jason C. Wenger
      • Michael W. Whalen, Ph.D.
      • Brian R. Wolford
  • About Insights
  • Facebook
  • Twitter
  • Linkedin
  • Youtube
  • Instagram

Insights – Rockwell Collins

  • Formal Methods
  • Darren Cofer
  • Andrew Gacek
  • Connected Aircraft
  • George Elmasry
Close

Timothy J. Arganbright

  • A Distributed, Multi-tiered Network Agent for Heterogeneous MANET Resource Optimization

Recent Articles

  • Video: HACMS – Cybersecurity for Military and Commercial Aircraft
  • Synthetic Vision Display with Integral Sonic Boom Predictions
  • Enhancing Autonomy with Trusted Cognitive Modeling
  • SIMPAL: A Compositional Reasoning Framework for Imperative Programs
  • Creating Formally Verified Components for Layered Assurance with an LLVM to ACL2 Translator
All Articles

Most Popular Topics

Airport and Airspace of Tomorrow Andrew Gacek Connected Aircraft Darren Cofer Formal Methods George Elmasry John Backes Live Virtual Constructive (LVC) Michael Whalen Networking the Battlespace - Scholarly

Archives

2015

2016

2017

Enter your email address to follow Insights and receive notifications of new articles by email.

Terms of Access

Copyright © 2017 Rockwell Collins. All rights reserved.

www.rockwellcollins.com

Blog at WordPress.com.