Raúl López-Rueda

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Formal Analysis

Constraint Satisfaction

Top Venues

J. Log. Algebraic Methods Program.

Publications

Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
Verifying Invariants by Deductive Model Checking. WRLA (2024)
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. J. Log. Algebraic Methods Program. 135 (2023)
Santiago Escobar, Raúl López-Rueda, Julia Sapiña
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. FTSCS (2023)
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. CoRR (2023)
Raúl López-Rueda, Santiago Escobar, José Meseguer
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS (2022)
Raúl López-Rueda, Santiago Escobar
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA@ETAPS (2022)
Raúl López-Rueda, Santiago Escobar
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. ICFEM (2022)