Follow
Peter Faymonville
Peter Faymonville
ITK Engineering
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
International Conference on Computer Aided Verification, 325-332, 2017
812017
StreamLAB: stream-based monitoring of cyber-physical systems
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ...
International Conference on Computer Aided Verification, 421-431, 2019
782019
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
772017
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
702016
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
662017
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
402017
Real-time stream-based monitoring
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arXiv:1711.03829, 2017
312017
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
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
242009
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
212022
Towards intelligent system health management using runtime monitoring
C Torens, F Adolf, P Faymonville, S Schirmer
AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017
212017
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
Encodings of reactive synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Proceedings of QUANTIFY, 2015
32015
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
Real-time Stream Monitoring with StreamLAB
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, L Tentrup, ...
MT-CPS, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20