Leander Tentrup

Available identifiers

zbMath Open tentrup.leanderMaRDI QIDQ1784964

List of research outcomes

Publication	Date of Publication	Type
Verifying hyperliveness	2024-02-16	Paper
Constraint-based monitoring of hyperproperties	2023-11-24	Paper
Synthesizing reactive systems from hyperproperties	2023-05-26	Paper
Understanding and extending incremental determinization for 2QBF	2023-05-05	Paper
On expansion and resolution in CEGAR based QBF solving	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3384880	2021-12-17	Paper
CAQE and QuAbS: Abstraction Based QBF Solvers	2021-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5015281	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5015286	2021-12-07	Paper
Realizing \(\omega\)-regular hyperproperties	2021-02-09	Paper
Encodings of Bounded Synthesis	2020-08-05	Paper
Clausal abstraction for DQBF	2020-05-20	Paper
Synthesis from hyperproperties	2020-03-06	Paper
Monitoring hyperproperties	2019-11-25	Paper
Distributed synthesis for parameterized temporal logics	2018-09-27	Paper
Non-prenex QBF Solving Using Abstraction	2016-09-05	Paper
Detecting Unrealizability of Distributed Fault-tolerant Systems	2015-10-29	Paper
Fast DQBF Refutation	2014-09-26	Paper

Research outcomes over time

This page was built for person: Leander Tentrup