We consider the runtime enforcement of Linear-time Temporal Logic formul...
We present an efficient and expressive tool for the instrumentation of J...
We present an approach for monitoring classification systems via data
ab...
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a
light...
Fault injections are increasingly used to attack secure applications.
So...
We define a method to automatically synthesize provably-correct efficien...
This report presents the activities of the first working group of the CO...
Runtime verification is an area of formal methods that studies the dynam...
We use runtime verification (RV) to check various properties in a smart
...
We define two complementary approaches to monitor decentralized systems....
We define a method to modularize crosscutting concerns in Component-Base...
Policy enforcers are sophisticated runtime components that can prevent
f...