Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2019] A Property-based Testing Framework for Multi-Agent Systems
  • [2018] A methodology for model-based verification of safety contracts and performance requirements
  • [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] Adding distribution and fault tolerance to Jason
  • [2015] Model-Based Verification of Safety Contracts
  • [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] Verifying Robocup Teams
  ...
  mostrar más
• Conferencias invitadas en congresos
  • [2010] erlang factory 2010
• Informes para las AAPP o sus organismos dependientes
  • [2010] trends in spanish cs
• Libros
  • [2009] Proceedings of the 2009 ACM SIGPLAN Erlang Workshop
• Ponencia en Congresos
  • [2019] Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion
  • [2019] Gaining Trust by Tracing Security Protocols
  • [2015] Automated Model-Based Testing Based on an Agnostic-Platform Modeling Language
  • [2014] Model-based Verification of Safety Contracts
  • [2014] Property-based Testing of JSON based Web Services
  • [2014] Teaching Students Property-based Testing
  • [2013] Languages for Safety-Certification Related Propertis
  • [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] Verifying Robocup Teams
  ...
  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] BABEL. Next-Generation Energy-Efficient Secuere Software.
  • [2017] BABEL. Next-Generation Energy-Efficient Secuere Software.
  • [2017] NSAFECER: SAFETY 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
  • [2013] NSAFECER: SAFETY CERTIFICATION OF SOFTWARE-INTENSIVE SYSTEMS WITH REUSABLE COMPONENTS
  • [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
  • [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] PROTEST
  • [2009] REALIZACIÓN DE TRANSFORMES 2009
  • [2008] ProTEST: Property-based Testing
  • [2008] Protest: Property-Based Testing. Acción Complementaria
  ...
  mostrar más
• Responsabilidades
  • [2011] Miembro del Comité de Programa de SEAA 2011
  • [2011] Miembro del Comité de Programa de la ACM SIGPLAN Erlang Workshop 2011
  • [2009] Chair del 2009 ACM SIGPLAN Erlang Workshop
• Tesis Doctorales
  • [2018] eJason: a Framework for Distributed and Fault-tolerant Multi-agent Systems