BUBL: An effective region labeling tool using a hexagonal lattice. - Carolina Galleguillos; Peter Faymonville; Serge J. Belongie (ICCV Workshops, 2009)

CAPTCHA-based image labeling on the Soylent Grid. - Peter Faymonville; Kai Wang 059; John Miller; Serge J. Belongie (KDD Workshop on Human Computation, 2009)

Monitoring Parametric Temporal Logic. - Peter Faymonville; Bernd Finkbeiner; Doron A. Peled (VMCAI, 2014)

Parametric Linear Dynamic Logic. - Peter Faymonville; Martin Zimmermann 002 (GandALF, 2014)

Parametric Linear Dynamic Logic (full version). - Peter Faymonville; Martin Zimmermann 002 (CoRR, 2015)

A Stream-Based Specification Language for Network Monitoring. - Peter Faymonville; Bernd Finkbeiner; Sebastian Schirmer; Hazem Torfah (RV, 2016)

BoSy: An Experimentation Framework for Bounded Synthesis. - Peter Faymonville; Bernd Finkbeiner; Leander Tentrup (CAV (2), 2017)

Stream Runtime Monitoring on UAS. - Florian-Michael Adolf; Peter Faymonville; Bernd Finkbeiner; Sebastian Schirmer; Christoph Torens (RV, 2017)

Encodings of Bounded Synthesis. - Peter Faymonville; Bernd Finkbeiner; Markus N. Rabe; Leander Tentrup (TACAS (1), 2017)

Real-time Stream-based Monitoring. - Peter Faymonville; Bernd Finkbeiner; Maximilian Schwenger; Hazem Torfah (CoRR, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. - Peter Faymonville; Bernd Finkbeiner; Malte Schledjewski; Maximilian Schwenger; Marvin Stenger; Leander Tentrup; Hazem Torfah (CAV (1), 2019)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Monitoring with Parameters. - Peter Faymonville (2019)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)