Grupos y líneas de investigación

Mostrar:

Grupos de investigación (listado alfabético)

Líneas de investigación (listado alfabético)

Grupos de investigación por centros

Líneas de investigación por centros


Búsqueda:

DISEÑO Y ANÁLISIS FORMAL DE SISTEMAS DE SOFTWARE


   
 Centro: F. INFORMATICA  Acceso a su web
 Director/es:MARTI OLIET, NARCISO
 Miembros:AGUIRRE GARCIA, LUIS MANUEL; ENCINA VARA, ALBERTO DE LA ; FABREGAS ALFARO, IGNACIO; FERNANDEZ CAMACHO, MARIA INES ; FRUTOS ESCRIG, DAVID DE ; GARCIA CLAVEL, MANUEL; HIDALGO HERRERO, MERCEDES ; LOPEZ BARQUILLA, NATALIA ; LOPEZ FRAGUAS, FRANCISCO JAVIER ; MARTIN SANCHEZ, OSCAR ; MARTOS SALGADO, MARIA ROSA; MONTENEGRO MONTES, MANUEL ; NIEVA SOTO, SUSANA ; ORTEGA MALLEN, YOLANDA ; PALOMINO TARJUELO, MIGUEL ; PEÑA MARI, RICARDO VICENTE; PITA ANDREU, MARIA ISABEL ; RABANAL BASALO, PABLO MANUEL ; RIESCO RODRIGUEZ, ADRIAN ; RODRIGUEZ LAGUNA, ISMAEL ; ROMERO HERNANDEZ, DAVID; ROSA VELARDO, FERNANDO ; RUBIO DIEZ, FERNANDO ; SAENZ PEREZ, FERNANDO ; SANCHEZ HERNANDEZ, JAIME ; SANTOS GARCÍA, GUSTAVO; SEGURA DIAZ, CLARA MARIA ; SUAREZ GARCIA, GORKA ; VERDEJO LOPEZ, JOSE ALBERTO ;
 Descripción:
 Líneas de investigación: Técnicas de especificación y verificación de sistemas; Semántica de lenguajes de especificación y programación; Análisis estático de programas y sistemas de tipos; Diseño e implementación de lenguajes de programación funcional paralela; Estudio y aplicaciones informáticas de la lógica de reescritura; Diseño e implementación del lenguaje Maude basado en la lógica de reescritura; Modelos formales para la movilidad y la seguridad
 Palabras clave: análisis estático; certificación; código con demostración asociada; memoria
 Acceso a su web: Acceder