MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante doctor
RUBÉN RAFAEL RUBIO CUÉLLAR-rekin lankidetzan egindako argitalpenak (8)
2023
-
QMaude: Quantitative Specification and Verification in Rewriting Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022
-
Metalevel transformation of strategies
Journal of Logical and Algebraic Methods in Programming, Vol. 124
-
Model checking strategy-controlled systems in rewriting logic
Automated Software Engineering, Vol. 29, Núm. 1
-
Simulating and model checking membrane systems using strategies in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 124
2021
-
Strategies, model checking and branching-time properties in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 123
2020
-
Strategies, Model Checking and Branching-Time Properties in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
Model checking strategy-controlled rewriting systems
Leibniz International Proceedings in Informatics, LIPIcs
-
Parameterized strategies specification in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)