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

Ballesteros Gonzalez, Ignacio ignacio.ballesteros@upm.es

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

Publications

Generation of algebraic data type values using evolutionary algorithms

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

Journal Of Logical And Algebraic Methods In Programming - 1/2/2025

10.1016/j.jlamp.2024.101022 View at source

  • ISSN 15678326

This researcher has no books.

This researcher has no book chapters.

Executable contracts for Elixir

  • Perez, Sergio
  • de Barrio, Luis Eduardo Bueso
  • Ballesteros, Ignacio
  • Herranz, Angel
  • Marino, Julio
  • Earle, Clara Benac
  • Fredlund, Lars-Ake
... 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

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

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

  • 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)
  • Fredlund, Lars-Ake (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • ROMAN DIEZ, GUILLERMO (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: 11/10/25 9:04 AM