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.
Read
Auto-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 More
Automated 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 More
Automated Code Repair
• Poster
By William Klieber
Integer overflow in calculations related to array bounds or indices is almost always a bug
Download
Automated Code Repair
• Presentation
By William Klieber
This work aims to develop techniques to eliminate security vulnerabilities at a lower cost than manual repair.
Learn More
The 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.
Read
The 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 More
Data 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.
Download
Enabling Evidence-Based Modernization
• Poster
By John Klein
This poster on Evidence-Based Modernization (EEBM) was presented at the SEI Research Review 2016.
Download
Enabling Evidence Based Modernization
• Presentation
By John Klein
The goal of is work is to develop a lightweight method for representing alternatives.
Learn More