Search dblp for Publications

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

 download as .bib file

@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}
}
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.