Philipp Ruemmer

Identifiers

• name variant Philipp Ruemmer 0.60 · backfill

Papers (5)

1. Exploring Approximations for Floating-Point Arithmetic using UppSAT cs.LO · 2017 · author #4
2. Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report) cs.LO · 2017 · author #4
3. Learning to Prove Safety over Parameterised Concurrent Systems (Full Version) cs.LO · 2017 · author #4
4. Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report) cs.LO · 2016 · author #2
5. Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) cs.LO · 2010 · author #3

Mentions

• 1011.1036 #3 · backfill · confidence 0.70 Philipp Ruemmer

Frequent Coauthors

• Anthony W. Lin 3 shared papers
• Aleksandar Zeljic 1 shared papers
• Angelo Brillout 1 shared papers
• Chih-Duo Hong 1 shared papers
• Christoph M. Wintersteiger 1 shared papers
• Daniel Kroening 1 shared papers
• Ondrej Lengal 1 shared papers
• Peter Backeman 1 shared papers
• Rupak Majumdar 1 shared papers
• Thomas Wahl 1 shared papers
• Yu-Fang Chen 1 shared papers