NARCISO
MARTÍ OLIET
Catedrático de universidad
Publicacions (106) Publicacions de NARCISO MARTÍ OLIET
2024
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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)
-
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
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2022
-
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Generalization and completeness of stochastic local search algorithms
Swarm and Evolutionary Computation, Vol. 68
-
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
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 110
-
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
-
Associative unification and symbolic reasoning modulo associativity in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Parameterized programming for compositional system specification
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)