Παρακολούθηση
Rubén Rubio
Rubén Rubio
Facultad de Informática, Universidad Complutense de Madrid
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ucm.es - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Maude manual (version 3.1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International University of Illinois at Urbana-Champaign http://maude …, 2020
2292020
Programming and symbolic computation in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020
762020
Strategies, model checking and branching-time properties in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 123, 100700, 2021
332021
Parameterized strategies specification in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019
222019
Model checking strategy-controlled rewriting systems
R Rubio, N Martí-Oliet, I Pita, A Verdejo
4th International Conference on Formal Structures for Computation and …, 2019
202019
Model checking strategy-controlled systems in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Automated Software Engineering 29 (1), 7, 2022
192022
Maude as a library: an efficient all-purpose programming interface
R Rubio
International Workshop on Rewriting Logic and its Applications, 274-294, 2022
142022
Simulating and model checking membrane systems using strategies in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100727, 2022
132022
Equational unification and matching, and symbolic reachability analysis in maude 3.2 (system description)
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
International Joint Conference on Automated Reasoning, 529-540, 2022
112022
Metalevel transformation of strategies
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100728, 2022
102022
The semantics of the Maude strategy language
R Rubio, N Martí-Oliet, I Pita, A Verdejo
82021
Unified Maude model-checking tool (umaudemc)
R Rubio
FaDoSS. URL: https://github. com/fadoss/umaudemc, 2020
82020
Strategy language for Maude
S Eker, N Martí-Oliet, J Meseguer, I Pita, R Rubio, A Verdejo
URL: http://maude. ucm. es/strategies, 2021
72021
Theorem proving for Maude specifications using Lean
R Rubio, A Riesco
International Conference on Formal Engineering Methods, 263-280, 2022
52022
Verification of ROS Navigation using Maude
E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio
52021
QMaude: quantitative specification and verification in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
International Symposium on Formal Methods, 240-259, 2023
42023
The Maude strategy language
S Eker, N Martí-Oliet, J Meseguer, R Rubio, A Verdejo
Journal of Logical and Algebraic Methods in Programming 134, 100887, 2023
32023
Verification of the ROS NavFn planner using executable specification languages
E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio
Journal of Logical and Algebraic Methods in Programming 132, 100860, 2023
22023
An overview of the Maude strategy language and its applications
R Rubio
International Workshop on Rewriting Logic and its Applications, 65-84, 2022
22022
A Simple Rewrite System for the Normalization of Linear Temporal Logic
J Esparza, R Rubio, S Sickert
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
12022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20