Leander Tentrup

Leander Tentrup

Contact

Leander Tentrup (Ph.D. Student)

Reactive Systems Group
Universit├Ąt des Saarlandes
Phone: +49 681 302 5476
eMail: tentrup at cs.uni-saarland.de
Building: E 1.1 Room: 1.16.2

About me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.
My research interests include the theory and practical aspects of reactive synthesis, as well as satisfiability solver for quantified domains.
My solvers won the reactive synthesis competition and the Competitive evaluation of QBF solvers.

Publications

[JTZ18]

Distributed synthesis for parameterized temporal logics

Swen Jacobs, Leander Tentrup, Martin Zimmermann
Information and Computation, Volume 262, Part 2
[TR18]

Synthesis of Boolean Functions with Clausal Abstraction

Markus N. Rabe, Leander Tentrup
arXiv preprint

Solving QBF by Abstraction

Jesko Hecking-Harbusch, Leander Tentrup
9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
Implementation

Synthesizing Reactive Systems from Hyperproperties

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
30th International Conference on Computer Aided Verification (CAV 2018)

Understanding and Extending Incremental Determinization for 2QBF

Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
30th International Conference on Computer Aided Verification (CAV 2018)

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018)

Monitoring Hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup
17th International Conference on Runtime Verification (RV 2017)

On Expansion and Resolution in CEGAR Based QBF Solving

Leander Tentrup
29th International Conference on Computer Aided Verification (CAV 2017)
Implementation

BoSy: An Experimentation Framework for Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, and Leander Tentrup
29th International Conference on Computer Aided Verification (CAV 2017)
Implementation

Encodings of Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, and Leander Tentrup
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)
Implementation

Distributed PROMPT-LTL Synthesis

Swen Jacobs, Leander Tentrup, and Martin Zimmermann
7th International Symposium on Games, Automata, and Formal Verification (GandALF 2016)

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

Leander Tentrup, Alexander Weinert, and Martin Zimmermann
7th International Symposium on Games, Automata, and Formal Verification (GandALF 2016)

Non-prenex QBF Solving Using Abstraction

Leander Tentrup
19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
Implementation

CAQE: A Certifying QBF Solver

Markus N. Rabe and Leander Tentrup
15th International Conference on Formal Methods in Computer-aided Design (FMCAD 2015)
Implementation

Detecting Unrealizability of Distributed Fault-tolerant Systems

Bernd Finkbeiner and Leander Tentrup
LMCS Special Issue.

Fast DQBF Refutation (full version)

Bernd Finkbeiner and Leander Tentrup
AVACS Technical Report No. 97.

Fast DQBF Refutation

Bernd Finkbeiner and Leander Tentrup
17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014).

Detecting Unrealizable Specifications of Distributed Systems

Bernd Finkbeiner and Leander Tentrup
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014).

Tools

Teaching

Summer 2015 Assistant for Recursion Theory.
Summer 2014 Assistant for Embedded Systems.
Summer 2014 Seminar Advisor for Advanced Topics in Infinite Games
Winter 2013/14 Proseminar Advisor Time Machine.
Summer 2013 Assistant for Verification.
Summer 2012 Student Teaching Assistant for Concurrent Programming at the Dependable Systems Chair.
Winter 2011/12 Student Teaching Assistant for Basics of Algorithms and Data Structures at the MPI Informatik.
Summer 2011 Student Teaching Assistant for Programming 2 at the Compiler Design Lab.
Winter 2010/11 Student Teaching Assistant for Programming 1 at the Programming Systems Lab.
Winter 2010/11 Student Teaching Assistant for System Architecture at the Institute for Computer Architecture and Parallel Computing Lab.