Publications for All Years (687 out of 687)
Wind Tunnel Investigation of a Flexible Wing High-Lift Configuration with a Variable Camber Continuous Trailing Edge Flap Design
Nhan Nguyen,
Nathan Precup,
Eli Livne,
James Umes,
Eric Dickey
Published at: Conference: AIAA Aviation 2015; Dallas TX
Date: 06/22/15
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance is Bliss
Graeme Gange,
Jorge Navas Laserna,
Peter Schachte,
Harald Sondergaard,
Peter Stuckey
Published at: Publication: Journal: Theoretical Computer Science Journal
Date: 05/29/15
System Design and Locomotion of SUPERball, an Untethered Tensegrity Robot
Andrew Sabelhaus,
Jonathan Bruce,
Ken Caluwaerts,
Pavlo Manovi,
Roya Firoozi,
Vytas SunSpiral
Published at: Conference: ICRA 2015; Seattle, WA
Date: 05/26/15
A Flexible and Non-instrusive Approach for Computing Complex Structural Coverage Metrics
Neha Rungta,
Michael Whalen,
Suzette Person,
Matt Staats,
Daniela Grijincu
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Dynamic Safety Cases for Through-life Safety Assurance
Ewen Denney,
Ganeshmadhav Pai,
Ibrahim Habli
Published at: Conference: 37th International Conference on Software Engineering; Florence, Italy
Date: 05/16/15
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
Neha Rungta,
Anitha Murugesan,
Michael Whalen,
Oksana Tkachuk,
Suzette Person
Published at: Conference: NASA Formal Methods; Pasadena, CA
Date: 04/27/15
Safety Case Patterns: Theory and Applications
Ewen Denney,
Ganeshmadhav Pai
Published at: NASA STI Report Series: TM #2015-218492
Date: 03/27/15
SimSup's Loop: A Control Theory Approach to Spacecraft Operator Training
Brandon Owens,
Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/13/15
LADEE Preparations for Contingency Operations for the Lunar Orbit Insertion Maneuver
Howard Cannon,
Anupa Bajwa,
Peter Berg,
Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Stochastic Prediction of Remaining Driving Time and Distance for a Planetary Rover
Matthew Daigle,
Shankar Sankararaman,
Chetan Kulkarni
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
An Integrated Framework for Distributed Diagnosis of Process and Sensor Faults
Anibal Bregon,
Matthew Daigle,
Indranil Roychoudhury
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
Software Testbed for Developing and Evaluating Integrated Autonomous Subsystems
Peter Robinson,
James Ong,
Emilio Remolina,
Axel Prompt,
Adam Sweet
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Active Wing Shaping Control Concept Using Composite Lattice-based Cellular Materials
Sean Swei,
Kenneth Cheung
Published at: Oral or Visual Presentation: NARI Seedling Fund Final Reporting
Date: 02/15/15
Open Source Mission Control for Chrome
Jay Trimble
Published at: Publication: Other: Company and University Talk, publicly available
Date: 01/31/15