Towards Using Exact Real Arithmetic for Initial Value Problems. - Franz Brauße; Margarita V. Korovina; Norbert Th. Müller (Ershov Memorial Conference, 2015)

Using Taylor Models in Exact Real Arithmetic. - Franz Brauße; Margarita Vladimirovna Korovina; Norbert Th. Müller (MACIS, 2015)

A minimal representation for continuous functions. - Franz Brauße; Florian Steinberg 001 (CoRR, 2017)

A CDCL-Style Calculus for Solving Non-linear Constraints. - Franz Brauße; Konstantin Korovin; Margarita V. Korovina; Norbert Th. Müller (FroCos, 2019)

Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation. - Franz Brauße; Zurab Khasidashvili; Konstantin Korovin (FMCAD, 2020)

The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. - Franz Brauße; Konstantin Korovin; Margarita V. Korovina; Norbert Th. Müller (CADE, 2021)

Bayesian Optimisation with Formal Guarantees. - Franz Brauße; Zurab Khasidashvili; Konstantin Korovin (CoRR, 2021)

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 001 (CASC, 2022)

Combining Constraint Solving and Bayesian Techniques for System Optimization. - Franz Brauße; Zurab Khasidashvili; Konstantin Korovin (IJCAI, 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 (ISSTA, 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 (SecDev, 2022)

ESBMC v7.3: Model Checking C++ Programs Using Clang AST. - Kunjian Song; Mikhail R. Gadelha; Franz Brauße; Rafael S. Menezes; Lucas C. Cordeiro (SBMF, 2023)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

The ksmt calculus is a δ-complete decision procedure for non-linear constraints. - Franz Brauße; Konstantin Korovin; Margarita V. Korovina; Norbert Th. Müller (Theor. Comput. Sci., 2023)

SMLP: Symbolic Machine Learning Prover. - Franz Brauße; Zurab Khasidashvili; Konstantin Korovin (CAV (1), 2024)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 2024)

SMLP: Symbolic Machine Learning Prover (User Manual). - Franz Brauße; Zurab Khasidashvili; Konstantin Korovin (CoRR, 2024)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. - Sewon Park 001; Franz Brauße; Pieter Collins; SunYoung Kim; Michal Konecný; Gyesik Lee; Norbert Th. Müller; Eike Neumann; Norbert Preining; Martin Ziegler 001 (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 (Sci. Comput. Program., 2025)