Franz Braue
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | SMLP: Symbolic Machine Learning Prover. | Franz Braue, Zurab Khasidashvili, Konstantin Korovin |
| 2024 | TACAS | 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 Braue, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro |
| 2022 | CASC | Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer Analysis System. | Franz Braue, Pieter Collins, Martin Ziegler |
| 2022 | IJCAI | Combining Constraint Solving and Bayesian Techniques for System Optimization. | Franz Braue, Zurab Khasidashvili, Konstantin Korovin |
| 2022 | ISSTA | ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. | Franz Braue, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro |
| 2021 | CADE | The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. | Franz Braue, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Mller |
| 2020 | FMCAD | Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation. | Franz Braue, Zurab Khasidashvili, Konstantin Korovin |