Marko Kleine Büning

12 papers A 1B 1C 4Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2022 — —
Formal Verification of Industrial Software and Neural Networks.
Marko Kleine Büning
2022 J jnl
Optimized Symbolic Interval Propagation for Neural Network Verification.
CoRR
Philipp Kern, Marko Kleine Büning, Carsten Sinz
2022 C conf
Refined Modularization for Bounded Model Checking Through Precondition Generation.
ICFEM
Marko Kleine Büning, Johannes Meuer, Carsten Sinz
2021 B conf
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
ICTAI
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
2021 J jnl
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
CoRR
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
2020 J jnl
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.
CoRR
Samuel Teuber, Marko Kleine Büning, Carsten Sinz
2020 — conf
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking.
VSTTE
Marko Kleine Büning, Carsten Sinz, David Faragó
2020 A conf
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.
CP
Marko Kleine Büning, Philipp Kern, Carsten Sinz
2019 C conf
Automatic Modularization of Large Programs for Bounded Model Checking.
ICFEM
Marko Kleine Büning, Carsten Sinz
2019 C conf
Using DimSpec for Bounded and Unbounded Software Model Checking.
ICFEM
Marko Kleine Büning, Tomás Balyo, Carsten Sinz
2018 J jnl
Unbounded Software Model Checking with Incremental SAT-Solving.
CoRR
Marko Kleine Büning, Tomás Balyo, Carsten Sinz
2018 C conf
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
ICFEM
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning