E-LIB Suche - Ergebnisse für: Brauße, Franz

1

ESBMC v7.4: Harnessing the Power of Intervals:

Menezes, Rafael ; Aldughaim, Mohannad ; Farias, Bruno...
http://arxiv.org/abs/2312.14746. , 2023

Link: http://arxiv.org/abs/231..

2

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

Song, Kunjian ; Gadelha, Mikhail R ; Brauße, Franz..
http://arxiv.org/abs/2308.05649. , 2023

Link: http://arxiv.org/abs/230..

3

Bayesian Optimisation with Formal Guarantees:

Brauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin
http://arxiv.org/abs/2106.06067. , 2021

Link: http://arxiv.org/abs/210..

4

The ksmt calculus is a $\delta$-complete decision procedure..:

Brauße, Franz ; Korovin, Konstantin ; Korovina, Margarita V.
http://arxiv.org/abs/2104.13269. , 2021

Link: http://arxiv.org/abs/210..

5

Selecting Stable Safe Configurations for Systems Modelled b..:

Brauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin
#PLACEHOLDER_PARENT_METADATA_VALUE#. , 2020

Link: https://hdl.handle.net/2..

6

A CDCL-style calculus for solving non-linear constraints:

Brauße, Franz ; Korovin, Konstantin ; Korovina, Margarita.
http://arxiv.org/abs/1905.09227. , 2019

Link: http://arxiv.org/abs/190..

7

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

Brausse, Franz ; Korovin, Konstantin ; Korovina, Margarita.
Brausse , F , Korovin , K , Korovina , M & Mueller , N 2019 , A CDCL-Style Calculus for Solving Non-linear Constraints . in A Herzig & A Popescu (eds) , Frontiers of Combining Systems, 12th International Symposium : FroCoS 2019, Proceedings . vol. 11715 , LNCS , vol. 11715 , Springer Nature , pp. 131-148 , The 12th International Symposium on Frontiers of Combining Systems , London , United Kingdom , 4/09/19 . https://doi.org/10.1007/978-3-030-29007-8_8. , 2019

Link: https://research.manches..

8

A minimal representation for continuous functions:

Brauße, Franz ; Steinberg, Florian
http://arxiv.org/abs/1703.10044. , 2017

Link: http://arxiv.org/abs/170..

9

Semantics, Specification Logic, and Hoare Logic of Exact Re..:

Park, Sewon ; Brauße, Franz ; Collins, Pieter...
http://arxiv.org/abs/1608.05787. , 2016

Link: http://arxiv.org/abs/160..