C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Samuel Teuber
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 8
Top Topics
Solving Hard
Bit Vectors
Multi Threaded
Software Reliability
Top Venues
CoRR
EWAF
ICTAI
QEST
</>
Publications
</>
Florian Lanzinger
,
Christian Martin
,
Frederik Reiche
,
Samuel Teuber
,
Robert Heinrich
,
Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR
(2024)
Samuel Teuber
,
Stefan Mitsch
,
André Platzer
Provably Safe Neural Network Controllers via Differential Dynamic Logic.
CoRR
(2024)
Samuel Teuber
,
Bernhard Beckert
An Information-Flow Perspective on Algorithmic Fairness.
CoRR
(2023)
Samuel Teuber
,
Bernhard Beckert
Formally Verified Algorithmic Fairness Using Information-Flow Tools.
EWAF
(2023)
Samuel Teuber
,
Marko Kleine Büning
,
Philipp Kern
,
Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
CoRR
(2021)
Samuel Teuber
,
Alexander Weigl
Quantifying Software Reliability via Model-Counting.
QEST
(2021)
Samuel Teuber
,
Marko Kleine Büning
,
Philipp Kern
,
Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
ICTAI
(2021)
Samuel Teuber
,
Marko Kleine Büning
,
Carsten Sinz
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.
CoRR
(2020)