Jeffrey Hansen
Software Engineering Institute
Publications by Jeffrey Hansen
-
Cyber-Physical Systems
December 01, 2016 • White Paper
Björn AndersonSagar ChakiDionisio de Niz
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
read -
Statistical Model Checking for SWARMS
November 01, 2016 • Presentation
Jeffrey Hansen
Research that validates approach of applying adaptive sampling and input attribution toward model checkint and attribution of failure conditions
read -
Statistical Model Checking for Swarms
October 18, 2016 • Poster
Jeffrey Hansen
Input Attribution
read -
Input Attribution for Statistical Model Checking using Logistic Regression
September 20, 2016 • Conference Paper
Jeffrey HansenSagar ChakiScott Hissam
In this conference paper, the authors describe an approach to Statistical Model Checking (SMC). This paper is part of the Lecture Notes in Computer Science book series.
read -
Resource Allocation in Dynamic Environments
October 01, 2012 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource allocation in dynamic environments: overstatement of resource needs and unpredictable network availability.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
Adaptive Flow Control for Enabling Quality of Service in Tactical Ad Hoc Wireless Networks
December 01, 2010 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
The network infrastructure for users such as emergency responders or warfighters is wireless, ad hoc, mobile, and lacking in sufficient bandwidth. This report documents the results from 18 experiments to investigate Adaptive Quality of Service, an approach to enable applications to fulfill their missions despite tactical network infrastructure limitations.
read -
Results of SEI Independent Research and Development Projects (FY 2009)
December 01, 2009 • Technical Report
Len BassLutz WragePaul C. Clements
In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read -
Overview of the Lambda-* Performance Reasoning Frameworks
February 01, 2009 • Technical Report
Gabriel MorenoJeffrey Hansen
This report provides an overview of the Lambda-* performance reasoning frameworks, their current capabilities, and ongoing research.
read