Runtime verification (RV) has the potential to enable the safe operation of safety-critical
systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) …

Reactive software calls for instrumentation methods that uphold the reactive attributes of
systems. Runtime verification imposes another demand on the instrumentation, namely that …

Reversible computing is a programming paradigm allowing one to execute programs both in
the standard, forward direction as well as backwards, recovering past states. A relevant …

Modern ICT infrastructures, ie, cyber-physical systems and critical infrastructures relying on
interconnected IT (Information Technology)-and OT (Operational Technology)-based …

Runtime enforcement is a dynamic analysis technique that instruments a monitor with a
system in order to ensure its correctness as specified by some property. This paper explores …

Intelligent monitoring systems can effectively predict or detect anomalies and issues in smart
working systems and ecosystems and implement the proper countermeasures. However, for …

Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …

We present detectEr, a monitoring tool that targets software applications written for
Erlang/OTP. The tool runtime checks specifications expressed in a safety fragment of the …

Reactive software calls for instrumentation methods that uphold the reactive attributes of
systems. Runtime verification imposes another demand on the instrumentation, namely that …

This paper investigates monitorability in the context of probabilistic systems. We specify how
monitor verdicts, reached over finite (partial) traces, can be given a probabilistic …