default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/synt:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-1711-10636,
author = {Roderick Bloem and
Sven Schewe and
Ayrat Khalimov},
editor = {Dana Fisman and
Swen Jacobs},
title = {CTL* synthesis via {LTL} synthesis},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {4--22},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.4},
doi = {10.4204/EPTCS.260.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-10637,
author = {Bernd Finkbeiner and
Manuel Gieseking and
Jesko Hecking{-}Harbusch and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Dana Fisman and
Swen Jacobs},
title = {Symbolic vs. Bounded Synthesis for Petri Games},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {23--43},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.5},
doi = {10.4204/EPTCS.260.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-10639,
author = {Hadi Ravanbakhsh and
Sriram Sankaranarayanan},
editor = {Dana Fisman and
Swen Jacobs},
title = {A Class of Control Certificates to Ensure Reach-While-Stay for Switched
Systems},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {44--61},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.6},
doi = {10.4204/EPTCS.260.6},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-10641,
author = {Andrew Reynolds and
Cesare Tinelli},
editor = {Dana Fisman and
Swen Jacobs},
title = {SyGuS Techniques in the Core of an {SMT} Solver},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {81--96},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.8},
doi = {10.4204/EPTCS.260.8},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11438,
author = {Rajeev Alur and
Dana Fisman and
Rishabh Singh and
Armando Solar{-}Lezama},
editor = {Dana Fisman and
Swen Jacobs},
title = {SyGuS-Comp 2017: Results and Analysis},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {97--115},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.9},
doi = {10.4204/EPTCS.260.9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11438.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}
}
@inproceedings{DBLP:journals/corr/abs-1712-01103,
author = {Elizabeth Firman and
Shahar Maoz and
Jan Oliver Ringert},
editor = {Dana Fisman and
Swen Jacobs},
title = {Performance Heuristics for {GR(1)} Synthesis and Related Algorithms},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {62--80},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.7},
doi = {10.4204/EPTCS.260.7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1711-10224,
editor = {Dana Fisman and
Swen Jacobs},
title = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
year = {2017},
url = {http://arxiv.org/abs/1711.10224},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AhmadC16,
author = {Maaz Bin Safeer Ahmad and
Alvin Cheung},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Leveraging Parallel Data Processing Frameworks with Verified Lifting},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {67--83},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.7},
doi = {10.4204/EPTCS.229.7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AhmadC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlurFSS16a,
author = {Rajeev Alur and
Dana Fisman and
Rishabh Singh and
Armando Solar{-}Lezama},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {SyGuS-Comp 2016: Results and Analysis},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {178--202},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.13},
doi = {10.4204/EPTCS.229.13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurFSS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChasinsN16,
author = {Sarah E. Chasins and
Julie L. Newcomb},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Using SyGuS to Synthesize Reactive Motion Plans},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {3--20},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.3},
doi = {10.4204/EPTCS.229.3},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChasinsN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DammFR16,
author = {Werner Damm and
Bernd Finkbeiner and
Astrid Rakow},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {What You Really Need To Know About Your Neighbor},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {21--34},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.4},
doi = {10.4204/EPTCS.229.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DammFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FedyukovichB16,
author = {Grigory Fedyukovich and
Rastislav Bod{\'{\i}}k},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {55--66},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.6},
doi = {10.4204/EPTCS.229.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FedyukovichB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Jacobs016,
author = {Swen Jacobs and
Felix Klein and
Sebastian Schirmer},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {A High-Level {LTL} Synthesis Format: {TLSF} v1.1},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {112--132},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.10},
doi = {10.4204/EPTCS.229.10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jacobs016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsB16,
author = {Swen Jacobs and
Roderick Bloem},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {The Reactive Synthesis Competition: {SYNTCOMP} 2016 and Beyond},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {133--148},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.11},
doi = {10.4204/EPTCS.229.11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsB16.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/KoukoutosKK16,
author = {Manos Koukoutos and
Etienne Kneuss and
Viktor Kuncak},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {An Update on Deductive Synthesis and Repair in the Leon Tool},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {100--111},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.9},
doi = {10.4204/EPTCS.229.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoukoutosKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MaozPR16,
author = {Shahar Maoz and
Or Pistiner and
Jan Oliver Ringert},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Symbolic {BDD} and {ADD} Algorithms for Energy Games},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {35--54},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.5},
doi = {10.4204/EPTCS.229.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MaozPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RyzhykW16,
author = {Leonid Ryzhyk and
Adam Walker},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Developing a Practical Reactive Synthesis Tool: Experience and Lessons
Learned},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {84--99},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.8},
doi = {10.4204/EPTCS.229.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RyzhykW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CernyKM16,
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.202},
doi = {10.4204/EPTCS.202},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PiskacD16,
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229},
doi = {10.4204/EPTCS.229},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PiskacD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlurFSS16,
author = {Rajeev Alur and
Dana Fisman and
Rishabh Singh and
Armando Solar{-}Lezama},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Results and Analysis of SyGuS-Comp'15},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {3--26},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.3},
doi = {10.4204/EPTCS.202.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurFSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrenguierPRS16,
author = {Romain Brenguier and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Compositional Algorithms for Succinct Safety Games},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {98--111},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.7},
doi = {10.4204/EPTCS.202.7},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrenguierPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FilippidisMH16,
author = {Ioannis Filippidis and
Richard M. Murray and
Gerard J. Holzmann},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {A multi-paradigm language for reactive synthesis},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {73--97},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.6},
doi = {10.4204/EPTCS.202.6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FilippidisMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HuangM16,
author = {Xiaowei Huang and
Ron van der Meyden},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {The complexity of approximations for epistemic synthesis (extended
abstract)},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {120--137},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.9},
doi = {10.4204/EPTCS.202.9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuangM16.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}
}
@inproceedings{DBLP:journals/corr/Khalimov16,
author = {Ayrat Khalimov},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Specification Format for Reactive Synthesis Problems},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {112--119},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.8},
doi = {10.4204/EPTCS.202.8},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Khalimov16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MaozR16,
author = {Shahar Maoz and
Jan Oliver Ringert},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Synthesizing a Lego Forklift Controller in {GR(1):} {A} Case Study},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {58--72},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.5},
doi = {10.4204/EPTCS.202.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MaozR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BloemEJK14,
author = {Roderick Bloem and
R{\"{u}}diger Ehlers and
Swen Jacobs and
Robert K{\"{o}}nighofer},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {How to Handle Assumptions in Synthesis},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {34--50},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.7},
doi = {10.4204/EPTCS.157.7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BloemEJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BloemJK14a,
author = {Roderick Bloem and
Swen Jacobs and
Ayrat Khalimov},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Parameterized Synthesis Case Study: {AMBA} {AHB}},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {68--83},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.9},
doi = {10.4204/EPTCS.157.9},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemJK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BohyBR14a,
author = {Aaron Bohy and
V{\'{e}}ronique Bruy{\`{e}}re and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Symblicit algorithms for optimal strategy synthesis in monotonic Markov
decision processes},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {51--67},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.8},
doi = {10.4204/EPTCS.157.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BohyBR14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrenguierPRS14,
author = {Romain Brenguier and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {AbsSynthe: abstract synthesis from succinct safety specifications},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {100--116},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.11},
doi = {10.4204/EPTCS.157.11},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrenguierPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EhlersR14,
author = {R{\"{u}}diger Ehlers and
Vasumathi Raman},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Low-Effort Specification Debugging and Analysis},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {117--133},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.12},
doi = {10.4204/EPTCS.157.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EhlersR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GasconT14,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Ashish Tiwari},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Synthesis of a simple self-stabilizing system},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {5--16},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.5},
doi = {10.4204/EPTCS.157.5},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GasconT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JhaS14a,
author = {Susmit Jha and
Sanjit A. Seshia},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Are There Good Mistakes? {A} Theoretical Analysis of {CEGIS}},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {84--99},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.10},
doi = {10.4204/EPTCS.157.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JhaS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wiklicky14,
author = {Herbert Wiklicky},
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Program Synthesis and Linear Operator Semantics},
booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
pages = {17--33},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157.6},
doi = {10.4204/EPTCS.157.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wiklicky14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/ChatterjeeEJ14,
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157},
doi = {10.4204/EPTCS.157},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeEJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/FinkbeinerS14,
editor = {Bernd Finkbeiner and
Armando Solar{-}Lezama},
title = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg,
Russia, July 13th and July 14th, 2013},
series = {{EPTCS}},
volume = {142},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.142},
doi = {10.4204/EPTCS.142},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkbeinerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NoyesWCF14,
author = {Andrew Noyes and
Todd Warszawski and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {Bernd Finkbeiner and
Armando Solar{-}Lezama},
title = {Toward Synthesis of Network Updates},
booktitle = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg,
Russia, July 13th and July 14th, 2013},
series = {{EPTCS}},
volume = {142},
pages = {8--23},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.142.8},
doi = {10.4204/EPTCS.142.8},
timestamp = {Thu, 14 Oct 2021 09:13:55 +0200},
biburl = {https://dblp.org/rec/journals/corr/NoyesWCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-0867,
author = {R{\"{u}}diger Ehlers and
Daniela Moldovan},
editor = {Doron A. Peled and
Sven Schewe},
title = {Sparse Positional Strategies for Safety Games},
booktitle = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
pages = {1--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84.1},
doi = {10.4204/EPTCS.84.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-0868,
author = {Roopsha Samanta},
editor = {Doron A. Peled and
Sven Schewe},
title = {Towards Algorithmic Synthesis of Synchronization for Shared-Memory
Concurrent Programs},
booktitle = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
pages = {17--32},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84.2},
doi = {10.4204/EPTCS.84.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-0869,
author = {Srinivas Nedunuri and
William R. Cook and
Douglas R. Smith},
editor = {Doron A. Peled and
Sven Schewe},
title = {Theory and Techniques for Synthesizing a Family of Graph Algorithms},
booktitle = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
pages = {33--46},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84.3},
doi = {10.4204/EPTCS.84.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-1268,
author = {Roderick Bloem and
Hans{-}J{\"{u}}rgen Gamauf and
Georg Hofferek and
Bettina K{\"{o}}nighofer and
Robert K{\"{o}}nighofer},
editor = {Doron A. Peled and
Sven Schewe},
title = {Synthesizing Robust Systems with {RATSY}},
booktitle = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
pages = {47--53},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84.4},
doi = {10.4204/EPTCS.84.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1207-0554,
editor = {Doron A. Peled and
Sven Schewe},
title = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84},
doi = {10.4204/EPTCS.84},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-30 00:40 CET from data curated 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:
