research
∙
07/07/2021
Decentralized LTL Enforcement
We consider the runtime enforcement of Linear-time Temporal Logic formul...
share
research
∙
06/02/2021
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
We present an efficient and expressive tool for the instrumentation of J...
research
∙
04/25/2021
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
We present an approach for monitoring classification systems via data ab...
research
∙
07/08/2020
BISM: Bytecode-Level Instrumentation for Software Monitoring
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light...
research
∙
07/07/2019
Detecting Fault Injection Attacks with Runtime Verification
Fault injections are increasingly used to attack secure applications. So...
research
∙
05/31/2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations
We define a method to automatically synthesize provably-correct efficien...
research
∙
02/11/2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
This report presents the activities of the first working group of the CO...
research
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
research
∙
08/16/2018
Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
We use runtime verification (RV) to check various properties in a smart ...
research
∙
08/08/2018
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation
We define two complementary approaches to monitor decentralized systems....
research
∙
05/22/2018
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework
We define a method to modularize crosscutting concerns in Component-Base...
research
∙
07/24/2017
