Publications en collaboration avec des chercheurs de Universidad Politécnica de Valencia (7)

2022

  1. Parallel Maude-NPA for Cryptographic Protocol Analysis

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

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

2019

  1. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

2018

  1. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

2017

  1. A survey of algorithmic debugging

    ACM Computing Surveys, Vol. 50, Núm. 4

2013

  1. 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. Speeding up algorithmic debugging using balanced execution trees

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