Publications by the researcher in collaboration with RUBÉN RAFAEL RUBIO CUÉLLAR (9)

2024

  1. Specifying Fairness Constraints and Model Checking with Non-intensional Strategies

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

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)

2022

  1. Metalevel transformation of strategies

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

  2. Model checking strategy-controlled systems in rewriting logic

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

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

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

2021

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

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

2020

  1. 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)