Peter Faymonville
Peter Faymonville
ITK Engineering GmbH
Verified email at react.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2017
492017
BoSy: An experimentation framework for bounded synthesis
P Faymonville, B Finkbeiner, L Tentrup
International Conference on Computer Aided Verification, 325-332, 2017
412017
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
402016
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
292017
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
252017
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
242019
Parametric linear dynamic logic
P Faymonville, M Zimmermann
arXiv preprint arXiv:1408.5957, 2014
232014
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
192009
Real-time stream-based monitoring
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arXiv:1711.03829, 2017
172017
Parametric linear dynamic logic
P Faymonville, M Zimmermann
Information and Computation 253, 237-256, 2017
16*2017
Towards intelligent system health management using runtime monitoring
C Torens, F Adolf, P Faymonville, S Schirmer
AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017
132017
Real-time stream-based monitoring. CoRR abs/1711.03829 (2017)
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arxiv:1711.03829, 2017
92017
Monitoring parametric temporal logic
P Faymonville, B Finkbeiner, D Peled
International Conference on Verification, Model Checking, and Abstract …, 2014
72014
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
62008
Encodings of reactive synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Proceedings of QUANTIFY, 2015
32015
Monitoring with Parameters
P Faymonville
Saarländische Universitäts-und Landesbibliothek, 2019
12019
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
12009
Real-time Stream Monitoring with StreamLAB
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, L Tentrup, ...
MT-CPS, 2019
2019
Model Checking the FlexRay Physical Layer Protocol
B Finkbeiner, P Faymonville, M Gerke
2011
Poster: Security in Web-Based Workflows
T Bauereiß, A Bichhawat, I Bolosteanu, P Faymonville, B Finkbeiner, ...
The system can't perform the operation now. Try again later.
Articles 1–20