Leander Tentrup
From MaRDI portal
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 |
| Understanding and extending incremental determinization for 2QBF Computer Aided Verification | 2023-05-05 | Paper |
| On expansion and resolution in CEGAR based QBF solving (available as arXiv preprint) | 2022-08-12 | Paper |
| Solving QBF by abstraction (available as arXiv preprint) | 2021-12-17 | Paper |
| Solving QBF by abstraction | 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 (available as arXiv preprint) | 2021-12-07 | Paper |
| Distributed PROMPT-LTL synthesis | 2021-12-07 | Paper |
| Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time (available as arXiv preprint) | 2021-12-07 | Paper |
| Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time | 2021-12-07 | Paper |
| Realizing \(\omega\)-regular hyperproperties (available as arXiv preprint) | 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 (available as arXiv preprint) | 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
