Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2019] A Property-based Testing Framework for Multi-Agent Systems
  • [2016] Adding distribution and fault tolerance to Jason
  • [2016] Adding distribution and fault tolerance to Jason
  • [2016] Adding distribution and fault tolerance to Jason
  • [2015] A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
  • [2015] Adding distribution and fault tolerance to Jason
  • [2015] Applying property-based testing in teaching safety-critical system programming
  • [2014] Property-based Testing of JSON based Web Services
  • [2014] Teaching students Property-based Testing
  • [2011] A Case Study on Verifying a Supervisor Component Using McErlang
  • [2010] Property-Based Testing - The ProTest Project
  • [2009] A Coding Rule Conformance Checker Integrated into GCC
  • [2009] Verifying Robocup Teams
  ...
  mostrar más
• Estancias y sabáticos recogidos en programas oficiales
  • [2019] Domain-specific property-based testing
  • [2019] Domain-specific property-based testing
• Libros
  • [2007] Proceedings of the 2007 ACM SIGPLAN Erlang Workshop
• Otras Publicaciones
  • [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
• Ponencia en Congresos
  • [2019] Gaining Trust by Tracing Security Protocols
  • [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
  • [2014] Teaching Students Property-based Testing
  • [2013] From UML State-Machine Diagrams to Erlang
  • [2013] Testing Java with QuickCheck
  • [2012] Adding Distribution and Fault Tolerance to Jason
  • [2012] Erlang as an Implementation Platform for BDI Languages
  • [2012] Static Partial Order Reduction for Probabilistic Concurrent Systems
  • [2012] Verification of Timed Erlang Programs Using McErlang
  • [2012] eJason: an implementation of Jason in Erlang
  • [2011] Erlang implementation and formal verification of a distributed MAS protocol.
  • [2010] A unified semantics for future Erlang
  • [2010] A verification of a process supervisor with McErlang
  • [2010] Implementing a multiagent negotiation protocol in Erlang
  • [2010] Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
  • [2010] Using McErlang to verify an Erlang process supervision component
  • [2009] Debugging and Verification of Multi-Agent Systems
  • [2009] Recent Improvements to the McErlang Model Checker
  • [2009] Rigorous Software Development Using McErlang
  • [2008] A Coding Rule Conformance Checker Integrated into GCC.
  • [2008] Automatic Coding Rule Conformance Checking Using Logic Programming
  • [2008] Verifying Robocup Teams
  • [2007] A more accurate semantics for distributed Erlang.
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programs.
  • [2007] McErlang: a model checker for a distributed functional programming language
  • [2007] Model checking a video-on-demand server using McErlang
  • [2007] Programming distributed Erlang applications: pitfalls and recipes
  ...
  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] NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [2018] PSAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [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] PROPERTY-BASED TESTING OF WEB SERVICES (PROWESS)
  • [2016] PSAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [2015] NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [2015] PSAFETY 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] 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] PROWESS: Property-based testing of Web services
  • [2012] Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
  • [2012] nSafeCer: nSafety Certification of Software-Intensive Systems with Reusable Components
  • [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
  • [2011] PSAFECER: pSafety Certification opf software-intensive systems with reusable components
  • [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] EDUCATION AUDIOVISUAL AND CULTURE EXECUTIVE AGENCY. ERASMUS MUNDUS EUROPEAN MASTERS COURSE INSOFTWARE ENGINEERING
  • [2009] EUROPEAN MASTER IN SOFTWARE ENGINEERING CURSO 2009-2011
  • [2009] PROTEST
  • [2008] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
  • [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] ProTEST: Property-based Testing
  • [2008] Protest: Property-Based Testing. Acción Complementaria
  • [2008] Sparcim: Spanish Research Consortium for Informatics and Mathematics
  • [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
  ...
  mostrar más
• Responsabilidades
  • [2009] Miembro del Programme Committee de JISBD 2009 (XIV Jornadas de Ingeniería del Software y Bases de Datos
  • [2009] Miembro del comité gestor de la Acción COST IC0701, desde el año 2008 hasta el año 2012.
  • [2008] Investigador Principal en la Universidad Politécnica de Madrid para el proyecto Strep ProTest perteneciente al FP7.
  • [2008] Organizacion del workshop NASSE en ServiceWave
  • [2007] Miembro del Comité de programa de la anual ACM SIGPLAN Erlang Workshop de 2007
  ...
  mostrar más
• Tesis Doctorales
  • [2018] eJason: a Framework for Distributed and Fault-tolerant Multi-agent Systems
  • [2008] Translation of Erlang Programs for Model Checking.