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.3 Room: 532

About me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.

Publications

Non-prenex QBF Solving Using Abstraction

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

Solving QBF by Abstraction

Leander Tentrup
arXiv:1604.06752
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.