Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs229.bht:"

 download as .bib file

@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/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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.