Rubén Rubio

Available identifiers

zbMath Open rubio.rubenMaRDI QIDQ2104540

List of research outcomes

Publication	Date of Publication	Type
Maude2Lean: theorem proving for Maude specifications using Lean	2024-11-26	Paper
QMaude: quantitative specification and verification in rewriting logic	2023-08-17	Paper
A simple rewrite system for the normalization of linear temporal logic	2023-08-10	Paper
The Maude strategy language	2023-08-08	Paper
Verification of the ROS NavFn planner using executable specification languages	2023-03-20	Paper
Strategies, Model Checking and Branching-Time Properties in Maude	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	2021-11-24	Paper
Metalevel transformation of strategies	2021-11-24	Paper
Strategies, model checking and branching-time properties in Maude	2021-11-03	Paper
Parameterized strategies specification in Maude	2020-06-08	Paper
Programming and symbolic computation in Maude	2020-01-31	Paper

Research outcomes over time

This page was built for person: Rubén Rubio