Leander Tentrup

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying hyperliveness Computer Aided Verification	2024-02-16	Paper
Constraint-based monitoring of hyperproperties Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Synthesizing reactive systems from hyperproperties Computer Aided Verification	2023-05-26	Paper
Understanding and extending incremental determinization for 2QBF Computer Aided Verification	2023-05-05	Paper
On expansion and resolution in CEGAR based QBF solving	2022-08-12	Paper
scientific article; zbMATH DE number 7447736 (Why is no real title available?)	2021-12-17	Paper
CAQE and QuAbS: Abstraction Based QBF Solvers Journal on Satisfiability, Boolean Modeling and Computation	2021-12-09	Paper
Distributed PROMPT-LTL synthesis	2021-12-07	Paper
Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time	2021-12-07	Paper
Realizing \(\omega\)-regular hyperproperties	2021-02-09	Paper
Encodings of bounded synthesis Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Clausal abstraction for DQBF	2020-05-20	Paper
Synthesis from hyperproperties Acta Informatica	2020-03-06	Paper
Monitoring hyperproperties Formal Methods in System Design	2019-11-25	Paper
Distributed synthesis for parameterized temporal logics Information and Computation	2018-09-27	Paper
Non-prenex QBF solving using abstraction Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Detecting unrealizability of distributed fault-tolerant systems Logical Methods in Computer Science	2015-10-29	Paper
Fast DQBF Refutation Lecture Notes in Computer Science	2014-09-26	Paper

Research outcomes over time

This page was built for person: Leander Tentrup