A survey of runtime monitoring instrumentation techniques
Runtime Monitoring is a lightweight and dynamic verification technique that involves
observing the internal operations of a software system and/or its interactions with other …
observing the internal operations of a software system and/or its interactions with other …
An operational guide to monitorability with applications to regular properties
Monitorability underpins the technique of runtime verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …
properties can be verified at runtime. Although many monitorability definitions exist, few are …
On runtime enforcement via suppressions
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …
behaviour specified by some correctness property on an executing system. The …
An operational guide to monitorability
Monitorability underpins the technique of Runtime Verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …
properties can be verified at runtime. Although many monitorability definitions exist, few are …
A theory of monitors
A Francalanza - Foundations of Software Science and Computation …, 2016 - Springer
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 …
runtime behaviour of systems so as to infer properties about them. First, we extend the …
[PDF][PDF] The best a monitor can do
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 …
turn, impacts the ability to incorporate prior knowledge about the system under scrutiny …
A theory of monitors
A Francalanza - Information and Computation, 2021 - Elsevier
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 …
the runtime behaviour of systems so as to infer properties about them. First, we present a …
eAOP: an aspect oriented programming framework for Erlang
Aspect oriented programming (AOP) is a paradigm ideal for defining cross-cutting concerns
within an existing application. Although several AOP frameworks exist for more renowned …
within an existing application. Although several AOP frameworks exist for more renowned …
An extension of first-order LTL with rules with application to runtime verification
K Havelund, D Peled - International Journal on Software Tools for …, 2021 - Springer
Linear temporal logic (LTL) is extensively used in formal methods, in particular in runtime
verification (RV) and in model checking. Its propositional version was shown by Wolper …
verification (RV) and in model checking. Its propositional version was shown by Wolper …
On first-order runtime enforcement of branching-time properties
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …
behaviour specified by some correctness property on an executing system. The …