PPaperPicks

Bernhard Beckert

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1ICSE ×1PLDI ×1

Frequent coauthors

Samuel Teuber
×3
Mattias Ulbrich
×2
André Platzer
×1
Richard Bubel
×1
Daniel Drodt
×1
Reiner Hähnle
×1
Florian Lanzinger
×1
Wolfram Pfeifer
×1
Alexander Weigl
×1

Papers

  1. Heterogeneous Dynamic Logic: Provability Modulo Program Theories
    PLDI 2026 ·
    Samuel Teuber
    ,
    Mattias Ulbrich
    ,
    André Platzer
    , Bernhard Beckert
  2. Next Steps in LLM-Supported Java Verification
    ICSE 2025 ·
    Samuel Teuber
    , Bernhard Beckert
  3. An Information-Flow Perspective on Algorithmic Fairness
    AAAI 2024 ·
    Samuel Teuber
    , Bernhard Beckert
  4. The Java Verification Tool KeY:A Tutorial
    FM 2024 · Bernhard Beckert,
    Richard Bubel
    ,
    Daniel Drodt
    ,
    Reiner Hähnle
    ,
    Florian Lanzinger
    ,
    Wolfram Pfeifer
    ,
    Mattias Ulbrich
    ,
    Alexander Weigl