Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. - Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Marko Kleine Büning (ICFEM, 2018)

Unbounded Software Model Checking with Incremental SAT-Solving. - Marko Kleine Büning; Tomás Balyo; Carsten Sinz (CoRR, 2018)

Using DimSpec for Bounded and Unbounded Software Model Checking. - Marko Kleine Büning; Tomás Balyo; Carsten Sinz (ICFEM, 2019)

Automatic Modularization of Large Programs for Bounded Model Checking. - Marko Kleine Büning; Carsten Sinz (ICFEM, 2019)

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. - Marko Kleine Büning; Philipp Kern; Carsten Sinz (CP, 2020)

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. - Marko Kleine Büning; Carsten Sinz; David Faragó (VSTTE, 2020)

An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors. - Samuel Teuber; Marko Kleine Büning; Carsten Sinz (CoRR, 2020)

Geometric Path Enumeration for Equivalence Verification of Neural Networks. - Samuel Teuber; Marko Kleine Büning; Philipp Kern; Carsten Sinz (ICTAI, 2021)

Refined Modularization for Bounded Model Checking Through Precondition Generation. - Marko Kleine Büning; Johannes Meuer; Carsten Sinz (ICFEM, 2022)

Optimized Symbolic Interval Propagation for Neural Network Verification. - Philipp Kern; Marko Kleine Büning; Carsten Sinz (CoRR, 2022)

Formal Verification of Industrial Software and Neural Networks. - Marko Kleine Büning (2022)