Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2015] A Haskell Implementation of a Rule-Based Program Transformation for C Programs
  • [2015] A Haskell Implementation of a Rule-Based Program Transformation for C Programs
  • [2015] A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
  • [2015] Applying property-based testing in teaching safety-critical system programming
  • [2015] Declarative Compilation for Constraint Logic Programming
  • [2014] Property-based Testing of JSON based Web Services
  • [2014] Teaching students Property-based Testing
  • [2013] A Model-Driven Approach to Teaching Concurrency
  • [2012] A Tool for the Integration of Constraint Programming in Spreadsheets
  • [2011] Synthesis of Logic Programs from Object-Oriented Formal Specifications
  • [2010] First-order Unification Using Variable-free Relational Algebra
  • [2009] A Coding Rule Conformance Checker Integrated into GCC
  • [2009] Implementing Constructive Intensional Negation
  • [2009] Modeling Concurrent Systems with Shared Resources
  • [2008] Las luces de la escalera
  • [2008] Voto Útil
  • [2007] A Proposal for Disequality Constraints in Curry
  • [2007] Demandedness Analysis with Partial Predicates
  • [2007] Papiroflexia
  ...
  mostrar más
• Capítulos de libros
  • [2018] A Model-driven Methodology for Generating and Verifying CSP-based Java Code
• Libros
  • [2016] Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016)
  • [2011] Functional and Constraint Logic Programming 19th International Workshop, WFLP2010 Revised Selected Papers
• Otras Publicaciones
  • [2015] Towards a Rule-Based Approach to Generate High-Performance Scientific Code
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programs
  • [2007] Study of existing coding rule formalisms and compendium of common hazards. Use of Coding Rules in Software Industry.
  • [2007] Towards Checking Coding Rule Conformance Using Logic Programming
  ...
  mostrar más
• Ponencia en Congresos
  • [2016] Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
  • [2016] Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
  • [2016] Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
  • [2016] Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
  • [2015] A Haskell Implementation of a Rule-Based Program Transformation for C Programs
  • [2015] A Model-driven Methodology for Generating and Verifying CSP-based Java Code
  • [2015] Applying Property-Based Testing in Teaching Safety-Critical System Programming
  • [2014] A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
  • [2014] Declarative Compilation for Constraint Logic Programming
  • [2014] Execution and Verification of UML State Machines with Erlang
  • [2014] Property-based Testing of JSON based Web Services
  • [2014] Teaching Students Property-based Testing
  • [2012] A Verified Implementation of Priority Monitors in Java
  • [2012] From the Pi-Calculus to to Flat GHC
  • [2011] A tool for the integration of constraint logic programming in spreadsheets
  • [2010] Executable Specifications in an Object Oriented Formal Notation
  • [2008] A Coding Rule Conformance Checker Integrated into GCC.
  • [2008] Adding Coding Rule Checking Capabilities to the GCC Toolchain
  • [2008] Automatic Coding Rule Conformance Checking Using Logic Programming
  • [2008] First-order Unification Using Variable-free Relational Algebra
  • [2007] A Generic Semantics for Constraint Functional Logic Programming
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programs.
  ...
  mostrar más
• Premios
  • [2015] Best Paper Award SEAA 2015
• Proyectos de I+D+i
  • [2019] BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
  • [2018] APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
  • [2018] BABEL. Next-Generation Energy-Efficient Secuere Software.
  • [2018] GRUPO OPERATIVO PARA LA PROMOCION DEL USO PRUDENTE DE ANTIMICROBIANOS EN BOVINO DE CARNE -PROMANBOV
  • [2017] APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
  • [2017] BABEL. Next-Generation Energy-Efficient Secuere Software.
  • [2017] NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [2017] PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
  • [2016] BABEL. Next-Generation Energy-Efficient Secuere Software.
  • [2015] APOYO EN LA GESTIÓN DE ACTIVIDADES DE SPARCIM (SPANISH CONSORTIUM FOR INFORMATICS AND MATHEMATICS)
  • [2015] NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) BABEL
  • [2015] NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [2015] StrongSoftBabel: Tecnologías rigurosas para software de nueva generación abierto y fiable
  • [2014] SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
  • [2013] 2010 /001 - 001 - EM1 - EMMC . 2007 - 0065 - ERASMUS MUNDUS
  • [2013] EUROPEAN MASTERS ON SOFTWARE ENGINEERING
  • [2013] EUROPEAN MASTERS ON SOFTWARE ENGINEERING, 2010/2012 EDITION
  • [2013] EUROPEAN MASTERS ON SOFTWARE ENGINEERING, 2011/2013 EDITION
  • [2013] NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [2013] POLCA: Programming Large Scale Heterogeneous Infrastructures POLCA
  • [2013] PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
  • [2013] PROMETIDOS-CM
  • [2013] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE. PARTE UPM BABEL
  • [2013] StrongSoft: Secure Technologies for Reliable Open New Generation Software
  • [2013] TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIERTO Y FIABLE
  • [2012] Desarrollo de Software de Alta Calidad, Fiable, Distribuido y Seguro (DESAFIOS10)
  • [2012] Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
  • [2011] DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
  • [2011] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE. PARTE UPM BABEL
  • [2010] Ayuda al grupo Babel
  • [2010] DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
  • [2010] PROGRAMA DE M¿TODOS RIGUROSOS DE DESARROLLO DE SOFTWARE DE LA COMUNIDAD DE MADRID
  • [2010] PROTEST: Property Based Testing
  • [2009] DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
  • [2009] DESARROLLO DE TECNOLOGÍAS COLABORATIVAS PARA EL PROCESO LEGISLATIVO Y SU APLICACIÓN A LA LEY DE LA CIENCIA Y LA TECNOLOGÍA 2009
  • [2009] PROTEST
  • [2009] REALIZACIÓN DE TRANSFORMES 2009
  • [2008] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
  • [2008] Desarrollo de Tecnologías colaborativas para el proceso Legislativo y su aplicación a la Ley de la Ciencia y la Tecnología 2009
  • [2008] European Master Course in Computational Logic
  • [2008] European Masters Course on Software Engineering (Erasmus Mundus). Curso 2008-2010.
  • [2008] GGCC: Global GNU Compiler Collection
  • [2008] PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
  • [2008] Plan General de Calidad de la Investigación
  • [2008] Protest: Property-Based Testing. Acción Complementaria
  • [2007] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro.
  • [2007] GGCC: Global GNU Compiler Collection
  • [2007] HADES: Hacia el desarrollo de INES: Iniciativa Española de Software y Servicios.
  • [2007] PROMESAS-CM: Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
  • [2007] Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
  ...
  mostrar más
• Responsabilidades
  • [2011] Miembro del comité de programa de FoVeOOS2011
  • [2011] Miembro del comité gestor de la acción COST IC0701
  • [2009] Miembro del comité gestor de la Acción COST IC0701, desde el año 2008 hasta el año 2012.
  • [2008] Miembro del Comité Gestor de la Acción COST IC0701 sobre verificación de software orientado a objetos.
  ...
  mostrar más
• Tesis Doctorales
  • [2019] A model-driven methodology for the construction of reliable concurrent software
  • [2012] Relational and Allegorical Semantics for Constraint Functional Logic Programming
  • [2011] An Object-Oriented Formal Notation: Executable Specifications in Clay
  • [2008] Distributed implementation of functional logic programming.
  ...
  mostrar más