Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [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
  • [2014] Property-based Testing of JSON based Web Services
  • [2012] A Tool for the Integration of Constraint Programming in Spreadsheets
  • [2012] A Tool for the Integration of Constraint Programming in Spreadsheets
  • [2011] Synthesis of Logic Programs from Object-Oriented Formal Specifications
  • [2009] A Coding Rule Conformance Checker Integrated into GCC
  • [2009] Modeling Concurrent Systems with Shared Resources
  • [2009] Stepwise Refinement Validation of Design Patterns Formalized in TLA+ Using the TLC Model Checker
  • [2007] Demandedness Analysis with Partial Predicates
  ...
  mostrar más
• Capítulos de libros
  • [2007] Modeling and Reasoning about Design Patterns in SLAM-SL
• Otras Publicaciones
  • [2010] Communication Models for Resource Mashups
  • [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
• Patentes
  • [2008] Sistema para la detección y discriminación de objetos en movimiento
• Ponencia en Congresos
  • [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] Execution and Verification of UML State Machines with Erlang
  • [2014] Property-based Testing of JSON based Web Services
  • [2013] From UML State-Machine Diagrams to Erlang
  • [2012] A Verified Implementation of Priority Monitors in Java
  • [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] Automatic Coding Rule Conformance Checking Using Logic Programming
  • [2008] Modelling Mash-Up Resources
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programs.
  • [2007] Automatic Proof of Refinement among Design Patterns using the TLC
  ...
  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] BABEL. Next-Generation Energy-Efficient Secuere Software.
  • [2018] TITULO ANALYSIS OF THE ARQUITECTURE OF COOWRY SYSTEMS, DEVELOPMENT OF THEIR DATA MODELS, DESIGN OF THE TESTING STRATEGY, DEVELOPMENT OF AUTOMATIC TESTING FOR THE TRANSACTIONAL CORE SYSTEM
  • [2017] PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
  • [2015] APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA
  • [2015] APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA
  • [2015] StrongSoftBabel: Tecnologías rigurosas para software de nueva generación abierto y fiable
  • [2015] TITULO ANALYSIS OF THE ARQUITECTURE OF COOWRY SYSTEMS, DEVELOPMENT OF THEIR DATA MODELS, DESIGN OF THE TESTING STRATEGY, DEVELOPMENT OF AUTOMATIC TESTING FOR THE TRANSACTIONAL CORE SYSTEM
  • [2013] APOYO EN LA ELABORACIÓN DE UNA PROPUESTA DE PROYECTO EUROPEO STREP (ICT 2013.3,4) POLCA EMBEDDED SYSTEMS AND HPC GET TOGETHER. PROGRAMMING LARGE SCALE HETEREGENEOUS INFRASTRUCTURES
  • [2013] APOYO PARA EL DISEÑO E IMPLEMENTACIÓN DE FRAMEWORK PARA EL PROCESADO MASIVO DE DATOS SOCIAL MEDIA
  • [2013] POLCA: Programming Large Scale Heterogeneous Infrastructures POLCA
  • [2013] PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
  • [2013] StrongSoft: Secure Technologies for Reliable Open New Generation Software
  • [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] DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
  • [2009] DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
  • [2009] REALIZACIÓN DE TRANSFORMES 2009
  • [2008] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
  • [2008] GGCC: Global GNU Compiler Collection
  • [2008] Master de Ingeniería del Software - Modalidad Presencial
  • [2008] PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
  • [2007] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro.
  • [2007] GGCC: Global GNU Compiler Collection
  • [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
  • [2007] Vulcano: forja de proyectos software de calidad.
  ...
  mostrar más
• Responsabilidades
  • [2009] Chief Judge and Problem Set Team Coordinator of SWERC 2009 (the Southwestern European Regional Programming Contest of the ACM International Collegiate Programming Contest). Jefe de jueces y coordinador del equipo de elaboración de problemas de SWERC 2009 (the Southwestern European Regional Programming Contest of the ACM International Collegiate Programming Contest).
• Tesis Doctorales
  • [2011] An Object-Oriented Formal Notation: Executable Specifications in Clay