| Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2017 | 53 | 2017 |
| BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 44 | 2017 |
| A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016 | 43 | 2016 |
| 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 | 31 | 2017 |
| Stream runtime monitoring on UAS FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens International Conference on Runtime Verification, 33-49, 2017 | 26 | 2017 |
| 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 | 25 | 2019 |
| Parametric linear dynamic logic P Faymonville, M Zimmermann arXiv preprint arXiv:1408.5957, 2014 | 24 | 2014 |
| 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 | 19 | 2009 |
| Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017 | 17 | 2017 |
| Parametric linear dynamic logic P Faymonville, M Zimmermann Information and Computation 253, 237-256, 2017 | 17* | 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 | 13 | 2017 |
| Real-time stream-based monitoring. CoRR abs/1711.03829 (2017) P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arxiv:1711.03829, 2017 | 9 | 2017 |
| Monitoring parametric temporal logic P Faymonville, B Finkbeiner, D Peled International Conference on Verification, Model Checking, and Abstract …, 2014 | 7 | 2014 |
| 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 | 6 | 2008 |
| Encodings of reactive synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup Proceedings of QUANTIFY, 2015 | 3 | 2015 |
| Monitoring with Parameters P Faymonville Saarländische Universitäts-und Landesbibliothek, 2019 | 1 | 2019 |
| Stream runtime monitoring on UAS FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens arXiv preprint arXiv:1804.04487, 2018 | 1 | 2018 |
| 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 | 1 | 2009 |
| 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 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
