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 …

Formal specifications are used to identify programming errors, verify the correctness of
programs, and as documentation. Unfortunately, producing them is error-prone and time …

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

The underlying property, its definition and representation play a major role when monitoring
a system. Having a suitable and convenient framework to express properties is thus a …

For a system of distributed processes, correctness can be ensured by (statically) checking
whether their composition satisfies properties of interest. However, Web services are …

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 …

Software security issues have been a major concern to the cyberspace community, so a
great deal of research on security testing has been performed, and various security testing …

Parametric properties provide an effective and natural means to describe object-oriented
system behaviors, where the parameters are typed by classes and bound to object instances …

We consider monitoring and checking formally specified properties in a network. We are
addressing the problem of deploying the checkers on different network nodes that provide …

In this tutorial, we introduce two rule-based systems for on and off-line trace analysis, RuleR
and LogScope. RuleR is a conditional rule-based system, which has a simple and easily …