Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (6)

2016

  1. Debugging meets testing in Erlang

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

2015

  1. A zoom-declarative debugger for sequential Erlang programs

    Science of Computer Programming, Vol. 110, pp. 104-118

  2. Resource analysis: From sequential to concurrent and distributed programs

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

2014

  1. EDD: A declarative debugger for sequential Erlang programs

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

  2. SACO: Static analyzer for concurrent objects

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

  3. Static inference of transmission data sizes in distributed systems

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