Morales Caballero, Jose Francisco josefrancisco.morales@upm.es
- Artículos 0
- Libros 0
- Capítulos de libro 0
- Congresos 0
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 5
- Tesis dirigidas 0
- Patentes o licencias de software 0
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)
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)
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.
Perfiles de investigador/a
- El/la investigador/a no tiene perfiles.