Peter Faymonville

According to our database, Peter Faymonville authored at least 15 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

CoRR, 2022

2019

Monitoring with Parameters.

Peter Faymonville

PhD thesis, 2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

CoRR, 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

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, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Real-time Stream-based Monitoring.

Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah

CoRR, 2017

Encodings of Bounded Synthesis.

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Stream Runtime Monitoring on UAS.

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens

Proceedings of the Runtime Verification - 17th International Conference, 2017

BoSy: An Experimentation Framework for Bounded Synthesis.

Peter Faymonville, Bernd Finkbeiner, Leander Tentrup

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

A Stream-Based Specification Language for Network Monitoring.

Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Parametric Linear Dynamic Logic (full version).

Peter Faymonville, Martin Zimmermann

CoRR, 2015

2014

Parametric Linear Dynamic Logic.

Peter Faymonville, Martin Zimmermann

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Monitoring Parametric Temporal Logic.

Peter Faymonville, Bernd Finkbeiner, Doron A. Peled

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2009

CAPTCHA-based image labeling on the Soylent Grid.

Peter Faymonville, Kai Wang, John Miller, Serge J. Belongie

Proceedings of the ACM SIGKDD Workshop on Human Computation, Paris, France, June 28, 2009, 2009

BUBL: An effective region labeling tool using a hexagonal lattice.

Carolina Galleguillos, Peter Faymonville, Serge J. Belongie

Proceedings of the 12th IEEE International Conference on Computer Vision Workshops, 2009