@inproceedings{BENFRED2018,
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az} and
                  Clara Benac Earle and Lars{-}{\AA}ke Fredlund},
  title = {Pitfalls of Jason Concurrency},
  booktitle = {6th International Workshop on Engineering Multi-Agent Systems EMAS 2018},
  editor = {},
  publisher = {Springer},
  volume = {},
  year = {2018},
  note = {To be published},
  pages = {}
}

@inbook{MarinnoAlborodo2018:CPA2015,
  editor = {Kevin Chalmers and Jan B\ae~kgaard Pedersen and Frederick R. M.
              Barnes and Jan F. Broenink and Ruth Ivimey-Cook and Adam T. Sampson and
              Peter H. Welch and Kenneth Skovhede and Brian Vinter},
  title = {Communicating Process Architectures 2015 \& 2016},
  chapter = {A Model-driven Methodology for Generating and
                  Verifying CSP-based {J}ava Code},
  publisher = {IOS Press},
  year = {2018},
  address = {Amsterdam, The Netherlands},
  author = {Julio Mari{\~{n}}o and Ra\'ul N N Alborodo},
  pages = {87-110},
  tipoactividad = {Capitulos de libro},
  internacional = {yes},
  doi = {10.3233/978-1-61499-886-0-87},
  isbn = {978-1-61499-885-3}
}

@comment{{Al final apareció en 2018}}

@inproceedings{PROLE2018:jsongen,
  author = {Ignacio Ballesteros and
                  Luis Eduardo Bueso de Barrio and
		  Lars-{\AA}ke Fredlund and
		  Julio Mariño},
  title = {Testing JSON Web Services Using JsonGen},
  optcrossref = {},
  optkey = {},
  booktitle = {Jornadas Españolas de Programación y Lenguajes (PROLE2018)},
  year = {2018},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optpages = {},
  optmonth = {},
  optaddress = {},
  organization = {SISTEDES},
  publisher = {Universidad de Sevilla},
  url = {https://biblioteca.sistedes.es/submissions/descargas/2018/PROLE/2018-PROLE-025.pdf},
  optnote = {},
  optannote = {}
}

@inproceedings{Halim_Susana_India,
  author = {Halim Deedar and Susana Mu{\~{n}}oz-Hern{\'{a}}ndez},
  booktitle = {The Third International Conference on Emerging Trends in
                  Electrical, Communication and Information
                  Technologies},
  title = {Extending a flexible searching tool for multiple data-base
                  formats},
  address = {Anantapur, Andhra Pradesh, India},
  note = {Best paper award. To be published in Lecture Notes in
                  Electrical Engineering (Springer).},
  year = {2018},
  month = {December}
}

@phdthesis{2018:AFD:PHD,
  tipoactividad = {Tesis doctorales le{\'{i}}das},
  internacional = {yes},
  calificacion = {Sobresaliente CUM LAUDE},
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az}},
  title = {eJason: a Framework for Distributed and Fault-tolerant Multi-agent Systems},
  school = {Escuela T{\'{e}}cnica Superior de Ingenieros Inform{\'{a}}ticos, Universidad
                  Polit{\'{e}}cnica de Madrid},
  year = {2018},
  url = {},
  pdf = {},
  note = {},
  abstract = {}
}

@article{DBLP:journals/corr/abs-1808-07937,
  author = {Lars{-}{\AA}ke Fredlund and
               Julio Mari{\~{n}}o and
               Sergio P{\'{e}}rez and
               Salvador Tamarit},
  title = {Runtime verification in Erlang by using contracts},
  journal = {CoRR},
  volume = {abs/1808.07937},
  year = {2018},
  url = {http://arxiv.org/abs/1808.07937},
  archiveprefix = {arXiv},
  eprint = {1808.07937},
  timestamp = {Thu, 29 Nov 2018 11:17:10 +0100},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1808-07937},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note = {Final version to appear in LNCS}
}

@inproceedings{Susana-2018-elearningAfrica,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  booktitle = {13th International Conference on ICT for Development, Education and Training. E-learning Africa},
  title = {Discussing current solutions for digital literacy at rural areas},
  address = {Kigali, Rwanda},
  year = {2018},
  month = {September}
}

@comment{{2015}}

This file was generated by bibtex2html 1.98.