Franz Brauße

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