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

1

ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Menezes, Rafael Sá ; Aldughaim, Mohannad ; Farias, Bruno... - p. 376-380 , 2024

2

The ksmt calculus is a δ-complete decision procedure for no..:

Brauße, Franz ; Korovin, Konstantin ; Korovina, Margarita V..
Theoretical Computer Science. 975 (2023) - p. 114125 , 2023

Link: https://doi.org/10.1016/..

3

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

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Song, Kunjian ; Gadelha, Mikhail R. ; Brauße, Franz.. - p. 141-152 , 2023

Link: https://doi.org/10.1007/..

4

ESBMC-CHERI: towards verification of C programs for CHERI p..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,

Brauße, Franz ; Shmarov, Fedor ; Menezes, Rafael... - p. 773-776 , 2022

Link: https://dl.acm.org/doi/1..

5

Computer Science for Continuous Data: Survey, Vision, Theor..:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,

Brauße, Franz ; Collins, Pieter ; Ziegler, Martin - p. 62-82 , 2022

Link: https://doi.org/10.1007/..

6

The ksmt Calculus Is a $$\delta $$-complete Decision Proced..:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Brauße, Franz ; Korovin, Konstantin ; Korovina, Margarita V.. - p. 113-130 , 2021

Link: https://doi.org/10.1007/..

7

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

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Brauße, Franz ; Korovin, Konstantin ; Korovina, Margarita. - p. 131-148 , 2019

Link: https://doi.org/10.1007/..

8

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..

9

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..

10

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..

11

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..

12

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..

13

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..

14

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..

15

A minimal representation for continuous functions:

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

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