34 citations · 88 across the 11 of their papers we have counts for
11 papers
Automated Consistency Analysis for Legal Contracts
Alan Khoja, Martin Kölbl, Stefan Leue +1
Business contracts, particularly sale and purchase agreements, often contain a large number of clauses and are correspondingly long and complex. In practice, it is therefore a grea…
Verifying Global Neural Network Specifications using Hyperproperties
David Boetius, Stefan Leue
Current approaches to neural network verification focus on specifications that target small regions around known input data points, such as local robustness. Thus, using these appr…
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
David Boetius, Stefan Leue, Tobias Sutter
Counterexample-guided repair aims at creating neural networks with mathematical safety guarantees, facilitating the application of neural networks in safety-critical domains. Howev…
Formal Modeling and Analysis of Legal Contracts using ContractCheck
Alan Khoja, Martin Kölbl, Stefan Leue +1
We describe a method and tool called \textit{ContractCheck} that allows for the consistency analysis of legal contracts, in particular Sales Purchase Agreements (SPAs). The analysi…
symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
We present symQV, a symbolic execution framework for writing and verifying quantum computations in the quantum circuit model. symQV can automatically verify that a quantum program…
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Fabian Bauer-Marquart, David Boetius, Stefan Leue +1
Deep neural networks (DNNs) are increasingly applied in safety-critical domains, such as self-driving cars, unmanned aircraft, and medical diagnosis. It is of fundamental importanc…
TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syn…
Causality for General LTL-definable Properties
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously propos…
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The for…
QuantUM: Quantitative Safety Analysis of UML Models
Florian Leitner-Fischer, Stefan Leue
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural de…
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in…