Publications for All Years (705 out of 705)
Towards a Formal Basis for Modular Safety Cases
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: SAFECOMP 2015; Delft, Netherlands
Date: 09/22/15
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: SAFECOMP 2015; Delft, Netherlands
Date: 09/22/15
Development of Variable Camber Continuous Trailing Edge Flap for Performance Adaptive Aeroelastic Wing
Nhan Nguyen, Upender Kaul, Eric Bi-Wen Ting, Sonia Lebofsky, Daniel Chaparro Espinoza
Published at: Conference: SAE Aero Tech Congress & Exhibition; Seattle, WA
Date: 09/21/15
Nhan Nguyen, Upender Kaul, Eric Bi-Wen Ting, Sonia Lebofsky, Daniel Chaparro Espinoza
Published at: Conference: SAE Aero Tech Congress & Exhibition; Seattle, WA
Date: 09/21/15
Argument-based Airworthiness Assurance of Small UAS
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: 34th DASC; Prague, Czech Republic
Date: 09/13/15
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: 34th DASC; Prague, Czech Republic
Date: 09/13/15
Adaptive Stress Testing of Airborne Collision Avoidance Systems
Ritchie Lee, Mykel Kochenderfer, Ole Mengshoel, Guillaume Brat, Michael Owen
Published at: Conference: Digital Avionics Systems Conference; Prague, Czech Republic
Date: 09/13/15
Ritchie Lee, Mykel Kochenderfer, Ole Mengshoel, Guillaume Brat, Michael Owen
Published at: Conference: Digital Avionics Systems Conference; Prague, Czech Republic
Date: 09/13/15
Lunar COTS: An Economical and Sustainable Approach to Reaching Mars
Allison Zuniga, Daniel Rasky, Robert Pittman, Edgar Zapata, Roger Lepsch
Published at: Conference: AIAA Space 2015; Pasadena, CA
Date: 08/31/15
Allison Zuniga, Daniel Rasky, Robert Pittman, Edgar Zapata, Roger Lepsch
Published at: Conference: AIAA Space 2015; Pasadena, CA
Date: 08/31/15
Scaling Up Model-Based Diagnostic and Fault Effects Reasoning for Spacecraft
Gordon Aaseng, Eric Barszcz, Henry Valdez, Haifa Moses
Published at: Conference: AIAA Space 2015; Pasadena, CA
Date: 08/31/15
Gordon Aaseng, Eric Barszcz, Henry Valdez, Haifa Moses
Published at: Conference: AIAA Space 2015; Pasadena, CA
Date: 08/31/15
A Structural Model Decomposition Framework for Hybrid Systems Diagnosis
Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Conference: 26th International Workshop on Principles of Diagnosis; Paris France
Date: 08/30/15
Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Conference: 26th International Workshop on Principles of Diagnosis; Paris France
Date: 08/30/15
NASA's ATM Ontology: Semantic Integration and Querying across NAS Data Sources
Richard Keller
Published at: Conference: 2015 Air Transportation Information Exchange Conference; Silver Spring, MD
Date: 08/25/15
Richard Keller
Published at: Conference: 2015 Air Transportation Information Exchange Conference; Silver Spring, MD
Date: 08/25/15
A Methodology for the Development of Assurance Arguments for Unmanned Aircraft Systems
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: 33rd International System Safety Conference; San Diego, CA
Date: 08/14/15
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: 33rd International System Safety Conference; San Diego, CA
Date: 08/14/15
Space Technology Game Changing Development Human Exploration Telerobotics 2 NASA Facts
Maria Bualat
Published at: Publication NASA Facts
Date: 07/30/15
Maria Bualat
Published at: Publication NASA Facts
Date: 07/30/15
Space Technology Game Changing Development Astrobee: ISS Robotic Free Flyer NASA Facts
Maria Bualat
Published at: Other: NASA Facts
Date: 07/30/15
Maria Bualat
Published at: Other: NASA Facts
Date: 07/30/15
A Fast Goal Recognition Technique based on Interaction Estimates
Yolanda Escudero Martin, Maria Rodriguez-Moreno, David Smith
Published at: Conference: International Joint Conferences on Artificial Intelligence: Buenos Aires, Argentina
Date: 07/25/15
Yolanda Escudero Martin, Maria Rodriguez-Moreno, David Smith
Published at: Conference: International Joint Conferences on Artificial Intelligence: Buenos Aires, Argentina
Date: 07/25/15
The SeaHorn Verification Framework
Jorge Navas Laserna, Arie Gurfinkel, Temesghen KahsaiAzene, Anvesh Komuravelli
Published at: Conference: CAV-15; San Francisco, CA
Date: 07/18/15
Jorge Navas Laserna, Arie Gurfinkel, Temesghen KahsaiAzene, Anvesh Komuravelli
Published at: Conference: CAV-15; San Francisco, CA
Date: 07/18/15
Predicting Time Series Outputs and Time-to-Failure for an Aircraft Controller Using Bayesian Modeling
Yuning He
Published at: Conference: Society for Industrial and Applied Mathematics; Paris, France
Date: 07/08/15
Yuning He
Published at: Conference: Society for Industrial and Applied Mathematics; Paris, France
Date: 07/08/15
From Pixels to Planets
Lee Brownston, Jon Jenkins
Published at: Conference: IEEE Conference on Autonomic Computing (ICAC 2015): Grenoble, France
Date: 07/07/15
Lee Brownston, Jon Jenkins
Published at: Conference: IEEE Conference on Autonomic Computing (ICAC 2015): Grenoble, France
Date: 07/07/15
- NASA Official: Sonie Lau
- Curator: ASANI Solutions