With the growing complexity of railway control systems, it is required to preform runtime
safety checks of system executions that go beyond conventional runtime monitoring of pre …

Software components are expected to communicate according to predetermined protocols
and APIs. Numerous methods have been proposed to check the correctness of …

Monitorability underpins the technique of runtime verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …

We develop a behavioural theory for monitors—software entities that passively analyse the
runtime behaviour of systems so as to infer properties about them. First, we extend the …

Existing notions of monitorability for branching-time properties are fairly restrictive. This, in
turn, impacts the ability to incorporate prior knowledge about the system under scrutiny …

In runtime verification, a monitor watches a trace of a system and, if possible, decides after
observing each finite prefix whether or not the unknown infinite trace satisfies a given …

We examine the determinization of monitors for HML with recursion. We demonstrate that
every monitor is equivalent to a deterministic one, which is at most doubly exponential in …

We develop a behavioural theory for monitors, computational entities that passively analyse
the runtime behaviour of systems so as to infer properties about them. First, we present a …

Runtime verification is a complementary approach to testing, model checking and other
static verification techniques to verify software properties. Monitorability characterizes what …

Runtime verification (RV) monitors program executions against formal specifications (specs).
Researchers showed that RV during software testing amplifies the bug-finding ability of …