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


Publication Date

Gabriel Moreno
February 2017 - Conference Paper Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

Authors: Gabriel Moreno, Javier Cámara (CMU), David Garlan, Bradley Schmerl

In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.

December 2016 - White Paper Ultra-Large-Scale Systems: Socio-adaptive Systems

Topics: Ultra-Large-Scale Systems

Authors: 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.

December 2016 - White Paper Cyber-Physical Systems

Topics: Cyber-Physical Systems

Authors: 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.

December 2016 - White Paper Predictability by Construction

Topics: Process Improvement

Authors: 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.

September 2016 - Conference Paper Input Attribution for Statistical Model Checking using Logistic Regression

Authors: Jeffrey Hansen, Sagar Chaki, Scott Hissam, James Edmondson, Gabriel Moreno, David Kyle

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.

September 2015 - Conference Paper High Assurance for Distributed Cyber Physical Systems

Authors: Scott Hissam, Sagar Chaki, Gabriel Moreno

This short paper introduces our architecture and approach to engineering a DART system so that we achieve high assurance in its runtime behavior against a set of formally specified requirements.

October 2012 - Technical Report Resource Allocation in Dynamic Environments

Topics: Ultra-Large-Scale Systems

Authors: Jeffrey Hansen, Scott Hissam, B. Craig Meyers, Gabriel Moreno, Daniel Plakosh, Joe Seibel, Lutz Wrage

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.

August 2012 - Presentation An Optimal Real-Time Voltage and Frequency Scaling for Uniform Multiprocessors

Topics: Cyber-Physical Systems

Authors: Dionisio de Niz, Gabriel Moreno

Presents the Growing Minimum Frequency (GMF) algorithm for voltage and frequency scaling in uniform multiprocessors for real-time systems.

May 2011 - Presentation Evaluating a Partial Architecture in a ULS Context

Authors: Len Bass, James Ivers, Rick Kazman, Gabriel Moreno

This presentation from SATURN 2011 discusses the application of architectural principles to analyzing an architectural landscape.

June 2009 - Conference Paper Performance Analysis of Real-Time Component

Authors: Gabriel Moreno, Connie U. Smith, Lloyd G. Williams

This paper defines extensions and changes to the S-PMIF meta-model and schema required for real-time systems. It describes transformations for both simple, best-case models and more detailed models of concurrency and synchronization.

February 2009 - Technical Report Overview of the Lambda-* Performance Reasoning Frameworks

Authors: Gabriel Moreno, Jeffrey Hansen

This report provides an overview of the Lambda-* performance reasoning frameworks, their current capabilities, and ongoing research.

December 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2008)

Authors: Dionisio de Niz, Gabriel Moreno, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Ragunathan Rajkumar, Lui R. Sha, Robert W. Stoddard, Kurt C. Wallnau, Charles B. Weinstock, Lutz Wrage, Sherman Eagles, Peter H. Feiler, John B. Goodenough, Jörgen Hansson, Paul Jones, Rick Kazman, Mark H. Klein, Insup Lee

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).

October 2008 - Conference Paper Model-Driven Performance Analysis

Topics: Software Architecture

Authors: Gabriel Moreno, Paulo Merson

This paper describes a performance reasoning framework that can transform a design into a model suitable for analysis of real-time performance properties with different evaluation procedures.

October 2006 - Conference Paper Creating Custom Containers with Generative Techniques

Authors: Gabriel Moreno

Component containers are a key part of mainstream component technologies, and play an important role in separating nonfunctional concerns from the core component logic. This paper addresses two different aspects of containers.

August 2005 - Technical Note Using Containers to Enforce Smart Constraints for Performance in Industrial Systems

Authors: Scott Hissam, Gabriel Moreno, Kurt C. Wallnau

This technical note shows how smart constraints can be embedded in software infrastructure, so that systems conforming to those constraints are predictable by construction.

September 2004 - Technical Report Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)

Authors: Scott Hissam, Mark H. Klein, Paulo Merson, Gabriel Moreno, Kurt C. Wallnau, J. Lehoczky

This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency of aperiodic tasks managed by a sporadic server.

September 2003 - Technical Report Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition

Authors: Scott Hissam, Kurt C. Wallnau, William G. Wood, John J. Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel Moreno, Linda M. Northrop, Daniel Plakosh, Judith A. Stafford

This 2003 report describes the results of an exploratory PECT prototype for substation automation, an application area in the domain of power generation, transmission, and management.

November 2001 - Technical Report Packaging Predictable Assembly with Prediction-Enabled Component Technology

Authors: Scott Hissam, Gabriel Moreno, Judith A. Stafford, Kurt C. Wallnau

This report describes the major structures of a PECT. It then discusses the means of validating the predictive powers of a PECT so that consumers may obtain measurably bounded trust in design-time predictions.

October 2001 - Technical Report Applicability of General Scenarios to the Architecture Tradeoff Analysis Method

Topics: Software Architecture

Authors: Len Bass, Mark H. Klein, Gabriel Moreno

In this report, we compare the scenarios elicited from five ATAM (Architecture Tradeoff Analysis Method) evaluations with the scenarios used to characterize the quality attributes.