Publicaciones (18) Publicaciones de RUBÉN RAFAEL RUBIO CUÉLLAR

2023

  1. QMaude: Quantitative Specification and Verification in Rewriting Logic

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

  2. The Maude strategy language

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

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

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

2022

  1. A Simple Rewrite System for the Normalization of Linear Temporal Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 208-227

  2. An Overview of the Maude Strategy Language and its Applications

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

  3. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

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

  4. Improving Database Learning with an Automatic Judge

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  5. LearnSQL: un juez para el aprendizaje de las bases de datos

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288

  6. Maude as a Library: An Efficient All-Purpose Programming Interface

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

  7. Metalevel transformation of strategies

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

  8. Model checking strategy-controlled systems in rewriting logic

    Automated Software Engineering, Vol. 29, Núm. 1

  9. Simulating and model checking membrane systems using strategies in Maude

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

  10. Theorem Proving for Maude Specifications Using Lean

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

2021

  1. Strategies, model checking and branching-time properties in Maude

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

2020

  1. Programming and symbolic computation in Maude

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

  2. Strategies, Model Checking and Branching-Time Properties in Maude

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

2019

  1. Model checking strategy-controlled rewriting systems

    Leibniz International Proceedings in Informatics, LIPIcs

  2. Parameterized strategies specification in Maude

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