Rubén Rubio

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Maude2Lean: theorem proving for Maude specifications using Lean Journal of Logical and Algebraic Methods in Programming	2024-11-26	Paper
QMaude: quantitative specification and verification in rewriting logic Formal Methods	2023-08-17	Paper
A simple rewrite system for the normalization of linear temporal logic Lecture Notes in Computer Science	2023-08-10	Paper
The Maude strategy language Journal of Logical and Algebraic Methods in Programming	2023-08-08	Paper
Verification of the ROS NavFn planner using executable specification languages Journal of Logical and Algebraic Methods in Programming	2023-03-20	Paper
Strategies, Model Checking and Branching-Time Properties in Maude 1517.6817	2022-12-22	Paper
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)	2022-12-07	Paper
An Overview of the Maude Strategy Language and its Applications	2022-12-07	Paper
Simulating and model checking membrane systems using strategies in Maude Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Metalevel transformation of strategies Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Strategies, model checking and branching-time properties in Maude Journal of Logical and Algebraic Methods in Programming	2021-11-03	Paper
Parameterized strategies specification in Maude	2020-06-08	Paper
Programming and symbolic computation in Maude Journal of Logical and Algebraic Methods in Programming	2020-01-31	Paper

Research outcomes over time

This page was built for person: Rubén Rubio