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

Actividades

Executable contracts for Elixir

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

Journal Of Logical And Algebraic Methods In Programming (p. 101019-101019) - 1/1/2025

10.1016/j.jlamp.2024.101019 Ver en origen

  • ISSN 15678326

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Haskell Based Spreadsheets

  • Ballesteros, I
  • de Barrio, LEB
  • Mariño, J

Syntactic Asp Forgetting With Forks (p. 146-162) - 1/1/2025

10.1007/978-3-031-84924-4_10 Ver en origen

  • ISSN 03029743

Controlled Scheduling of Concurrent Elixir Programs

  • LE Bueso de Barrio
  • LÅ Fredlund
  • C Benac Earle
  • Á Herranz
  • J Mariño

Proceedings Of The (p. 67-75) - 1/1/2024

10.1145/3677995.3678195 Ver en origen

Generation and Refinement of Testing Models

  • LE Bueso de Barrio
  • LÅ Fredlund
  • C Benac Earle
  • Á Herranz
  • J Mariño

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 Ver en origen

Executable contracts for Elixir

  • Pérez, S
  • de Barrio, LEB
  • Ballesteros, I
  • Herranz, A
  • Mariño, J
  • Earle, CB
  • Fredlund, LÅ
... Ver más Contraer

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

https://doi.org/10.1145/3546186.3549930 Ver en origen

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, A
  • Mariño, J

Openaccess Series In Informatics - 1/1/2022

10.4230/oasics.fmbc.2022.3 Ver en origen

  • ISSN 21906807

Makina: A new QuickCheck state machine library

  • de Barrio, LEB
  • Fredlund, LÅ
  • Herranz, A
  • 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 Ver en origen

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

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)

Ejecución: 01-06-2020 - 31-05-2024

Tipo: Nacional

Importe financiado: 61468,00 Euros.

  • iMarina

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

  • BALLESTEROS GONZALEZ, IGNACIO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • 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)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 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))
... Ver más Contraer

Ejecución: 01-01-2013 - 30-06-2017

Tipo: Nacional

Importe financiado: 36644,40 Euros.

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 16/02/26 3:49