Morales Caballero, Jose Francisco josefrancisco.morales@upm.es

Este/a investigador/a no tiene artículos.

Este/a investigador/a no tiene libros.

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

Este/a investigador/a no tiene congresos.

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

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

TRADUCCIÓN A CLÁUSULAS DE HORN DE CONTRATOS INTELIGENTES PARA EL ANÁLISIS DE PROPIEDADES NO TRIVIALES

  • MORALES CABALLERO, José Francisco (Investigador principal (IP))

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

Tipo: Interno

  • iMarina

DESARROLLO DE TÉCNICAS DE TRANSFORMACIÓN DE PROGRAMAS PARA REPRESENTAR CONTRATOS INTELIGENTES Y SOFTWARE EMPOTRADO EN CLÁUSULAS DE HORN

  • MORALES CABALLERO, José Francisco (Investigador principal (IP))

Ejecución: 01-06-2021 - 30-10-2021

  • iMarina

CLIP. Next Generation Energy Efficient Secure Software

  • MORALES CABALLERO, José Francisco (Participante)
  • VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
  • Haemmerlé ., Rémy (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • ARIAS HERRERO, JOAQUIN (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-10-2014 - 30-09-2018

Tipo: Regional

Importe financiado: 101949,80 Euros.

  • iMarina

Desarrollo de Software Verificable y Eficiente (DOVES)

  • GIL QUIRÓS, VÍCTOR (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • MORALES CABALLERO, José Francisco (Participante)
  • NAVAS LASEMA, JORGE A. (Participante)
  • MASTROENI ., ISABELLA (Participante)
  • GALLAGHER ., JOHN (Participante)
  • King ., Andy (Participante)
  • Codish ., Michael (Participante)
  • GIACOBAZZI ., ROBERTO (Participante)
  • MENDEZ LOJO, MARIO (Participante)
  • CASAS CUADRADO, AMADEO (Participante)
  • GOMEZ-ZAMALLOA GIL, Miguel (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
... Ver más Contraer

Ejecución: 01-01-2009 - 31-12-2014

Tipo: Nacional

  • iMarina

Computación móvil verificable y consciente de los recursos

  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • MORALES CABALLERO, José Francisco (Participante)
  • GALLAGHER ., JOHN PATRICK (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
... Ver más Contraer

Ejecución: 31-12-2005 - 30-06-2009

Tipo: Nacional

  • 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: 9/08/23 13:57