- NASA University Leadership Initiative: A Safety-Aware Ecosystem of Interconnected and Reputable sUAS
- Towards Variability-Aware Software Analysis and Testing
- Design for Dependability in Systems of Molecular Programs
- Safety-Aware Cyber-Molecular Systems
- Advanced Traceability for Composing Product Line Safety Cases
- INSPIRE: Robust Molecular Programming: Advances in the Design and Verification of Reliable Self-Assembling Nanosystems
- SHF: Small: Evidence-based Reliability Assessment of Software Product Lines
- EAGER: Collaborative Research: Modeling and Analysis of Molecular Programming and Nanoscale Self-Assembly
- EAGER: Decision Support System for Reasoning with Preferences
- Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data
- Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals
- Safety Analysis of Evolving Product Lines
- Safety Analysis for Critical Product Lines
- Natural Language in the Development of High-Confidence Software
- Modeling Secure Web Services in AADL