Publicaciones (60) Publicaciones de JOSÉ ALBERTO VERDEJO LÓPEZ

2023

  1. Compositional Verification in Rewriting Logic

    Theory and Practice of Logic Programming

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

  3. The Maude strategy language

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

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. Compositional Specification in Rewriting Logic

    Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98

  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)

2018

  1. Parameterized programming for compositional system specification

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

2016

  1. Egalitarian state-transition systems

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

  2. Synchronous products of rewrite systems

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

2015

  1. Equational abstractions in rewriting logic and Maude

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

2014

  1. Model checking TLR Guarantee formulas on infinite systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8373, pp. 129-150

2012

  1. Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios

    Ibergarceta

  2. Declarative debugging of rewriting logic specifications

    Journal of Logic and Algebraic Programming

  3. Rewriting logic bibliography by topic: 1990-2011

    Journal of Logic and Algebraic Programming

  4. Simplifying questions in maude declarative debugger by transforming proof trees

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