Leander Tentrup

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

2020

Efficient monitoring of hyperproperties using prefix trees.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

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

Synthesis from hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Acta Informatica, 2020

Realizing ømega-regular Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup

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

2019

Symbolic reactive synthesis.

Leander Tentrup

PhD thesis, 2019

CAQE and QuAbS: Abstraction Based QBF Solvers.

Leander Tentrup

J. Satisf. Boolean Model. Comput., 2019

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

Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

CoRR, 2019

Constraint-Based Monitoring of Hyperproperties.

Christopher Hahn, Marvin Stenger, Leander Tentrup

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

Clausal Abstraction for DQBF.

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.

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah

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

Verifying Hyperliveness.

Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup

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

2018

Distributed synthesis for parameterized temporal logics.

Swen Jacobs, Leander Tentrup, Martin Zimmermann

Inf. Comput., 2018

Synthesis of Boolean Functions with Clausal Abstraction.

Markus N. Rabe, Leander Tentrup

CoRR, 2018

Solving QBF by Abstraction.

Jesko Hecking-Harbusch, Leander Tentrup

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

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

Understanding and Extending Incremental Determinization for 2QBF.

Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia

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

Synthesizing Reactive Systems from Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

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

2017

The first reactive synthesis competition (SYNTCOMP 2014).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

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

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

Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Encodings of Bounded Synthesis.

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup

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

Monitoring Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Proceedings of the Runtime Verification - 17th International Conference, 2017

On Expansion and Resolution in CEGAR Based QBF Solving.

Leander Tentrup

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

BoSy: An Experimentation Framework for Bounded Synthesis.

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

Leander Tentrup, Alexander Weinert, Martin Zimmermann

Proceedings of the Seventh International Symposium on Games, 2016

Distributed PROMPT-LTL Synthesis.

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.

Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Non-prenex QBF Solving Using Abstraction.

Leander Tentrup

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

2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Detecting Unrealizability of Distributed Fault-tolerant Systems.

Bernd Finkbeiner, Leander Tentrup

Log. Methods Comput. Sci., 2015

CAQE: A Certifying QBF Solver.

Markus N. Rabe, Leander Tentrup

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

2014

Detecting Unrealizable Specifications of Distributed Systems.

Bernd Finkbeiner, Leander Tentrup

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

Fast DQBF Refutation.

Bernd Finkbeiner, Leander Tentrup

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