Projects

PROJECT
Title of project: MERINET: MÉTODOS RIGUROSOS PARA EL INTERNET DEL FUTURO
Funding organization: SECRETARÍA DE ESTADO  I+D+I
Participant organizations:
Begin date: 30/12/2016    End date: 29/12/1019              Amount: 87.600,00 €
Type: Nacional
Researchers: Julian Iranzo, Pascual;  Moreno Valverde, Gines Damian; Penabad Vazquez, Jaime

 

PROJECT
Títle of proyect: DAMAS (UNA APROXIMACIÓN DECLARATIVA AL MODELADO, ANÁLISIS Y RESOLUCIÓN DE PROBLEMAS
Funding organization: MINISTERIO DE ECONOMÍA Y COMPETITIVIDAD  (REF. TIN2013-45732-C04-2-P)
Participant organizations: Proyecto coordinado UPV  /  UPC  /  UCLM  /  CSIC-IIIA
Begin date: 01/01/2014    End date: 31/12/2016              Amount: 31.145,00 €
Type: Nacional
Researchers: Moreno Valverde, Gines Damian; Julian Iranzo, Pascual; Penabad Vazquez, Jaime

 

PROJECT
Title of project: PROLOF:  PROGRAMACION CON LOGICA DIFUSA
Funding organization: CONSEJERIA DE EDUCACION Y CIENCIA
Participant organizations: UNIVERSIDAD DE CASTILLA-LA MANCHA
Begin date: 01/04/2009     End date: 31/03/2012              Amount: 57.000,00 €
Type: Regional
Researchers: Julian Iranzo, Pascual; Morcillo Moreno, Pedro Jose; Moreno Valverde, Gines Damian; Penabad Vazquez, Jaime; Benito Santos, Serafin

 

PROJECT
Títle of proyect: ALDDEIA: APLICACIONES DE LA LÓGICA DIFUSA AL DESARROLLO DE ENTORNOS INFORMÁTICOS AVANZADOS
Funding organization: MINISTERIO DE EDUCACIÓN Y CIENCIA. SECRETARÍA DE ESTADO DE UNIVERSIDADES E INVESTIGACIÓN  (REF. TIN2007-65749)
Participant organizations: UNIVERSIDAD DE CASTILLA-LA MANCHA
Begin date: 01/10/2007    End date: 30/09/2010              Amount: 42.350,00 €
Type: Nacional
Researchers: Moreno Valverde, Gines Damian; Julian Iranzo, Pascual; Penabad Vazquez, Jaime; Pascual Fidalgo, Vicente; Guerrero Abenza, Juan Antonio; Morcillo Moreno, Pedro Jose; Benito Santos, Serafin

 

PROJECT
Títle of proyect: SELF: FORMALISMOS ÁGILES EN INGENIERÍA DE SOFTWARE
Funding organization: MINISTERIO DE CIENCIA Y TECNOLOGÍA  (REF. TIN2004-07943-C04-03)
Participant organizations: UMA,  UPV,  UCLM,  UPM
Begin date: 01/01/2005    End date: 31/12/2007              Amount: 34.500,00 €
Type: Nacional
Researchers: Julian Iranzo, Pascual; Moreno Valverde, Gines Damian;  Penabad Vazquez, Jaime; Benito Santos, Serafin; Pascual Fidalgo, Vicente

 

PROJECT
Títle of proyect: STREAM (HERRAMIENTAS SOFTWARE FORMALES: UNA APROXIMACIÓN MULTIPARADIGMA)
Funding organization: MINISTERIO DE CIENCIA Y TECNOLOGÍA  (REF. TIC 2001-2705-C03-03)
Participant organizations: Proyecto coordinado UPV  /  UMA  /  UCLM
Begin date: 28/12/2001    End date: 27/12/2004              Amount: 27.526,00 €
Type: Nacional
Researchers: Moreno Valverde, Gines Damian; Julian Iranzo, Pascual; Penabad Vazquez, Jaime; Pascual Fidalgo, Vicente; Guerrero Abenza, Juan Antonio; Morcillo Moreno, Pedro Jose; Benito Santos, Serafin

 

PROJECT
Títle of proyect: ETAPA: ESPECIALIZACIÓN Y TRANSFORMACIÓN AUTOMÁTICA DE PROGRAMAS AVANZADOS
Funding organization: UCLM (VICERRECTORADO DE INVESTIGACIÓN – Grupos precompetitivos)
Participant organizations: UNIVERSIDAD DE CASTILLA-LA MANCHA
Begin date: 01/05/2001    End date: 01/05/2003              Amount: 6.000,00 €
Type: Nacional
Researchers: Julian Iranzo, Pascual; Moreno Valverde, Gines Damian

 


wso shell IndoXploit shell webr00t shell hacklink hacklink satış wso shell