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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Leander Tentrup