Abstract [Context] Complex and heterogeneous software systems need to be monitored as
their full behavior often only emerges at runtime, eg, when interacting with other systems or …

This paper proposes an efficient and generalized decentralized monitoring algorithm
allowing to detect satisfaction or violation of any regular specification by local monitors alone …

The literature of runtime verification mostly focuses on event-triggered solutions, where a
monitor is invoked by every change in the state of the system and evaluates properties of the …

Runtime verification of distributed systems poses various challenges. A pivotal challenge is
the choice of howto distribute the monitors themselves across the system. On one hand …

IT systems manage increasing amounts of sensitive data and there is a growing concern that
they comply with policies that regulate data usage. In this paper, we use temporal logic to …

The goal of runtime verification is to monitor the behavior of a system to check its
conformance to a set of desirable logical properties. The literature of runtime verification …

This thesis contributes work to the fields of runtime monitoring and specification mining. It
develops a formalism for specifying patterns of behaviour in execution traces and defines …

Specularities on surfaces with tangential hairs or grooves are readily observable in nature.
Examples of such phenomena are the arched or looped highlights observed on horses and …

Runtime verification is a formal technique used to check whether a program under
inspection satisfies its specification by using a runtime monitor. Existing monitoring …

We design monitor optimisations for detectEr, a runtime-verification tool synthesising
systems of concurrent monitors from correctness properties for Erlang programs. We …