Oliver Bringmann

FZI Forschungszentrum Informatik, Eberhard Karls Universität Tübingen

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)

Frequent co-authors

Jan Novacek (1)Alexander Viehl (1)Wolfgang Rosenstiel (1)David Knothe (1)

Papers (2)

Aug 17, 2026

FZI Forschungszentrum Informatik1w ago·also Tübingen

Reasoning-supported Robustness Validation of Automotive E/E Components

Automating the analysis selection in Robustness Validation can cut design time and enhance thoroughness, transforming how automotive components are validated.

Jan Novacek, Alexander Viehl, Oliver Bringmann +1

Reasoning & Chain-of-Thought

Feb 23, 2026

David Knothe +3Feb 23, 2026·also FZI Forschungszentrum Informatik, Tübingen

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations

Achieve verified loop optimizations by cleverly combining small-step and big-step semantics, enabling transformations like full loop unrolling within the CompCert compiler.

David Knothe, David Knothe, O. Bringmann +1

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis

Search

Oliver Bringmann

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (2)