Franz Brauße

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Constraint Solving

Linear Constraints

Top Venues

Publications

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
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). TACAS (3) (2024)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
SMLP: Symbolic Machine Learning Prover. CAV (1) (2024)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
SMLP: Symbolic Machine Learning Prover (User Manual). CoRR (2024)
Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST. CoRR (2024)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
SMLP: Symbolic Machine Learning Prover. CoRR (2024)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
-complete decision procedure for non-linear constraints. Theor. Comput. Sci. 975 (2023)
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
ESBMC v7.4: Harnessing the Power of Intervals. CoRR (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. SBMF (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs using Clang AST. CoRR (2023)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Combining Constraint Solving and Bayesian Techniques for System Optimization. IJCAI (2022)
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev (2022)
Franz Brauße, Pieter Collins, Martin Ziegler
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. CASC (2022)
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA (2022)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
The ksmt calculus is a δ-complete decision procedure for non-linear constraints. CoRR (2021)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Bayesian Optimisation with Formal Guarantees. CoRR (2021)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. CADE (2021)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation. FMCAD (2020)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
A CDCL-style calculus for solving non-linear constraints. CoRR (2019)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
A CDCL-Style Calculus for Solving Non-linear Constraints. FroCos (2019)
Franz Brauße, Florian Steinberg
A minimal representation for continuous functions. CoRR (2017)
Franz Brauße, Margarita V. Korovina, Norbert Th. Müller
Towards Using Exact Real Arithmetic for Initial Value Problems. Ershov Memorial Conference (2015)
Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller
Using Taylor Models in Exact Real Arithmetic. MACIS (2015)