| BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 71 | 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 | 71 | 2017 |
| 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 | 62 | 2019 |
| 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 | 58 | 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 | 56 | 2017 |
| 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 | 34 | 2017 |
| 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 | 26 | 2014 |
| Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017 | 22 | 2017 |
| 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 | 22 | 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 | 20 | 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 | 12 | 2017 |
| Monitoring parametric temporal logic P Faymonville, B Finkbeiner, D Peled Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 8 | 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 | 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 |
| 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 | 3 | 2022 |
| Encodings of reactive synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup Proceedings of QUANTIFY, 2015 | 3 | 2015 |
| Stream runtime monitoring on UAS FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens arXiv preprint arXiv:1804.04487, 2018 | 2 | 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 | 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 SecurityVerified email at cispa.de
