Publications by the researcher in collaboration with Laura Milagros Castro Souto (5)

2013

  1. Feasibility of property-based testing for time-dependent systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Declarative distributed advertisement system for iDTV: An industrial experience

    PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

  2. Failover and takeover contingency mechanisms for network partition and node failure

    Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop

2003

  1. ARMISTICE: An experience developing management software with Erlang

    Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, ERLANG '03

  2. ARMISTICE: Una experiencia desarrollando software de gestión con Erlang

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 199