Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2018] Field-sensitive sharing
  • [2018] Field-sensitive sharing.
  • [2017] Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
  • [2017] Influencing over people with a social emotional model
  • [2016] Resource-usage-aware configuration in software product lines
  • [2013] Reachability-based acyclicity analysis by Abstract Interpretation
  • [2013] Reachability-based acyclicity analysis by Abstract Interpretation
  • [2013] Reachability-based acyclicity analysis by abstract interpretation (vol 474, pg 60, 2013)
  • [2012] Cost Analysis of Object-Oriented Bytecode Programs
  • [2012] Cost analysis of object-oriented bytecode programs
  • [2011] Task-Level Analysis for a Language with async/finish Parallelism
  ...
  mostrar más
• Ponencia en Congresos
  • [2018] Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje
  • [2018] Creating and Improving Educational Materials: An Approach based on Crowdsourcing
  • [2017] Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje
  • [2017] Estimación del riesgo de no superar una asignatura de evaluación continua mediante aprendizaje automático
  • [2009] Termination and Cost Analysis with COSTA and its User Interfaces
  ...
  mostrar más
• Proyectos de I+D+i
  • [2019] BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
  • [2018] Master EIT Digital 2018-DSc (Marta) : Master EIT Digital 2018-DSc (Marta)
  • [2015] DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
  • [2015] DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
  • [2015] VERA: Técnicas avanzadas de verificación de aplicaciones concurrentes
  • [2014] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2014] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2013] DOVES (Development Of Verifiable and Efficient Software)
  • [2013] PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
  • [2013] ValIdación y Verificación de Aplicaciones Concurrentes (VIVAC)
  • [2011] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2011] Resolución de Relaciones de Coste utilizando Técnicas de Análisis de Programas
  • [2010] CONTRACT 231620
  • [2010] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2010] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2009] CONTRACT. N. 015905 - MOBIUS MOBILITY UBIQUITY AND SECURITY
  • [2009] COORDINATED ACTIVIES IN RESOURCE ANALYSIS
  • [2009] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2009] HIGHL Y ADAPTABLE AND TRUSTWORTHY SOFTWARE USING FORMAL MODELS
  • [2009] PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
  ...
  mostrar más
• Responsabilidades
  • [2009] The 19th Workshop on Logic-based methods in Programming Environments