Bj\"orn Wachter

Identifiers

• name variant Bj\"orn Wachter 0.60 · backfill

Papers (5)

1. Sound Static Deadlock Analysis for C/Pthreads (Extended Version) cs.PL · 2016 · author #4
2. Synthesising Interprocedural Bit-Precise Termination Proofs (extended version) cs.SE · 2015 · author #5
3. AbPress: Flexing Partial-Order Reduction and Abstraction cs.LO · 2014 · author #3
4. Stability and Complexity of Minimising Probabilistic Automata cs.FL · 2014 · author #2
5. On the Complexity of the Equivalence Problem for Probabilistic Automata cs.FL · 2011 · author #4

Mentions

• 1505.04581 #5 · backfill · confidence 0.70 Bj\"orn Wachter
• 1410.6044 #3 · backfill · confidence 0.70 Bj\"orn Wachter
• 1404.6673 #2 · backfill · confidence 0.70 Bj\"orn Wachter
• 1112.4644 #4 · backfill · confidence 0.70 Bj\"orn Wachter

Frequent Coauthors

• Daniel Kroening 3 shared papers
• Peter Schrammel 2 shared papers
• Stefan Kiefer 2 shared papers
• Andrzej S. Murawski 1 shared papers
• Cristina David 1 shared papers
• Daniel Poetzl 1 shared papers
• Hong-Yi Chen 1 shared papers
• James Worrell 1 shared papers
• Jo\"el Ouaknine 1 shared papers
• Subodh Sharma 1 shared papers