Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/erlang/0001B020,
  author       = {Peter Zeller and
                  Annette Bieniusa and
                  Carla Ferreira},
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Teaching practical realistic verification of distributed algorithms
                  in Erlang with {TLA+}},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {14--23},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085.3409009},
  doi          = {10.1145/3406085.3409009},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/0001B020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/BereczkyHT20,
  author       = {P{\'{e}}ter Bereczky and
                  D{\'{a}}niel Horp{\'{a}}csi and
                  Simon J. Thompson},
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Machine-checked natural semantics for Core Erlang: exceptions and
                  side effects},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085.3409008},
  doi          = {10.1145/3406085.3409008},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/BereczkyHT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/FacorroC20,
  author       = {Juan Facorro and
                  Natalia Chechina},
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Clojerl: the expressive power of Clojure on the {BEAM}},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {41--52},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085.3409012},
  doi          = {10.1145/3406085.3409012},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/FacorroC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Fordos20,
  author       = {Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Secure design and verification of Erlang systems},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085.3409011},
  doi          = {10.1145/3406085.3409011},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/Fordos20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/PoorTB20,
  author       = {Boldizs{\'{a}}r Po{\'{o}}r and
                  Melinda T{\'{o}}th and
                  Istv{\'{a}}n Boz{\'{o}}},
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Transformations towards clean functional code},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {24--30},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085.3409010},
  doi          = {10.1145/3406085.3409010},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/PoorTB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/erlang/2020,
  editor       = {Annette Bieniusa and
                  Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
  title        = {Proceedings of the 19th {ACM} {SIGPLAN} International Workshop on
                  Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406085},
  doi          = {10.1145/3406085},
  isbn         = {978-1-4503-8049-2},
  timestamp    = {Tue, 04 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}