| CAQE: A certifying QBF solver MN Rabe, L Tentrup Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015 | 128 | 2015 |
| Monitoring hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017 | 74 | 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 | 74 | 2017 |
| BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 73 | 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 | 64 | 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 | 58 | 2017 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 54 | 2019 |
| 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 | 47 | 2017 |
| Fast DQBF Refutation B Finkbeiner, L Tentrup International Conference on Theory and Applications of Satisfiability Testing, 2014 | 43 | 2014 |
| Non-prenex QBF solving using abstraction L Tentrup Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 41 | 2016 |
| 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 | 39 | 2018 |
| 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 | 35 | 2018 |
| Constraint-based monitoring of hyperproperties C Hahn, M Stenger, L Tentrup Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 29 | 2019 |
| 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 | 27 | 2018 |
| Clausal abstraction for DQBF L Tentrup, MN Rabe Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 25 | 2019 |
| On expansion and resolution in CEGAR based QBF solving L Tentrup Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 24 | 2017 |
| Synthesis from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup Acta Informatica 57 (1-2), 137-163, 2020 | 22 | 2020 |
| 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 | 22 | 2016 |
| Solving QBF by Abstraction J Hecking-Harbusch, L Tentrup GandALF 2018 277 (EPTCS), 88-102, 2018 | 21* | 2018 |
| CAQE and quabs: Abstraction based QBF solvers L Tentrup Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 155-210, 2019 | 19 | 2019 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mailová adresa ověřena na: cispa.de
