RDF/XML JSON-LD N3/Turtle RDF/JSON

Bueso De Barrio, Luis Eduardo luiseduardo.bueso.debarrio@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Publications

This researcher has no articles.

This researcher has no books.

This researcher has no book chapters.

Generation and Refinement of Testing Models

  • de Barrio, LEB
  • Fredlund, LÅ
  • Earle, CB
  • Herranz, A
  • Mariño, J

Erlang 2023 - Proceedings Of The 22nd Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2023 (p. 14-23) - 1/1/2023

10.1145/3609022.3609415 View at source

Executable contracts for Elixir

  • Pérez, S
  • de Barrio, LEB
  • Ballesteros, I
  • Herranz, A
  • Mariño, J
  • Earle, CB
  • Fredlund, LÅ
... View more Collapse

Proceedings Of The 21st Acm Sigplan International Workshop On Erlang, Erlang 2022 (p. 46) - 6/9/2022

https://doi.org/10.1145/3546186.3549930 View at source

Improve your tests with Makina

  • BUESO DE BARRIO, LUIS EDUARDO (Impartidor/a del acto)

20/5/2022

  • iMarina

Automatic Generation of Attacker Contracts in Solidity

  • Ballesteros I
  • Benac-Earle C
  • de Barrio LEB
  • Fredlund LÅ
  • Herranz Á
  • Mariño J

Openaccess Series In Informatics - 1/1/2022

10.4230/oasics.fmbc.2022.3 View at source

  • ISSN 21906807

Makina: A new QuickCheck state machine library

  • De Barrio LEB
  • Fredlund LÅ
  • Herranz Á
  • Earle CB
  • Mariño J

Erlang 2021 - Proceedings Of The 20th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2021 (p. 41-53) - 1/1/2021

10.1145/3471871.3472964 View at source

This researcher has no working papers.

This researcher has no technical reports.

Analysis and Validation of Software and Web Resources

  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • Fredlund, Lars-Ake (Investigador principal (IP))
  • Benac Earle, Clara (Investigador principal (IP))
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)

Period: 01-06-2020 - 31-05-2024

Type of funding: National

Amount of funding: 61468,00 Euros.

  • iMarina

Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

  • Fredlund, Lars-Ake (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Benac Earle, Clara (Participante)
  • ZANARDINI, DAMIANO (Participante)
  • BUESO DE BARRIO, LUIS EDUARDO (Participante)
  • BALLESTEROS GONZALEZ, IGNACIO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
... View more Collapse

Period: 01-01-2019 - 30-04-2023

Type of funding: Regional

Amount of funding: 74100,85 Euros.

  • iMarina

Tecnologías rigurosas para software de nueva generación abierto y fiable

  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • Mycroft ., Alan (Otros)
  • Tonetta ., Stefano (Otros)
  • Lipton ., James (Otros)
  • Moreno Navarro, Juan José (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Benac Earle, Clara (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... View more Collapse

Period: 01-01-2013 - 30-06-2017

Type of funding: National

Amount of funding: 36644,40 Euros.

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 8/28/24 9:28 AM