Rubén Rubio

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 29

Top Topics

Linear Temporal Logic

Specification Languages

Top Venues

J. Log. Algebraic Methods Program.

Publications

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. CoRR (2024)
Javier Esparza, Rubén Rubio
Validity of contextual formulas (extended version). CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. CoRR (2024)
Javier Esparza, Rubén Rubio
Validity of Contextual Formulas. CONCUR (2024)
Javier Esparza, Rubén Rubio, Salomon Sickert
Efficient Normalization of Linear Temporal Logic. J. ACM 71 (2) (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM (2023)
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132 (2023)
Javier Esparza, Rubén Rubio, Salomon Sickert
A Simple Rewrite System for the Normalization of Linear Temporal Logic. CoRR (2023)
Javier Esparza, Rubén Rubio, Salomon Sickert
Efficient Normalization of Linear Temporal Logic. CoRR (2023)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. J. Log. Algebraic Methods Program. 134 (2023)
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio
Improving Database Learning with an Automatic Judge. SEKE (2022)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29 (1) (2022)
Javier Esparza, Rubén Rubio, Salomon Sickert
A Simple Rewrite System for the Normalization of Linear Temporal Logic. Principles of Systems Design (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio
Maude as a Library: An Efficient All-Purpose Programming Interface. WRLA@ETAPS (2022)
Rubén Rubio
An Overview of the Maude Strategy Language and its Applications. WRLA@ETAPS (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Adrián Riesco
Theorem Proving for Maude Specifications Using Lean. ICFEM (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123 (2021)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS (2020)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD (2019)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and Symbolic Computation in Maude. CoRR (2019)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Parameterized Strategies Specification in Maude. WADT (2018)