The increasing availability of streaming data has accelerated advances in information
processing tools that no longer store data for static querying but push information to …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

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 …

Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …

It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …

During the past decades, an incredible change of technology has been observed in many
devices: traditionally used mechanical parts have often been first replaced by analog …

In this paper we examine the general problem of generating preferred explanations for
observed behavior with respect to a model of the behavior of a dynamical system. This …

Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …

We present a technique for generating efficient monitors for ω-regular-languages. We show
how Büchi automata can be reduced in size and transformed into special, statistically …

Runtime Verification is a branch of formal methods concerned with analysis of execution
traces for the purpose of determining the state or general quality of the executing system …