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 …

The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

This article studies runtime verification of properties expressed either in lineartime temporal
logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in …

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 …

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 …

Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL)
formulae on finite execution traces are presented. While the standard models of LTL are …

Rise of concerns about AI: reflections and directions Page 1 38 COMMUNICATIONS OF THE ACM |
OCTOBER 2015 | VOL. 58 | NO. 10 viewpoints IMA GE COUR TE S Y OF …

The problem of testing whether a finite execution trace of events generated by an executing
program violates a linear temporal logic (LTL) formula occurs naturally in runtime analysis of …

Recently, robotic applications have been seeing widespread use across industry, often
tackling safety-critical scenarios where software reliability is paramount. These scenarios …

Runtime monitoring is a versatile technique for detecting property violations in safety-critical
(SC) systems. Although instrumentation of the system under monitoring is a common …