Peter Faymonville

ORCID

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 13

Top Venues

CoRR

VMCAI

CAV (2)

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
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
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) (2019)
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Stream Runtime Monitoring on UAS. CoRR (2018)
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
BoSy: An Experimentation Framework for Bounded Synthesis. CoRR (2018)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Encodings of Bounded Synthesis. CoRR (2018)
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Stream Runtime Monitoring on UAS. RV (2017)
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
BoSy: An Experimentation Framework for Bounded Synthesis. CAV (2) (2017)
Peter Faymonville, Martin Zimmermann
Parametric Linear Dynamic Logic. Inf. Comput. 253 (2017)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Encodings of Bounded Synthesis. TACAS (1) (2017)
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
Real-time Stream-based Monitoring. CoRR (2017)
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
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
A Stream-Based Specification Language for Network Monitoring. RV (2016)
Peter Faymonville, Martin Zimmermann
Parametric Linear Dynamic Logic (full version). CoRR (2015)
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled
Monitoring Parametric Temporal Logic. VMCAI (2014)
Peter Faymonville, Martin Zimmermann
Parametric Linear Dynamic Logic. GandALF (2014)
Carolina Galleguillos, Peter Faymonville, Serge J. Belongie
BUBL: An effective region labeling tool using a hexagonal lattice. ICCV Workshops (2009)
Peter Faymonville, Kai Wang, John Miller, Serge J. Belongie
CAPTCHA-based image labeling on the Soylent Grid. KDD Workshop on Human Computation (2009)

Peter Faymonville.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Faymonville