Leander Tentrup

Orcid: 0000-0002-6150-2982

According to our database¹, Leander Tentrup authored at least 32 papers between 2014 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

[BibT_eX]

[DOI]

CoRR, 2022

2020

Efficient monitoring of hyperproperties using prefix trees.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Synthesis from hyperproperties.

[BibT_eX]

[DOI]

Acta Informatica, 2020

Realizing ømega-regular Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Symbolic reactive synthesis.

[BibT_eX]

[DOI]

Leander Tentrup

PhD thesis, 2019

CAQE and QuAbS: Abstraction Based QBF Solvers.

[BibT_eX]

[DOI]

Leander Tentrup

J. Satisf. Boolean Model. Comput., 2019

Monitoring hyperproperties.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

[BibT_eX]

[DOI]

CoRR, 2019

Constraint-Based Monitoring of Hyperproperties.

[BibT_eX]

[DOI]

Christopher Hahn

Marvin Stenger

Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Clausal Abstraction for DQBF.

[BibT_eX]

[DOI]

Leander Tentrup

Markus N. Rabe

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Verifying Hyperliveness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Distributed synthesis for parameterized temporal logics.

[BibT_eX]

[DOI]

Swen Jacobs

Leander Tentrup

Martin Zimmermann

Inf. Comput., 2018

Synthesis of Boolean Functions with Clausal Abstraction.

[BibT_eX]

[DOI]

Markus N. Rabe

Leander Tentrup

CoRR, 2018

Solving QBF by Abstraction.

[BibT_eX]

[DOI]

Jesko Hecking-Harbusch

Leander Tentrup

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Understanding and Extending Incremental Determinization for 2QBF.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Synthesizing Reactive Systems from Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

The first reactive synthesis competition (SYNTCOMP 2014).

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Encodings of Bounded Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

On Expansion and Resolution in CEGAR Based QBF Solving.

[BibT_eX]

[DOI]

Leander Tentrup

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

BoSy: An Experimentation Framework for Bounded Synthesis.

[BibT_eX]

[DOI]

Peter Faymonville

Bernd Finkbeiner

Leander Tentrup

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

[BibT_eX]

[DOI]

Leander Tentrup

Alexander Weinert

Martin Zimmermann

Proceedings of the Seventh International Symposium on Games, 2016

Distributed PROMPT-LTL Synthesis.

[BibT_eX]

[DOI]

Swen Jacobs

Leander Tentrup

Martin Zimmermann

Proceedings of the Seventh International Symposium on Games, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Non-prenex QBF Solving Using Abstraction.

[BibT_eX]

[DOI]

Leander Tentrup

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015).

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Detecting Unrealizability of Distributed Fault-tolerant Systems.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Leander Tentrup

Log. Methods Comput. Sci., 2015

CAQE: A Certifying QBF Solver.

[BibT_eX]

[DOI]

Markus N. Rabe

Leander Tentrup

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Detecting Unrealizable Specifications of Distributed Systems.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Fast DQBF Refutation.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Leander Tentrup

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Leander Tentrup

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...