Efficient, expressive, and verified temporal query evaluation
M Raszyk - 2022 - research-collection.ethz.ch
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 …
system's execution with a specification (eg, a temporal query). The system's execution is …
Monitoring with verified guarantees
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 …
In safety-critical systems, however, the monitor itself is a critical component. For example, if …
Optimizing Trans-Compilers in Runtime Verification Makes Sense–Sometimes
H Kallwies, M Leucker, M Prilop, M Schmitz - International Symposium on …, 2022 - Springer
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 …
stream-based runtime verification:(i) the manual addition of core functions with dedicated …
[PDF][PDF] Efficient Implementation of Stream Transformations
M Schmitz - 2022 - zhb.uni-luebeck.de
This thesis compares different implementations of the stream transformation language
TeSSLa, which is designed as a general-purpose specification language to analyse traces …
TeSSLa, which is designed as a general-purpose specification language to analyse traces …
[PDF][PDF] Automatic Optimizations for Runtime Verification Specifications
Automatically transforming program code to yield binaries optimized for execution speed is a
heavily researched topic. Research on program transformations mainly focuses on …
heavily researched topic. Research on program transformations mainly focuses on …