Publicaciones en las que colabora con JUAN RODRÍGUEZ HORTALÁ (8)

2023

  1. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132

2019

  1. FlinkCheck: Property-based testing for apache flink

    IEEE Access, Vol. 7, pp. 150369-150382

  2. Property-based testing for spark streaming

    Theory and Practice of Logic Programming, Vol. 19, Núm. 4, pp. 574-602

2016

  1. Temporal random testing for spark streaming

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

2014

  1. Singular and plural functions for functional logic programming

    Theory and Practice of Logic Programming, Vol. 14, Núm. 1, pp. 65-116

2012

  1. S-narrowing for constructor systems

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

2010

  1. A natural implementation of plural semantics in maude

    Electronic Notes in Theoretical Computer Science

  2. Programming with singular and plural non-deterministic functions

    Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation