research
∙
05/14/2023
CLawK: Monitoring Business Processes in Smart Contracts
Smart contracts embody complex business processes that can be difficult ...
share
research
∙
05/08/2023
Capturing Smart Contract Design with DCR Graphs
Smart contracts manage blockchain assets. While smart contracts embody b...
research
∙
10/13/2022
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
The safety of automated driving systems must be justified by convincing ...
research
∙
01/21/2021
Deductive Verification of Floating-Point Java Programs in KeY
Deductive verification has been successful in verifying interesting prop...
research
∙
08/27/2019
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
Since distributed software systems are ubiquitous, their correct functio...
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