Research Projects
People
Publications
SHF: Small: Evidence-based Reliability Assessment of Software Product Lines
. National Science Foundation.
Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data
. NSF I/U CRC Security and Software Engineering Research Center/ISU Center for Information Protection, 2011.
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, NSF Center for Information Protection at ISU