| CAQE: A certifying QBF solver MN Rabe, L Tentrup Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015 | 151 | 2015 |
| Monitoring hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup International Conference on Runtime Verification, 190-207, 2017 | 93 | 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 | 92 | 2019 |
| BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 87 | 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 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 74 | 2019 |
| 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 | 68 | 2017 |
| The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International journal on software tools for technology transfer 19, 367-390, 2017 | 55 | 2017 |
| RVHyper: A Runtime Verification Tool for Temporal Hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2018 | 49 | 2018 |
| Non-prenex QBF solving using abstraction L Tentrup International Conference on Theory and Applications of Satisfiability …, 2016 | 48 | 2016 |
| Synthesizing reactive systems from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 43 | 2018 |
| Fast DQBF Refutation B Finkbeiner, L Tentrup International Conference on Theory and Applications of Satisfiability Testing, 2014 | 43 | 2014 |
| Synthesis from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup Acta informatica 57 (1), 137-163, 2020 | 36 | 2020 |
| Constraint-based monitoring of hyperproperties C Hahn, M Stenger, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2019 | 35 | 2019 |
| Clausal abstraction for DQBF L Tentrup, MN Rabe Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 29 | 2019 |
| Solving QBF by Abstraction J Hecking-Harbusch, L Tentrup GandALF 2018 277 (EPTCS), 88-102, 2018 | 29* | 2018 |
| On expansion and resolution in CEGAR based QBF solving L Tentrup International Conference on Computer Aided Verification, 475-494, 2017 | 29 | 2017 |
| Understanding and extending incremental determinization for 2QBF MN Rabe, L Tentrup, C Rasmussen, SA Seshia Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 28 | 2018 |
| 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 | 26 | 2024 |
| The second reactive synthesis competition (SYNTCOMP 2015) S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ... arXiv preprint arXiv:1602.01171, 2016 | 25 | 2016 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
