| 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 | 95 | 2019 |
| Bosy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 89 | 2017 |
| Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 84 | 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 | 76 | 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 | 69 | 2017 |
| Stream runtime monitoring on UAS FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens International Conference on Runtime Verification, 33-49, 2017 | 42 | 2017 |
| Parametric linear dynamic logic P Faymonville, M Zimmermann Information and Computation 253, 237-256, 2017 | 42 | 2017 |
| Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017 | 31 | 2017 |
| The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024 | 27 | 2024 |
| 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 | 24 | 2009 |
| Towards intelligent system health management using runtime monitoring C Torens, F Adolf, P Faymonville, S Schirmer AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017 | 22 | 2017 |
| Dillig I Tasiran S et al P Faymonville StreamLAB: stream-based monitoring of cyber-physical systems Computer Aided …, 2019 | 20 | 2019 |
| Real-time stream-based monitoring. CoRR abs/1711.03829 (2017) P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arxiv:1711.03829, 2017 | 15 | 2017 |
| Monitoring parametric temporal logic P Faymonville, B Finkbeiner, D Peled Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 8 | 2014 |
| The reactive synthesis competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) S Jacobs, GA Pérez, R Abraham, V Bruyère, M Cadilhac, M Colange, ... | 8 | |
| 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 | 7 | 2008 |
| 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, ... | 4 | 1904 |
| Encodings of reactive synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup Proceedings of QUANTIFY, 2015 | 3 | 2015 |
| 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 | 2 | 2009 |
| Monitoring with Parameters P Faymonville Saarländische Universitäts-und Landesbibliothek, 2019 | 1 | 2019 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mail confirmado em cispa.de