Publications for All Years (418 out of 418)
Abstract Pathfinder
Artem Khyzha, Pavel Parizek, Corina Pasareanu
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Artem Khyzha, Pavel Parizek, Corina Pasareanu
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Testing Android Apps Through Symbolic Execution
Nariman Mirzaei, Sam Malek, Corina Pasareanu, Naeem Esfahani, Riyadh Mahmood
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Nariman Mirzaei, Sam Malek, Corina Pasareanu, Naeem Esfahani, Riyadh Mahmood
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Diagnostics and Prognostics of Electro-Mechnanical Actuators
Edward Balaban
Published at: Oral or Visual Presentation: EU/IEEE Workshop on Industrial and Academic Experience in Aerospace Fault Detection and Diagnosis (FDD); Toulouse, France
Date: 10/23/12
Edward Balaban
Published at: Oral or Visual Presentation: EU/IEEE Workshop on Industrial and Academic Experience in Aerospace Fault Detection and Diagnosis (FDD); Toulouse, France
Date: 10/23/12
Indirect M-MRAC for Systems with Time Varying Parameters and Bounded Disturbances
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: Conference: IEEE Multi-Conference on Systems and Control; Dubrovnik, Croatia
Date: 10/03/12
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: Conference: IEEE Multi-Conference on Systems and Control; Dubrovnik, Croatia
Date: 10/03/12
Lunar Surface Systems Software Architecture Study: Interoperability
William Clancey, Michael Lowry
Published at: NASA STI Report ~ TP
Date: 09/30/12
William Clancey, Michael Lowry
Published at: NASA STI Report ~ TP
Date: 09/30/12
Lunar Surface Systems Software Architecture: Open Architecture
William Clancey, Robert Nado, Ronnie VanHoof, Michael Lowry, Grailing Jones
Published at: NASA STI Report ~ TP
Date: 09/30/12
William Clancey, Robert Nado, Ronnie VanHoof, Michael Lowry, Grailing Jones
Published at: NASA STI Report ~ TP
Date: 09/30/12
A Change-Impact Analysis to Characterize Evolving Program Behaviors
Neha Rungta, Suzette Person, Joshua Branchaud
Published at: Conference: 28th IEEE International Conference on Software Maintenance 2012; Riva del Garda, Trento, Italy
Date: 09/29/12
Neha Rungta, Suzette Person, Joshua Branchaud
Published at: Conference: 28th IEEE International Conference on Software Maintenance 2012; Riva del Garda, Trento, Italy
Date: 09/29/12
Markov Modeling of Component Fault Growth Over a Derived Domain of Feasible Output Control Effort Modifications
Brian Bole, Kai Goebel, George Vachtsevanos
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/27/12
Brian Bole, Kai Goebel, George Vachtsevanos
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/27/12
Uncertainty Representation and Interpretation in Model-based Prognostics Algorithms based on Kalman Filter Estimation
Jose Celaya-Galvan, Abhinav Saxena, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Jose Celaya-Galvan, Abhinav Saxena, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
An Integrated Framework for Model-Based Distributed Diagnosis and Prognosis
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
A Distrubuted Approach to System-level Prognostics
Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
An Efficient Deterministic Approach to Model-based Prediction Uncertainty Estimation
Matthew Daigle, Abhinav Saxena, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Matthew Daigle, Abhinav Saxena, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Bayesian Framework Approach for Prognostic Studies in Electrolytic Capacitor under Thermal Overstress Conditions
Chetan Kulkarni, Jose Celaya-Galvan, Kai Goebel, Gautam Biswas
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Chetan Kulkarni, Jose Celaya-Galvan, Kai Goebel, Gautam Biswas
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2012; Minneapolis, MN
Date: 09/23/12
Assurance of Software-Intensive Flight Critical Systems: A plan for enabling validation & verification in NextGen
Misty Davies
Published at: Conference: Complex Aerospace Systems Exchange; Pasadena, CA
Date: 09/11/12
Misty Davies
Published at: Conference: Complex Aerospace Systems Exchange; Pasadena, CA
Date: 09/11/12
Prognostics of Power Electronics, Methods and Validation Experiments
Chetan Kulkarni, Jose Celaya-Galvan, Gautam Biswas, Kai Goebel
Published at: Conference: IEEE Autotestcon; Anaheim CA
Date: 09/09/12
Chetan Kulkarni, Jose Celaya-Galvan, Gautam Biswas, Kai Goebel
Published at: Conference: IEEE Autotestcon; Anaheim CA
Date: 09/09/12
- NASA Official: Michael Shafto
- Curator: ASANI Solutions