Marko Kleine Büning

According to our database, Marko Kleine Büning authored at least 11 papers between 2018 and 2022.

Collaborative distances:

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

2022

Formal Verification of Industrial Software and Neural Networks.

Marko Kleine Büning

PhD thesis, 2022

Optimized Symbolic Interval Propagation for Neural Network Verification.

Philipp Kern, Marko Kleine Büning, Carsten Sinz

CoRR, 2022

Refined Modularization for Bounded Model Checking Through Precondition Generation.

Marko Kleine Büning, Johannes Meuer, Carsten Sinz

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Geometric Path Enumeration for Equivalence Verification of Neural Networks.

Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.

Samuel Teuber, Marko Kleine Büning, Carsten Sinz

CoRR, 2020

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking.

Marko Kleine Büning, Carsten Sinz, David Faragó

Proceedings of the Software Verification - 12th International Conference, 2020

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.

Marko Kleine Büning, Philipp Kern, Carsten Sinz

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Automatic Modularization of Large Programs for Bounded Model Checking.

Marko Kleine Büning, Carsten Sinz

Proceedings of the Formal Methods and Software Engineering, 2019

Using DimSpec for Bounded and Unbounded Software Model Checking.

Marko Kleine Büning, Tomás Balyo, Carsten Sinz

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Unbounded Software Model Checking with Incremental SAT-Solving.

Marko Kleine Büning, Tomás Balyo, Carsten Sinz

CoRR, 2018

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

Proceedings of the Formal Methods and Software Engineering, 2018