Peter Faymonville

20 papers B 3Journal 9Unranked 7

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