Search dblp for Publications

export results for "toc:db/conf/erlang/erlang2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/erlang/AvgerinosS09,
  author       = {Thanassis Avgerinos and
                  Konstantinos Sagonas},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Cleaning up Erlang code is a dirty job but somebody's gotta do it},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596602},
  doi          = {10.1145/1596600.1596602},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/AvgerinosS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/CortesGHHPR09,
  author       = {Hugo Cort{\'{e}}s and
                  M{\'{o}}nica Garc{\'{\i}}a and
                  Jorge Hern{\'{a}}ndez and
                  Manuel Hern{\'{a}}ndez{-}Guti{\'{e}}rrez and
                  Esperanza P{\'{e}}rez{-}Cordoba and
                  Erik Ramos},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Development of a distributed system applied to teaching and learning},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {41--50},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596607},
  doi          = {10.1145/1596600.1596607},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/CortesGHHPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/EarleF09,
  author       = {Clara Benac Earle and
                  Lars{-}{\AA}ke Fredlund},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Recent improvements to the McErlang model checker},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {93--100},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596613},
  doi          = {10.1145/1596600.1596613},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/EarleF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/FeherB09,
  author       = {G{\'{a}}bor Feh{\'{e}}r and
                  Andr{\'{a}}s G. B{\'{e}}k{\'{e}}s},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {{ECT:} an object-oriented extension to Erlang},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {51--62},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596608},
  doi          = {10.1145/1596600.1596608},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/FeherB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/GrunerL09,
  author       = {Sten Gr{\"{u}}ner and
                  Thomas Lorentsen},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Teaching Erlang using robotics and player/stage},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596606},
  doi          = {10.1145/1596600.1596606},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/GrunerL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Lovei09,
  author       = {L{\'{a}}szl{\'{o}} L{\"{o}}vei},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Automated module interface upgrade},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {11--22},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596603},
  doi          = {10.1145/1596600.1596603},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/Lovei09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Nystrom09,
  author       = {Jan Henry Nystr{\"{o}}m},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Automatic assessment of failure recovery in Erlang applications},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596604},
  doi          = {10.1145/1596600.1596604},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/Nystrom09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/PaladiA09,
  author       = {Nicolae Paladi and
                  Thomas Arts},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Model based testing of data constraints: testing the business logic
                  of a Mnesia application with Quviq QuickCheck},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596611},
  doi          = {10.1145/1596600.1596611},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/PaladiA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/ParisA09,
  author       = {Javier Par{\'{\i}}s and
                  Thomas Arts},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Automatic testing of {TCP/IP} implementations using QuickCheck},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {83--92},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596612},
  doi          = {10.1145/1596600.1596612},
  timestamp    = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/ParisA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/Svensson09,
  author       = {Hans Svensson},
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Implementing an LTL-to-B{\"{u}}chi translator in Erlang: a protest
                  experience report},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  pages        = {63--70},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596600.1596610},
  doi          = {10.1145/1596600.1596610},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/Svensson09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/erlang/2009,
  editor       = {Clara Benac Earle and
                  Simon J. Thompson},
  title        = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
                  Scotland, UK, September 5, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  isbn         = {978-1-60558-507-9},
  timestamp    = {Tue, 22 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/erlang/2009.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.