Samuel Teuber

5 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ICFP ×1 ICSE ×1 NeurIPS ×1 PLDI ×1

Frequent coauthors

Bernhard Beckert

×3

André Platzer

×2

Matthew L. Daggitt

×1

Ekaterina Komendantskaya

×1

Alistair Sirman

×1

Alessandro Bruni

×1

Josh Smart

×1

Grant O. Passmore

×1

Mattias Ulbrich

×1

Stefan Mitsch

×1

Papers

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
ICFP 2026 ·
Matthew L. Daggitt
,
Ekaterina Komendantskaya
,
Alistair Sirman
,
Alessandro Bruni
, Samuel Teuber,
Josh Smart
,
Grant O. Passmore
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
PLDI 2026 · Samuel Teuber,
Mattias Ulbrich
,
André Platzer
,
Bernhard Beckert
Next Steps in LLM-Supported Java Verification
ICSE 2025 · Samuel Teuber,
Bernhard Beckert
An Information-Flow Perspective on Algorithmic Fairness
AAAI 2024 · Samuel Teuber,
Bernhard Beckert
Provably Safe Neural Network Controllers via Differential Dynamic Logic
NeurIPS 2024 · Samuel Teuber,
Stefan Mitsch
,
André Platzer