Leander Tentrup (Ph.D. Student)
Non-prenex QBF Solving Using AbstractionLeander Tentrup
19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
CAQE: A Certifying QBF Solver.Markus N. Rabe and Leander Tentrup.
15th International Conference on Formal Methods in Computer-aided Design (FMCAD 2015)
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).
- bunsat is a DQBF solver based on the bounded unsatisfiability method.
- realizer is a simple safety game solver.
- CAQE is a certifying solver for quantified Boolean formulas (QBF) based on the CEGAR-based clausal abstraction algorithm.
- QuAbS is a certifying solver for quantified Boolean formulas (QBF) based on a CEGAR-based abstraction algorithm.
|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.|