Rubén Rubio

Orcid: 0000-0003-2983-3404

According to our database1, Rubén Rubio authored at least 17 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Maude strategy language.
J. Log. Algebraic Methods Program., August, 2023

Verification of the ROS NavFn planner using executable specification languages.
J. Log. Algebraic Methods Program., April, 2023

Efficient Normalization of Linear Temporal Logic.
CoRR, 2023

QMaude: Quantitative Specification and Verification in Rewriting Logic.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022
Metalevel transformation of strategies.
J. Log. Algebraic Methods Program., 2022

Simulating and model checking membrane systems using strategies in Maude.
J. Log. Algebraic Methods Program., 2022

Model checking strategy-controlled systems in rewriting logic.
Autom. Softw. Eng., 2022

Maude as a Library: An Efficient All-Purpose Programming Interface.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

An Overview of the Maude Strategy Language and its Applications.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Improving Database Learning with an Automatic Judge.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Theorem Proving for Maude Specifications Using Lean.
Proceedings of the Formal Methods and Software Engineering, 2022

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

A Simple Rewrite System for the Normalization of Linear Temporal Logic.
Proceedings of the Principles of Systems Design, 2022

2021
Strategies, model checking and branching-time properties in Maude.
J. Log. Algebraic Methods Program., 2021

2020
Programming and symbolic computation in Maude.
J. Log. Algebraic Methods Program., 2020

2019
Model Checking Strategy-Controlled Rewriting Systems (System Description).
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
Parameterized Strategies Specification in Maude.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018


  Loading...