Publicaciones en las que colabora con JOSÉ ALBERTO VERDEJO LÓPEZ (6)

2024

  1. Compositional Verification in Rewriting Logic

    Theory and Practice of Logic Programming, Vol. 24, Núm. 1, pp. 57-109

2020

  1. Compositional Specification in Rewriting Logic

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

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)

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