Objects model the world, and state is fundamental to a faithful modeling. Engineers use state
machines to understand and reason about state transitions, but programming languages …

Runtime verification can be used to find bugs early, during software development, by
monitoring test executions against formal specifications (specs). The quality of runtime …

Runtime verification is the process of observing a sequence of events generated by a
running system and comparing it to some formal specification for potential violations. We …

Abstract Structure-oriented approaches in clone detection have become popular in both
code-based and model-based clone detection. However, existing methods for capturing …

This paper is an introduction to Complex Event Processing (CEP) intended for an
practicioners of Runtime Verification. It first describes typical CEP problems, popular tools …

SystemC is a modeling language built as an extension of C++. Its growing popularity and the
increasing complexity of designs have motivated research efforts aimed at the verification of …

Coping with software defects that occur in the post-deployment stage is a challenging
problem: bugs may occur only when the system uses a specific configuration and only under …

We present a synthetic benchmarking framework that targets the systematic evaluation of RV
tools for message-based concurrent systems. Our tool can emulate various load profiles via …

Today's software systems tend to be long-living and often process security-critical data, so
keeping up with ever-changing security measures, attacks, and mitigations is critical to …

Researchers have developed a number of runtime verification tools that generate runtime
monitors in the form of AspectJ aspects. In this work, we present C lara, a novel framework to …