| CAQE: A certifying QBF solver MN Rabe, L Tentrup Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015 | 163 | 2015 |
| Monitoring hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup International Conference on Runtime Verification, 190-207, 2017 | 112 | 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 | 105 | 2019 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup International Conference on Computer Aided Verification, 121-139, 2019 | 102 | 2019 |
| BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 95 | 2017 |
| Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2017 | 86 | 2017 |
| 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 | 72 | 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 | 61 | 2018 |
| 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 (3), 367-390, 2017 | 56 | 2017 |
| Non-prenex QBF solving using abstraction L Tentrup International Conference on Theory and Applications of Satisfiability …, 2016 | 51 | 2016 |
| Synthesizing reactive systems from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup International Conference on Computer Aided Verification, 289-306, 2018 | 43 | 2018 |
| Fast DQBF Refutation B Finkbeiner, L Tentrup International Conference on Theory and Applications of Satisfiability Testing, 2014 | 43 | 2014 |
| Constraint-based monitoring of hyperproperties C Hahn, M Stenger, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2019 | 42 | 2019 |
| 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 26 (5), 551-567, 2024 | 39 | 2024 |
| Synthesis from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup Acta informatica 57 (1), 137-163, 2020 | 39 | 2020 |
| Understanding and extending incremental determinization for 2QBF MN Rabe, L Tentrup, C Rasmussen, SA Seshia International Conference on Computer Aided Verification, 256-274, 2018 | 34 | 2018 |
| Solving QBF by Abstraction J Hecking-Harbusch, L Tentrup GandALF 2018 277 (EPTCS), 88-102, 2018 | 34* | 2018 |
| Clausal abstraction for DQBF L Tentrup, MN Rabe International Conference on Theory and Applications of Satisfiability …, 2019 | 32 | 2019 |
| On expansion and resolution in CEGAR based QBF solving L Tentrup International Conference on Computer Aided Verification, 475-494, 2017 | 29 | 2017 |
| CAQE and quabs: Abstraction based QBF solvers L Tentrup Journal on Satisfiability, Boolean Modelling and Computation 11 (1), 155-210, 2019 | 27 | 2019 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
