Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
RESEARCHERS
RDI STRUCTURES
RESEARCH ACTIVITIES
INNOVATION
Investigador
Edison Fernando Mera Menéndez
Researcher Category
BECARIO OFICIAL NO PIF
UPM Centre
E.T.S. DE INGENIEROS INFORMÁTICOS
Department:
INTELIGENCIA ARTIFICIAL
Knowledge Area
SIN AREA DE CONOCIMIENTO
Research Group:
Sin grupo de investigación
Research Reports
Proyectos de I+D+i y generación de recursos
10 Proyectos de I+D+i
1: (2007)
MERIT
2: (2008)
ES_PASS, Embedded Software Product-based Assurance
3: (2008)
MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
4: (2008)
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
5: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
6: (2009)
EMBEDDED SOFTWARE PRODUCT-BASED ASSURANCE (ES_PASS)
7: (2009)
EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
8: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
9: (2012)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
10: (2012)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
Formación de Investigadores y Movilidad
1 Tesis Doctorales
1: (2010)
A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing (Un Marco Unificado para Análisis de Recursos y Tiempo de Ejecución, Validación Dinámica y Pruebas Unitarias)
Difusión de Resultados de Investigación
2 Artículos en revistas
1: (2007)
Combining Static Analysis and Profiling for Estimating Execution Times
2: (2007)
User-Definable Resource Bounds Analysis for Logic Programs
2 Conferencias invitadas en congresos
1: (2007)
Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
2: (2011)
An Overview of the Ciao System
1 Libros
1: (2010)
A Unified Framework for Resource and Execution Time
2 Otras Publicaciones
1: (2007)
Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
2: (2007)
Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages
2 Ponencia en Congresos
1: (2007)
TGC'07, revisión de artículos
2: (2011)
Profiling for Run-Time Checking of Computational Properties and Performance Debugging
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
