Rubén Rubio

According to our database, Rubén Rubio authored at least 22 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Maude2Lean: Theorem proving for Maude specifications using Lean.

Rubén Rubio, Adrián Riesco

J. Log. Algebraic Methods Program., 2025

2024

Efficient Normalization of Linear Temporal Logic.

Javier Esparza, Rubén Rubio, Salomon Sickert

J. ACM, April, 2024

Validity of contextual formulas (extended version).

Javier Esparza, Rubén Rubio

CoRR, 2024

Specifying Fairness Constraints and Model Checking with Non-intensional Strategies.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

Programming Open Distributed Systems in Maude.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Validity of Contextual Formulas.

Javier Esparza, Rubén Rubio

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

The Maude strategy language.

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo

J. Log. Algebraic Methods Program., August, 2023

Verification of the ROS NavFn planner using executable specification languages.

Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio

J. Log. Algebraic Methods Program., April, 2023

QMaude: Quantitative Specification and Verification in Rewriting Logic.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Metalevel transformation of strategies.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2022

Simulating and model checking membrane systems using strategies in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2022

Model checking strategy-controlled systems in rewriting logic.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Autom. Softw. Eng., 2022

Maude as a Library: An Efficient All-Purpose Programming Interface.

Rubén Rubio

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

An Overview of the Maude Strategy Language and its Applications.

Rubén Rubio

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Improving Database Learning with an Automatic Judge.

Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Theorem Proving for Maude Specifications Using Lean.

Rubén Rubio, Adrián Riesco

Proceedings of the Formal Methods and Software Engineering, 2022

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

A Simple Rewrite System for the Normalization of Linear Temporal Logic.

Javier Esparza, Rubén Rubio, Salomon Sickert

Proceedings of the Principles of Systems Design, 2022

2021

Strategies, model checking and branching-time properties in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2021

2020

Programming and symbolic computation in Maude.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

J. Log. Algebraic Methods Program., 2020

2019

Model Checking Strategy-Controlled Rewriting Systems (System Description).

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Parameterized Strategies Specification in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018