This article gives an overview of the, monitoring oriented programming framework (MOP). In
MOP, runtime monitoring is supported and encouraged as a fundamental principle for …

A goal of runtime software-fault monitoring is to observe software behavior to determine
whether it complies with its intended behavior. Monitoring allows one to analyze and recover …

We analyze the space of security policies that can be enforced by monitoring and modifying
programs at run time. Our program monitors, called edit automata, are abstract machines …

A common mechanism for ensuring that software behaves securely is to monitor programs at
run time and check that they dynamically adhere to constraints specified by a security policy …

The emerging cyber-physical systems (CPSs) are envisioned to integrate computation,
communication and control with the physical world. Therefore, CPS requires close …

We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC)
architecture for Java programs. The MaC architecture provides assurance about the correct …

Runtime monitoring is a technique usable in all phases of the software development cycle,
from initial testing, to debugging, to actually maintaining proper function in production code …

We introduce a language and system that supports definition and composition of complex
run-time security policies for Java applications. Our policies are comprised of two sorts of …

We analyze the space of security policies that can be enforced by monitoring programs at
runtime. Our program monitors are automata that examine the sequence of program actions …

Scientific applications often perform complex computational analyses that consume and
produce large data sets. We are concerned with data placement policies that distribute data …