Raúl López-Rueda

According to our database, Raúl López-Rueda authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Invariants by Deductive Model Checking.

Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

2023

An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.

Raúl López-Rueda, Santiago Escobar, Julia Sapiña

J. Log. Algebraic Methods Program., October, 2023

Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.

Santiago Escobar, Raúl López-Rueda, Julia Sapiña

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2022

An Efficient Canonical Narrowing Implementation for Protocol Analysis.

Raúl López-Rueda, Santiago Escobar, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.

Raúl López-Rueda, Santiago Escobar

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Canonical Narrowing for Variant-Based Conditional Rewrite Theories.

Raúl López-Rueda, Santiago Escobar

Proceedings of the Formal Methods and Software Engineering, 2022