Fabian Bauer-Marquart

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Symbolic Description

Top Venues

Publications

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. FM (2023)
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN (2022)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. CoRR (2022)
Johannes Stegmüller, Fabian Bauer-Marquart, Norman Meuschke, Terry Ruas, Moritz Schubotz, Bela Gipp
Detecting Cross-Language Plagiarism using Open Knowledge Graphs. CoRR (2021)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. CoRR (2021)
Johannes Stegmüller, Fabian Bauer-Marquart, Norman Meuschke, Terry Ruas, Moritz Schubotz, Bela Gipp
Detecting Cross-Language Plagiarism using Open Knowledge Graphs. EEKE@JCDL (2021)