Leander Tentrup
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
5
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | Realizing mega-regular Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup |
| 2019 | CAV | Verifying Hyperliveness. | Norine Coenen, Bernd Finkbeiner, Csar Snchez, Leander Tentrup |
| 2019 | CAV | StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. | Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah |
| 2019 | SAT | Clausal Abstraction for DQBF. | Leander Tentrup, Markus N. Rabe |
| 2019 | TACAS | Constraint-Based Monitoring of Hyperproperties. | Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2018 | CAV | Synthesizing Reactive Systems from Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup |
| 2018 | CAV | Understanding and Extending Incremental Determinization for 2QBF. | Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia |
| 2018 | TACAS | RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2017 | CAV | BoSy: An Experimentation Framework for Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Leander Tentrup |
| 2017 | CAV | On Expansion and Resolution in CEGAR Based QBF Solving. | Leander Tentrup |
| 2017 | RV | Monitoring Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2017 | TACAS | Encodings of Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup |
| 2016 | SAT | Non-prenex QBF Solving Using Abstraction. | Leander Tentrup |
| 2015 | FMCAD | CAQE: A Certifying QBF Solver. | Markus N. Rabe, Leander Tentrup |
| 2014 | SAT | Fast DQBF Refutation. | Bernd Finkbeiner, Leander Tentrup |
| 2014 | TACAS | Detecting Unrealizable Specifications of Distributed Systems. | Bernd Finkbeiner, Leander Tentrup |