Runtime monitoring (or runtime verification) is an approach to checking compliance of a
system's execution with a specification (eg, a temporal query). The system's execution is …

Runtime monitoring is generally considered a light-weight alternative to formal verification.
In safety-critical systems, however, the monitor itself is a critical component. For example, if …

This paper considers two kinds of optimizations for a specification language compiler for
stream-based runtime verification:(i) the manual addition of core functions with dedicated …

This thesis compares different implementations of the stream transformation language
TeSSLa, which is designed as a general-purpose specification language to analyse traces …

Automatically transforming program code to yield binaries optimized for execution speed is a
heavily researched topic. Research on program transformations mainly focuses on …