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 …

Monitoring-Oriented Programming (MOP1)[21, 18, 22, 19] is a formal framework for software
development and analysis, in which the developer specifies desired properties using …

Runtime monitoring is the process of checking whether an execution trace of a running
system satisfies a given specification. For this to be effective, monitors which run trace …

Abstract Analysis of execution traces plays a fundamental role in many program analysis
approaches. Execution traces are frequently parametric, ie, they contain events with …

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 …

In runtime monitoring, a programmer specifies a piece of code to execute when a trace of
events occurs during program execution. Our work is based on tracematches, an extension …

The rigorous and comprehensive verification of communication-based software is an
important engineering challenge in distributed systems. Drawn from our industrial …

COTS peripherals are heavily used in the embedded market, but their unpredictability is a
threat for high-criticality real-time systems: it is hard or impossible to formally verify COTS …

Distributed applications are difficult to build and maintain and are even more difficult when
the applications are distributed over wide-area networks. Distributed Object Computing …

System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded
systems, but it poses significant challenges from a design and verification point of view. In …