Georg Weissenbacher

Identifiers

• name variant Georg Weissenbacher 0.60 · backfill

Papers (5)

1. Differential Zonotopes for Verifying Global Robustness of DNNs cs.CR · 2026 · author #6
2. Mutation Testing with Hyperproperties cs.LO · 2019 · author #3
3. Dynamic Reductions for Model Checking Concurrent Software cs.LO · 2016 · author #4
4. Error Invariants for Concurrent Traces cs.SE · 2016 · author #4
5. Proving Safety with Trace Automata and Bounded Model Checking cs.FL · 2014 · author #3

Mentions

• 2606.21282 #6 · arxiv_oai · confidence 0.70 Georg Weissenbacher
• 1410.5764 #3 · backfill · confidence 0.70 Georg Weissenbacher

Frequent Coauthors

• Mitra Tabaei Befrouei 2 shared papers
• Alfons Laarman 1 shared papers
• Anagha Athavale 1 shared papers
• Ana Sokolova 1 shared papers
• Andreas Fellner 1 shared papers
• Andreas Holzer 1 shared papers
• Daniel Kroening 1 shared papers
• Daniel Schwartz-Narbonne 1 shared papers
• Dejan Nickovic 1 shared papers
• Ezio Bartocci 1 shared papers
• Henning G\"unther 1 shared papers
• Matteo Maffei 1 shared papers
• Matt Lewis 1 shared papers
• Samuel Teuber 1 shared papers
• Thomas Wies 1 shared papers