Peter Faymonville

Identifiers

• name variant Peter Faymonville 0.60 · backfill

Papers (5)

1. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #4
2. Stream Runtime Monitoring on UAS cs.SE · 2018 · author #2
3. Encodings of Bounded Synthesis cs.LO · 2018 · author #1
4. BoSy: An Experimentation Framework for Bounded Synthesis cs.LO · 2018 · author #1
5. Parametric Linear Dynamic Logic (full version) cs.LO · 2015 · author #1

Mentions

• 1504.03880 #1 · backfill · confidence 0.70 Peter Faymonville

Frequent Coauthors

• Bernd Finkbeiner 4 shared papers
• Leander Tentrup 3 shared papers
• Adam Walker 1 shared papers
• Ayrat Khalimov 1 shared papers
• Christoph Torens 1 shared papers
• Felix Klein 1 shared papers
• Florian-Michael Adolf 1 shared papers
• Markus N. Rabe 1 shared papers
• Martin Zimmermann 1 shared papers
• Maximilien Colange 1 shared papers
• Michael Luttenberger 1 shared papers
• Mouhammad Sakr 1 shared papers
• Philipp J. Meyer 1 shared papers
• Roderick Bloem 1 shared papers
• Salomon Sickert 1 shared papers
• Sebastian Schirmer 1 shared papers
• Swen Jacobs 1 shared papers
• Thibaud Michaud 1 shared papers