Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Leander Tentrup
@article{DBLP:journals/corr/abs-2206-00251,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {CoRR},
volume = {abs/2206.00251},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00251},
doi = {10.48550/ARXIV.2206.00251},
eprinttype = {arXiv},
eprint = {2206.00251},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07109,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {Efficient Monitoring of Hyperproperties using Prefix Trees},
journal = {CoRR},
volume = {abs/2101.07109},
year = {2021},
url = {https://arxiv.org/abs/2101.07109},
eprinttype = {arXiv},
eprint = {2101.07109},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07161,
author = {Bernd Finkbeiner and
Christopher Hahn and
Jana Hofmann and
Leander Tentrup},
title = {Realizing Omega-regular Hyperproperties},
journal = {CoRR},
volume = {abs/2101.07161},
year = {2021},
url = {https://arxiv.org/abs/2101.07161},
eprinttype = {arXiv},
eprint = {2101.07161},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FinkbeinerHLST20,
author = {Bernd Finkbeiner and
Christopher Hahn and
Philip Lukert and
Marvin Stenger and
Leander Tentrup},
title = {Synthesis from hyperproperties},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {137--163},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00358-2},
doi = {10.1007/S00236-019-00358-2},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FinkbeinerHLST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FinkbeinerHST20,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {Efficient monitoring of hyperproperties using prefix trees},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {729--740},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00552-5},
doi = {10.1007/S10009-020-00552-5},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FinkbeinerHST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkbeinerHHT20,
author = {Bernd Finkbeiner and
Christopher Hahn and
Jana Hofmann and
Leander Tentrup},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Realizing {\o}mega-regular Hyperproperties},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {40--63},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_4},
doi = {10.1007/978-3-030-53291-8\_4},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/FinkbeinerHHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07425,
author = {Norine Coenen and
Bernd Finkbeiner and
C{\'{e}}sar S{\'{a}}nchez and
Leander Tentrup},
title = {Verifying Hyperliveness},
journal = {CoRR},
volume = {abs/2005.07425},
year = {2020},
url = {https://arxiv.org/abs/2005.07425},
eprinttype = {arXiv},
eprint = {2005.07425},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Tentrup19,
author = {Leander Tentrup},
title = {Symbolic reactive synthesis},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2019},
url = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28497},
urn = {urn:nbn:de:bsz:291--ds-299836},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Tentrup19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FinkbeinerHST19,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {Monitoring hyperproperties},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {336--363},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00334-z},
doi = {10.1007/S10703-019-00334-Z},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/FinkbeinerHST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/Tentrup19,
author = {Leander Tentrup},
title = {{CAQE} and QuAbS: Abstraction Based {QBF} Solvers},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {155--210},
year = {2019},
url = {https://doi.org/10.3233/SAT190121},
doi = {10.3233/SAT190121},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/Tentrup19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CoenenFST19,
author = {Norine Coenen and
Bernd Finkbeiner and
C{\'{e}}sar S{\'{a}}nchez and
Leander Tentrup},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Verifying Hyperliveness},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {121--139},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_7},
doi = {10.1007/978-3-030-25540-4\_7},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/CoenenFST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FaymonvilleFSSS19,
author = {Peter Faymonville and
Bernd Finkbeiner and
Malte Schledjewski and
Maximilian Schwenger and
Marvin Stenger and
Leander Tentrup and
Hazem Torfah},
editor = {Isil Dillig and
Serdar Tasiran},
title = {StreamLAB: Stream-based Monitoring of Cyber-Physical Systems},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {421--431},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_24},
doi = {10.1007/978-3-030-25540-4\_24},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FaymonvilleFSSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/TentrupR19,
author = {Leander Tentrup and
Markus N. Rabe},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {Clausal Abstraction for {DQBF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11628},
pages = {388--405},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_27},
doi = {10.1007/978-3-030-24258-9\_27},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/TentrupR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnST19,
author = {Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Constraint-Based Monitoring of Hyperproperties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {115--131},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_7},
doi = {10.1007/978-3-030-17465-1\_7},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HahnST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07736,
author = {Swen Jacobs and
Roderick Bloem and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Philipp J. Meyer and
Thibaud Michaud and
Mouhammad Sakr and
Salomon Sickert and
Leander Tentrup and
Adam Walker},
title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
Participants {\&} Results},
journal = {CoRR},
volume = {abs/1904.07736},
year = {2019},
url = {http://arxiv.org/abs/1904.07736},
eprinttype = {arXiv},
eprint = {1904.07736},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13411,
author = {Markus N. Rabe and
Leander Tentrup and
Cameron Rasmussen and
Sanjit A. Seshia},
title = {Understanding and Extending Incremental Determinization for 2QBF},
journal = {CoRR},
volume = {abs/1905.13411},
year = {2019},
url = {http://arxiv.org/abs/1905.13411},
eprinttype = {arXiv},
eprint = {1905.13411},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-13411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13511,
author = {Bernd Finkbeiner and
Christopher Hahn and
Philip Lukert and
Marvin Stenger and
Leander Tentrup},
title = {Synthesizing Reactive Systems from Hyperproperties},
journal = {CoRR},
volume = {abs/1905.13511},
year = {2019},
url = {http://arxiv.org/abs/1905.13511},
eprinttype = {arXiv},
eprint = {1905.13511},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-13511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13517,
author = {Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {Constraint-Based Monitoring of Hyperproperties},
journal = {CoRR},
volume = {abs/1905.13517},
year = {2019},
url = {http://arxiv.org/abs/1905.13517},
eprinttype = {arXiv},
eprint = {1905.13517},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-13517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00798,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {RVHyper: {A} Runtime Verification Tool for Temporal Hyperproperties},
journal = {CoRR},
volume = {abs/1906.00798},
year = {2019},
url = {http://arxiv.org/abs/1906.00798},
eprinttype = {arXiv},
eprint = {1906.00798},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JacobsTZ18,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
title = {Distributed synthesis for parameterized temporal logics},
journal = {Inf. Comput.},
volume = {262},
pages = {311--328},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.009},
doi = {10.1016/J.IC.2018.09.009},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JacobsTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RabeTRS18,
author = {Markus N. Rabe and
Leander Tentrup and
Cameron Rasmussen and
Sanjit A. Seshia},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Understanding and Extending Incremental Determinization for 2QBF},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {256--274},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_17},
doi = {10.1007/978-3-319-96142-2\_17},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/RabeTRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkbeinerHLST18,
author = {Bernd Finkbeiner and
Christopher Hahn and
Philip Lukert and
Marvin Stenger and
Leander Tentrup},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Synthesizing Reactive Systems from Hyperproperties},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {289--306},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_16},
doi = {10.1007/978-3-319-96145-3\_16},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/FinkbeinerHLST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FinkbeinerHST18,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
editor = {Dirk Beyer and
Marieke Huisman},
title = {RVHyper: {A} Runtime Verification Tool for Temporal Hyperproperties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {194--200},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_11},
doi = {10.1007/978-3-319-89963-3\_11},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerHST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tentrup16,
author = {Jesko Hecking{-}Harbusch and
Leander Tentrup},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Solving {QBF} by Abstraction},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {88--102},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.7},
doi = {10.4204/EPTCS.277.7},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/Tentrup16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09559,
author = {Leander Tentrup},
title = {On Expansion and Resolution in {CEGAR} Based {QBF} Solving},
journal = {CoRR},
volume = {abs/1803.09559},
year = {2018},
url = {http://arxiv.org/abs/1803.09559},
eprinttype = {arXiv},
eprint = {1803.09559},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09566,
author = {Peter Faymonville and
Bernd Finkbeiner and
Leander Tentrup},
title = {BoSy: An Experimentation Framework for Bounded Synthesis},
journal = {CoRR},
volume = {abs/1803.09566},
year = {2018},
url = {http://arxiv.org/abs/1803.09566},
eprinttype = {arXiv},
eprint = {1803.09566},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09570,
author = {Peter Faymonville and
Bernd Finkbeiner and
Markus N. Rabe and
Leander Tentrup},
title = {Encodings of Bounded Synthesis},
journal = {CoRR},
volume = {abs/1803.09570},
year = {2018},
url = {http://arxiv.org/abs/1803.09570},
eprinttype = {arXiv},
eprint = {1803.09570},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00758,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {Monitoring Hyperproperties},
journal = {CoRR},
volume = {abs/1807.00758},
year = {2018},
url = {http://arxiv.org/abs/1807.00758},
eprinttype = {arXiv},
eprint = {1807.00758},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-08759,
author = {Markus N. Rabe and
Leander Tentrup},
title = {Synthesis of Boolean Functions with Clausal Abstraction},
journal = {CoRR},
volume = {abs/1808.08759},
year = {2018},
url = {http://arxiv.org/abs/1808.08759},
eprinttype = {arXiv},
eprint = {1808.08759},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08759.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JacobsBBEHKPRRS17,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The first reactive synthesis competition {(SYNTCOMP} 2014)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {3},
pages = {367--390},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0416-3},
doi = {10.1007/S10009-016-0416-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/JacobsBBEHKPRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FaymonvilleFT17,
author = {Peter Faymonville and
Bernd Finkbeiner and
Leander Tentrup},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {BoSy: An Experimentation Framework for Bounded Synthesis},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {325--332},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_17},
doi = {10.1007/978-3-319-63390-9\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FaymonvilleFT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Tentrup17,
author = {Leander Tentrup},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {On Expansion and Resolution in {CEGAR} Based {QBF} Solving},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {475--494},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_25},
doi = {10.1007/978-3-319-63390-9\_25},
timestamp = {Fri, 14 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Tentrup17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FinkbeinerHST17,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {Monitoring Hyperproperties},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {190--207},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_12},
doi = {10.1007/978-3-319-67531-2\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/FinkbeinerHST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FaymonvilleFRT17,
author = {Peter Faymonville and
Bernd Finkbeiner and
Markus N. Rabe and
Leander Tentrup},
editor = {Axel Legay and
Tiziana Margaria},
title = {Encodings of Bounded Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {354--370},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_20},
doi = {10.1007/978-3-662-54577-5\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FaymonvilleFRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11439,
author = {Swen Jacobs and
Nicolas Basset and
Roderick Bloem and
Romain Brenguier and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Thibaud Michaud and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur and
Leander Tentrup},
editor = {Dana Fisman and
Swen Jacobs},
title = {The 4th Reactive Synthesis Competition {(SYNTCOMP} 2017): Benchmarks,
Participants {\&} Results},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {116--143},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.10},
doi = {10.4204/EPTCS.260.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsT017,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
title = {Distributed Synthesis for Parameterized Temporal Logics},
journal = {CoRR},
volume = {abs/1705.08112},
year = {2017},
url = {http://arxiv.org/abs/1705.08112},
eprinttype = {arXiv},
eprint = {1705.08112},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsT017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Tentrup16,
author = {Leander Tentrup},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Non-prenex {QBF} Solving Using Abstraction},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {393--401},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_24},
doi = {10.1007/978-3-319-40970-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/Tentrup16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBK0KKLNP16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Ayrat Khalimov and
Felix Klein and
Robert K{\"{o}}nighofer and
Jens Kreber and
Alexander Legg and
Nina Narodytska and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {The 3rd Reactive Synthesis Competition {(SYNTCOMP} 2016): Benchmarks,
Participants {\&} Results},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {149--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.12},
doi = {10.4204/EPTCS.229.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsTZ15,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Distributed {PROMPT-LTL} Synthesis},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {228--241},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.16},
doi = {10.4204/EPTCS.226.16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TentrupWZ15,
author = {Leander Tentrup and
Alexander Weinert and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential
Time},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {302--315},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.21},
doi = {10.4204/EPTCS.226.21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TentrupWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkbeinerT15,
author = {Bernd Finkbeiner and
Leander Tentrup},
title = {Detecting Unrealizability of Distributed Fault-tolerant Systems},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:12)2015},
doi = {10.2168/LMCS-11(3:12)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkbeinerT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RabeT15,
author = {Markus N. Rabe and
Leander Tentrup},
editor = {Roope Kaivola and
Thomas Wahl},
title = {{CAQE:} {A} Certifying {QBF} Solver},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {136--143},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542263},
doi = {10.1109/FMCAD.2015.7542263},
timestamp = {Tue, 30 May 2023 17:04:45 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RabeT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBKPRRSST16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {27--57},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.4},
doi = {10.4204/EPTCS.202.4},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsBBEHKPRRS15,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)},
journal = {CoRR},
volume = {abs/1506.08726},
year = {2015},
url = {http://arxiv.org/abs/1506.08726},
eprinttype = {arXiv},
eprint = {1506.08726},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBEHKPRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FinkbeinerT14,
author = {Bernd Finkbeiner and
Leander Tentrup},
editor = {Carsten Sinz and
Uwe Egly},
title = {Fast {DQBF} Refutation},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {243--251},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_19},
doi = {10.1007/978-3-319-09284-3\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/FinkbeinerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FinkbeinerT14,
author = {Bernd Finkbeiner and
Leander Tentrup},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Detecting Unrealizable Specifications of Distributed Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {78--92},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_6},
doi = {10.1007/978-3-642-54862-8\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
