Peter Faymonville
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2009–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CAV | StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. | Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah |
| 2017 | CAV | BoSy: An Experimentation Framework for Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Leander Tentrup |
| 2017 | RV | Stream Runtime Monitoring on UAS. | Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens |
| 2017 | TACAS | Encodings of Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup |
| 2016 | RV | A Stream-Based Specification Language for Network Monitoring. | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
| 2014 | VMCAI | Monitoring Parametric Temporal Logic. | Peter Faymonville, Bernd Finkbeiner, Doron A. Peled |
| 2009 | KDD | CAPTCHA-based image labeling on the Soylent Grid. | Peter Faymonville, Kai Wang, John Miller, Serge J. Belongie |