Georg Weissenbacher

Identifiers

No identifiers captured yet.

Papers (4)

1. Mutation Testing with Hyperproperties cs.LO · 2019 · author #3
2. Dynamic Reductions for Model Checking Concurrent Software cs.LO · 2016 · author #4
3. Error Invariants for Concurrent Traces cs.SE · 2016 · author #4
4. Proving Safety with Trace Automata and Bounded Model Checking cs.FL · 2014 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Mitra Tabaei Befrouei 2 shared papers
• Alfons Laarman 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
• Henning G\"unther 1 shared papers
• Matt Lewis 1 shared papers
• Thomas Wies 1 shared papers