Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 7 of 7 results for the Author - scott hissam , Type - White Paper

White Paper | December 2005 - White Paper Precise Buffer Overflow Detection via Model Checking By Sagar Chaki, Scott Hissam

In this paper, the authors present an automated overflow detection technique based on model checking and iterative refinement.

White Paper | December 2016 - White Paper Ultra-Large-Scale Systems: Socio-adaptive Systems By Scott Hissam, Mark H. Klein, Gabriel Moreno, Linda M. Northrop, Lutz Wrage

Ultra-large-scale systems are interdependent webs of software, people, policies, and economics. In socio-adaptive systems, human and software interact as peers.

White Paper | December 2016 - White Paper Predictability by Construction By Sagar Chaki, Scott Hissam, Gabriel Moreno, Linda M. Northrop, Kurt C. Wallnau

Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.

White Paper | December 2016 - White Paper Cyber-Physical Systems By Björn Anderson, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John J. Hudak, Mark H. Klein, David Kyle, Gabriel Moreno

Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.

White Paper | February 1998 - White Paper Isolating Faults in Complex COTS-Based Systems By David J. Carney, Scott Hissam

This monograph provides an overview of a method for isolating and overcoming faults in COTS-based systems.

White Paper | September 1998 - White Paper DoD Security Needs and COTS-Based Systems By David J. Carney, Scott Hissam, Daniel Plakosh

This monograph offers a

White Paper | September 1997 - White Paper Case Study: Correcting System Failure in a COTS Information ... By Scott Hissam

This monograph provides an in-depth technical study about a COTS-based information system made up of several commercial components.