CAQE: A certifying QBF solver MN Rabe, L Tentrup Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015 | 155 | 2015 |
Monitoring hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup International Conference on Runtime Verification, 190-207, 2017 | 98 | 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 | 93 | 2019 |
BoSy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 88 | 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 | 76 | 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 | 69 | 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 | 51 | 2018 |
Non-prenex QBF solving using abstraction L Tentrup International Conference on Theory and Applications of Satisfiability …, 2016 | 49 | 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 |
Constraint-based monitoring of hyperproperties C Hahn, M Stenger, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2019 | 37 | 2019 |
Synthesis from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup Acta informatica 57 (1), 137-163, 2020 | 36 | 2020 |
Solving QBF by Abstraction J Hecking-Harbusch, L Tentrup GandALF 2018 277 (EPTCS), 88-102, 2018 | 31* | 2018 |
Clausal abstraction for DQBF L Tentrup, MN Rabe Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 29 | 2019 |
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 |