Fabian Bauer-Marquart

According to our database, Fabian Bauer-Marquart authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

symQV: Automated Symbolic Verification of Quantum Programs.

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.

Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization.

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

CoRR, 2021

Detecting Cross-Language Plagiarism using Open Knowledge Graphs.

Johannes Stegmüller, Fabian Bauer-Marquart, Norman Meuschke, Terry Ruas, Moritz Schubotz, Bela Gipp

Proceedings of the 2nd Workshop on Extraction and Evaluation of Knowledge Entities from Scientific Documents (EEKE 2021) co-located with JCDL 2021, 2021