SEI 2016 Research Review
• Collection
Publisher
Software Engineering Institute
Abstract
Presentations and materials pertaining to the review of the SEI FY2016 research portfolio,
Collection Items
SEI Research Review 2016: Project Summaries and Posters
• Annual Report
By Software Engineering Institute
This booklet contains concise descriptions of SEI FY16 Line and LENS projects.
ReadAuto-Active Verification of Software with Timers and Clocks
• Presentation
By Sagar Chaki, Dionisio de Niz
Software that accesses the system clock is the key to real-time and cyber-physical systems
Learn MoreAutomated Assurance of Security Policy Enforcement
• Presentation
By Julien Delange
Security is not only a matter of code. This work extends the AADL with security design rules
Learn MoreAutomated Code Repair
• Poster
By William Klieber
Integer overflow in calculations related to array bounds or indices is almost always a bug
DownloadAutomated Code Repair
• Presentation
By William Klieber
This work aims to develop techniques to eliminate security vulnerabilities at a lower cost than manual repair.
Learn MoreThe Critical Role of Positive Incentives for Reducing Insider Threats
• Technical Report
By Andrew P. Moore, Samuel J. Perl, Jennifer Cowley, Matthew L. Collins, Tracy Cassidy, Nathan M. VanHoudnos, Palma Buttles-Valdez, Daniel Bauer, Allison Parshall, Jeff Savinda, Elizabeth A. Monaco, Jamie L. Moyes, Denise M. Rousseau (Carnegie Mellon University)
This report describes how positive incentives complement traditional practices to provide a better balance for organizations' insider threat programs.
ReadThe Critical Role of Positive Incentives in Reducing Insider Threat
• Presentation
By Andrew P. Moore
Investigated job engagement, perceived organizational support, and connectedness at work.
Learn MoreData Validation for Large-Scale Analytics
• Poster
By Stephanie Rosenthal
This poster detailing building tools to support data sampling and visualization was presented at the SEI Research Review 2016.
DownloadEnabling Evidence-Based Modernization
• Poster
By John Klein
This poster on Evidence-Based Modernization (EEBM) was presented at the SEI Research Review 2016.
DownloadEnabling Evidence Based Modernization
• Presentation
By John Klein
The goal of is work is to develop a lightweight method for representing alternatives.
Learn More