4 citations · 9 across the 8 of their papers we have counts for
9 papers
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Logical flaws in smart contracts are often exploited, leading to significant financial losses. Our tool, HighGuard, detects transactions that violate business logic specifications…
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt +1
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and…
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt +1
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee co…
Formal Development of Safe Automated Driving using Differential Dynamic Logic
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conven…
Deductive Verification of Floating-Point Java Programs in KeY
Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova +2
Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is…
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and e…
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…