RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante
Publicaciones (18) Publicaciones de RUBÉN RAFAEL RUBIO CUÉLLAR
2023
-
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
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2022
-
A Simple Rewrite System for the Normalization of Linear Temporal Logic
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. 208-227
-
An Overview of the Maude Strategy Language and its Applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
Improving Database Learning with an Automatic Judge
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
LearnSQL: un juez para el aprendizaje de las bases de datos
Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288
-
Maude as a Library: An Efficient All-Purpose Programming Interface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
Theorem Proving for Maude Specifications Using Lean
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Strategies, model checking and branching-time properties in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 123
2020
-
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)