Joseph Giampapa
Software Engineering Institute
Publications by Joseph Giampapa
-
SCADA Resilience via Autonomous Cyber-Physical Agents
February 04, 2014 • Presentation
Joseph GiampapaGabriela Hug-GlanzmannSoummya Kar
Slide presentation for the Ninth Annual Carnegie Mellon Conference on the Electricity Industry.
read -
Designing SCADA Systems for the Self-Verifiability of Their Security and Survivability
January 17, 2014 • Poster
Joseph Giampapa
This poster describes a cyber-physical and agent-based approach to detecting and recovering from a false data injection attack on a power grid supervisory control and data acquisition (SCADA) system.
read -
Test and Evaluation of Autonomous Multi-Robot Systems
October 28, 2013 • Conference Paper
Joseph Giampapa
This powerpoint presentation was given at the NDIA Annual System Engineering Conference in October 2013.
read -
Probabilistic Verification of Coordinated Multi-Robot Missions
July 08, 2013 • Conference Paper
Sagar ChakiJohn M. DolanJoseph Giampapa
In this paper, the authors advocate, formalize, and empirically justify an approach to compute quantitative utility of robotic missions using probabilistic model checking.
read -
Towards a Quantitative Method for Assuring Coordinated Autonomy
May 06, 2013 • Conference Paper
Sagar ChakiJoseph Giampapa
This article introduces a reliability engineering assurance approach based on probabilistic model checking.
read -
Edge Enabled Systems
May 19, 2010 • White Paper
Zacharie Hall (Aberdeen Proving Ground)Rick KazmanDaniel Plakosh
This paper describes the characteristics of edge systems and the edge organizations in which these systems operate, and make initial recommendations about how such systems and organizations can be created to serve the needs of users at the edge.
read -
Overview of Distributed Constraint Satisfaction and Optimization
March 31, 2010 • Presentation
Andres Diaz-PaceJoseph GiampapaJohn B. Goodenough
This presentation describes problem-solving algorithms and presents Distributed Constraint Optimization Problems (D-COP) algorithms as a "toolbox" for agent-based modeling.
read