Grupos de Investigación
Mostrar:
Grupos de investigación por centros
Grupos de investigación por Ámbito
Grupos de investigación por Área AEI
Grupos de investigación por referencia
Búsqueda:
910398 - FADOSS - DISEÑO Y ANÁLISIS FORMAL DE SISTEMAS DE SOFTWARE
| Centro: | F. INFORMATICA  |
| Ámbito - Área AEI: | ÁREA DE EXPERIMENTALES - CIENCIAS DE LA COMPUTACIÓN Y TECNOLOGÍA INFORMÁTICA |
| Valoración - Transferencia: | BUENO (78.50) - Transferencia |
| Acrónimo - E_Mail: | FADOSS - rubiod@ucm.es |
| Director/es: | RIESCO RODRIGUEZ, ADRIAN ; RUBIO DIEZ, FERNANDO |
| Miembros: | AGUIRRE GARCIA, LUIS MANUEL ; CARRERO ARANDA, JONATHAN; DE OLIVEIRA BRAGA, CHRISTIANO; ENCINA VARA, ALBERTO DE LA ; FABREGAS ALFARO, IGNACIO ; FERNANDEZ CAMACHO, MARIA INES ; FRUTOS ESCRIG, DAVID DE ; GARCIA CLAVEL, MANUEL; GARCIA SOTO, MIRIAM ; GODOY FRESNEDA, AITOR ; HIDALGO HERRERO, MERCEDES ; LOPEZ BARQUILLA, NATALIA ; LOPEZ FRAGUAS, FRANCISCO JAVIER ; LOSCOS BARROSO, DANIEL ; MARTI OLIET, NARCISO ; MARTIN SANCHEZ, OSCAR ; MONTENEGRO MONTES, MANUEL ; NIEVA SOTO, SUSANA ; NUÑEZ COVARRUBIAS, ALBERTO ; ORTEGA MALLEN, YOLANDA ; PALOMINO TARJUELO, MIGUEL ; PEÑA MARI, RICARDO VICENTE ; PITA ANDREU, MARIA ISABEL ; RABANAL BASALO, PABLO MANUEL ; RODRIGUEZ LAGUNA, ISMAEL ; ROSA VELARDO, FERNANDO ; RUBIO CUELLAR, RUBEN RAFAEL ; SAENZ PEREZ, FERNANDO ; SANCHEZ HERNANDEZ, JAIME ; SANTOS GARCÍA, GUSTAVO; SEGURA DIAZ, CLARA MARIA ; SUAREZ GARCIA, GORKA ; VERDEJO LOPEZ, JOSE ALBERTO |
| 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; Estudio y aplicaciones informáticas de la lógica de reescritura; Diseño e implementación del lenguaje Maude; Modelos formales para la movilidad y la seguridad; Testing y modelado de sistemas distribuidos; Estudio de propiedades lógicas de los sistemas informáticos; Complejidad computacional de problemas y métodos heurísticos de resolución; Demostración semi-automática de teoremas |
| Palabras clave: | análisis estático; certificación; código con demostración asociada; memoria |
| Acceso a su web: | Acceder |