Franz Brauße

According to our database, Franz Brauße authored at least 19 papers between 2015 and 2024.

Collaborative distances:

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

2024

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Log. Methods Comput. Sci., 2024

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.

Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2024

SMLP: Symbolic Machine Learning Prover (User Manual).

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

SMLP: Symbolic Machine Learning Prover.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

The ksmt calculus is a <i>δ</i>-complete decision procedure for non-linear constraints.

Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller

Theor. Comput. Sci., October, 2023

ESBMC v7.4: Harnessing the Power of Intervals.

Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2023

ESBMC v7.3: Model Checking C++ Programs Using Clang AST.

Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2022

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.

Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov

Proceedings of the IEEE Secure Development Conference, 2022

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Combining Constraint Solving and Bayesian Techniques for System Optimization.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System.

Franz Brauße, Pieter Collins, Martin Ziegler

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

2021

Bayesian Optimisation with Formal Guarantees.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

CoRR, 2021

The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints.

Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation.

Franz Brauße, Zurab Khasidashvili, Konstantin Korovin

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

A CDCL-Style Calculus for Solving Non-linear Constraints.

Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2017

A minimal representation for continuous functions.

Franz Brauße, Florian Steinberg

CoRR, 2017

2015

Using Taylor Models in Exact Real Arithmetic.

Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Towards Using Exact Real Arithmetic for Initial Value Problems.

Franz Brauße, Margarita V. Korovina, Norbert Th. Müller

Proceedings of the Perspectives of System Informatics, 2015