Leander Tentrup

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 39

Top Topics

Quantified Boolean Formulae

International Competition

Reactive Systems

Top Venues

Publications

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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing Omega-regular Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing ømega-regular Hyperproperties. CAV (2) (2020)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesis from hyperproperties. Acta Informatica 57 (1-2) (2020)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Verifying Hyperliveness. CoRR (2020)
Christopher Hahn, Marvin Stenger, Leander Tentrup
Constraint-Based Monitoring of Hyperproperties. CoRR (2019)
Leander Tentrup, Markus N. Rabe
Clausal Abstraction for DQBF. SAT (2019)
Leander Tentrup
CAQE and QuAbS: Abstraction Based QBF Solvers. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR (2019)
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Understanding and Extending Incremental Determinization for 2QBF. CoRR (2019)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Verifying Hyperliveness. CAV (1) (2019)
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
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Christopher Hahn, Marvin Stenger, Leander Tentrup
Constraint-Based Monitoring of Hyperproperties. TACAS (2) (2019)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring hyperproperties. Formal Methods Syst. Des. 54 (3) (2019)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) (2019)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CoRR (2019)
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
BoSy: An Experimentation Framework for Bounded Synthesis. CoRR (2018)
Markus N. Rabe, Leander Tentrup
Synthesis of Boolean Functions with Clausal Abstraction. CoRR (2018)
Swen Jacobs, Leander Tentrup, Martin Zimmermann
Distributed synthesis for parameterized temporal logics. Inf. Comput. 262 (2018)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CAV (1) (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring Hyperproperties. CoRR (2018)
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Understanding and Extending Incremental Determinization for 2QBF. CAV (2) (2018)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Encodings of Bounded Synthesis. CoRR (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) (2018)
Jesko Hecking-Harbusch, Leander Tentrup
Solving QBF by Abstraction. GandALF (2018)
Leander Tentrup
On Expansion and Resolution in CEGAR Based QBF Solving. CoRR (2018)
Swen Jacobs, Leander Tentrup, Martin Zimmermann
Distributed Synthesis for Parameterized Temporal Logics. CoRR (2017)
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
BoSy: An Experimentation Framework for Bounded Synthesis. CAV (2) (2017)
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Encodings of Bounded Synthesis. TACAS (1) (2017)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring Hyperproperties. RV (2017)
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
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Leander Tentrup
On Expansion and Resolution in CEGAR Based QBF Solving. CAV (2) (2017)
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
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
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
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Leander Tentrup, Alexander Weinert, Martin Zimmermann
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time GandALF (2016)
Swen Jacobs, Leander Tentrup, Martin Zimmermann
Distributed PROMPT-LTL Synthesis. GandALF (2016)
Leander Tentrup
Non-prenex QBF Solving Using Abstraction. SAT (2016)
Markus N. Rabe, Leander Tentrup
CAQE: A Certifying QBF Solver. FMCAD (2015)
Bernd Finkbeiner, Leander Tentrup
Detecting Unrealizability of Distributed Fault-tolerant Systems. Log. Methods Comput. Sci. 11 (3) (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
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
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
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR (2015)
Bernd Finkbeiner, Leander Tentrup
Fast DQBF Refutation. SAT (2014)
Bernd Finkbeiner, Leander Tentrup
Detecting Unrealizable Specifications of Distributed Systems. TACAS (2014)