( en | de | ru )

 

Disambiguation of "Brauße, Franz"

Author of the publication

copydeleteadd this publication to your clipboard
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

, , , , , , and . ISSTA, page 773-776. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Katja Brauße

Wolfgang Brauße

Joachim Brausse

Heike Brausse

Ursula Brausse

 

Other publications of authors with the same name

Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer inline-graphic not available: see fulltextAnalysis System., , and . CASC, volume 13366 of Lecture Notes in Computer Science, page 62-82. Springer, (2022)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , and . ISSTA, page 773-776. ACM, (2022)Towards Using Exact Real Arithmetic for Initial Value Problems., , and . Ershov Memorial Conference, volume 9609 of Lecture Notes in Computer Science, page 61-74. Springer, (2015)SMLP: Symbolic Machine Learning Prover (User Manual)., , and . CoRR, (2024)ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)., , , , , , , , , and 2 other author(s). TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 376-380. Springer, (2024)Bayesian Optimisation with Formal Guarantees., , and . CoRR, (2021)Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities., , , , , , , , , and . SecDev, page 52-58. IEEE, (2022)Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation., , and . FMCAD, page 119-127. IEEE, (2020)Semantics, Specification Logic, and Hoare Logic of Exact Real Computation., , , , , , , , , and . Log. Methods Comput. Sci., (2024)Using Taylor Models in Exact Real Arithmetic., , and . MACIS, volume 9582 of Lecture Notes in Computer Science, page 474-488. Springer, (2015)