Follow
Peter Faymonville
Peter Faymonville
ZF Group
Verified email at faymonville.de - Homepage
Title
Cited by
Cited by
Year
BoSy: An experimentation framework for bounded synthesis
P Faymonville, B Finkbeiner, L Tentrup
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
712017
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
712017
StreamLAB: stream-based monitoring of cyber-physical systems
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
622019
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
582016
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
562017
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017
342017
Parametric linear dynamic logic
P Faymonville, M Zimmermann
Information and Computation 253, 237-256, 2017
26*2017
Parametric linear dynamic logic
P Faymonville, M Zimmermann
arXiv preprint arXiv:1408.5957, 2014
262014
Real-time stream-based monitoring
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arXiv:1711.03829, 2017
222017
CAPTCHA-based image labeling on the Soylent Grid
P Faymonville, K Wang, J Miller, S Belongie
Proceedings of the ACM SIGKDD Workshop on Human Computation, 46-49, 2009
222009
Towards intelligent system health management using runtime monitoring
C Torens, F Adolf, P Faymonville, S Schirmer
AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017
202017
Real-time stream-based monitoring. CoRR abs/1711.03829 (2017)
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arxiv:1711.03829, 2017
122017
Monitoring parametric temporal logic
P Faymonville, B Finkbeiner, D Peled
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
82014
Exchange of contact data between mobile phones using NFCIP
P Dobrigkeit, T Flach, P Faymonville, J Müller
4th European Workshop on RFID Systems and Technologies, 1-9, 2008
72008
The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results. CoRR abs/1904.07736 (2019)
S Jacobs, R Bloem, M Colange, P Faymonville, B Finkbeiner, A Khalimov, ...
41904
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
arXiv preprint arXiv:2206.00251, 2022
32022
Encodings of reactive synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Proceedings of QUANTIFY, 2015
32015
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
arXiv preprint arXiv:1804.04487, 2018
22018
BUBL: an effective region labeling tool using a hexagonal lattice
C Galleguillos, P Faymonville, S Belongie
2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV …, 2009
22009
Monitoring with Parameters
P Faymonville
Saarländische Universitäts-und Landesbibliothek, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20