Παρακολούθηση
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
2322020
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
902020
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
312021
Model checking strategy-controlled systems in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Automated Software Engineering 29 (1), 7, 2022
262022
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
Maude as a library: an efficient all-purpose programming interface
R Rubio
International Workshop on Rewriting Logic and its Applications, 274-294, 2022
202022
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
192019
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
162022
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
122022
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
Strategies, model checking and branching-time properties in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
International Workshop on Rewriting Logic and its Applications, 156-175, 2020
92020
Theorem proving for Maude specifications using Lean
R Rubio, A Riesco
International Conference on Formal Engineering Methods, 263-280, 2022
82022
Strategy language for Maude
S Eker, N Martí-Oliet, J Meseguer, I Pita, R Rubio, A Verdejo
URL: http://maude. ucm. es/strategies, 2021
82021
The semantics of the Maude strategy language
R Rubio, N Martí-Oliet, I Pita, A Verdejo
82021
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
72023
Unified Maude model-checking tool (umaudemc)
R Rubio
FaDoSS. URL: https://github. com/fadoss/umaudemc, 2020
72020
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
62023
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
52023
Verification of ROS Navigation using Maude
E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio
42021
An overview of the Maude strategy language and its applications
R Rubio
International Workshop on Rewriting Logic and its Applications, 65-84, 2022
32022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20