Folgen
Leander Tentrup
Leander Tentrup
Saarland University, Saarland Informatics Campus
Bestätigte E-Mail-Adresse bei cs.uni-saarland.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
CAQE: A certifying QBF solver
MN Rabe, L Tentrup
Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015
1422015
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Conference on Runtime Verification, 190-207, 2017
832017
BoSy: An experimentation framework for bounded synthesis
P Faymonville, B Finkbeiner, L Tentrup
International Conference on Computer Aided Verification, 325-332, 2017
812017
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
782019
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
772017
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
662017
Verifying hyperliveness
N Coenen, B Finkbeiner, C Sánchez, L Tentrup
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
632019
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
532017
Non-prenex QBF solving using abstraction
L Tentrup
International Conference on Theory and Applications of Satisfiability …, 2016
462016
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
432018
Fast DQBF Refutation
B Finkbeiner, L Tentrup
International Conference on Theory and Applications of Satisfiability Testing, 2014
432014
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
382018
Constraint-based monitoring of hyperproperties
C Hahn, M Stenger, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2019
322019
Synthesis from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
Acta informatica 57 (1), 137-163, 2020
312020
Clausal abstraction for DQBF
L Tentrup, MN Rabe
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
292019
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
282018
On expansion and resolution in CEGAR based QBF solving
L Tentrup
International Conference on Computer Aided Verification, 475-494, 2017
282017
Solving QBF by Abstraction
J Hecking-Harbusch, L Tentrup
GandALF 2018 277 (EPTCS), 88-102, 2018
25*2018
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
252016
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
212022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20