JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
Publicaciones (60) Publicaciones de JOSÉ ALBERTO VERDEJO LÓPEZ
2023
-
Compositional Verification in Rewriting Logic
Theory and Practice of Logic Programming
-
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)
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2022
-
Metalevel transformation of strategies
Journal of Logical and Algebraic Methods in Programming, Vol. 124
-
Model checking strategy-controlled systems in rewriting logic
Automated Software Engineering, Vol. 29, Núm. 1
-
Simulating and model checking membrane systems using strategies in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 124
2021
-
Strategies, model checking and branching-time properties in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 123
2020
-
Compositional Specification in Rewriting Logic
Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98
-
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
-
Model checking strategy-controlled rewriting systems
Leibniz International Proceedings in Informatics, LIPIcs
-
Parameterized strategies specification in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Parameterized programming for compositional system specification
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Egalitarian state-transition systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Synchronous products of rewrite systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
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
-
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
-
Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios
Ibergarceta
-
Declarative debugging of rewriting logic specifications
Journal of Logic and Algebraic Programming
-
Rewriting logic bibliography by topic: 1990-2011
Journal of Logic and Algebraic Programming
-
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)