This tutorial presents an overview of the field referred as to runtime verification. Runtime
Verification is the study of algorithms, data structures, and tools focused on analyzing …

In this paper, a brief account of the field of runtime verification is given. Starting with a
definition of runtime verification, a comparison to well-known verification techniques like …

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 …

Temporal properties are useful for describing and reasoning about software behavior, but
developers rarely write down temporal specifications of their systems. Prior work on inferring …

An aspect observes the execution of a base program; when certain actions occur, the aspect
runs some extra code of its own. In the AspectJ language, the observations that an aspect …

Runtime monitoring is a general approach to verifying system properties at runtime by
comparing system events against a specification formalizing which event sequences are …

When monitoring a system wrt a property defined in a temporal logic such as LTL, a major
concern is to settle with an adequate interpretation of observable system events; that is …

Runtime verification is the process of checking a property on a trace of events produced by
the execution of a computational system. Runtime verification techniques have recently …

Research in the design of aspect-oriented programming languages requires a workbench
that facilitates easy experimentation with new language features and implementation …

This paper presents a construction for runtime monitors that check real-time properties
expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a natural …