Publications by the researcher in collaboration with NARCISO MARTÍ OLIET (21)

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)

  2. Strategies in Conditional Narrowing Modulo SMT Plus Axioms

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

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)

2018

  1. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

    Journal of Automated Reasoning, Vol. 60, Núm. 4, pp. 421-463

2017

  1. Conditional narrowing modulo SMT and axioms

    ACM International Conference Proceeding Series

2015

  1. Sentence-normalized conditional narrowing modulo in rewriting logic and Maude

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

2014

  1. Conditional narrowing modulo in rewriting logic and maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8663, pp. 80-96

2005

  1. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352

2003

  1. Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic

    Formal Aspects of Computing

2002

  1. A Maude specification of an object-oriented model for telecommunication networks

    Theoretical Computer Science, Vol. 285, Núm. 2, pp. 407-439

2000

  1. The leader election protocol of IEEE 1394 in Maude

    Electronic Notes in Theoretical Computer Science

  2. Towards a verification logic for rewriting logic

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

1999

  1. Using reflection to specify transaction sequences in rewriting logic

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