34 citations · 40 across the 2 of their papers we have counts for
3 papers
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…
Detecting Cross-Language Plagiarism using Open Knowledge Graphs
Johannes Stegmüller, Fabian Bauer-Marquart, Norman Meuschke +3
Identifying cross-language plagiarism is challenging, especially for distant language pairs and sense-for-sense translations. We introduce the new multilingual retrieval model Cros…
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…