Raúl López-Rueda

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

Collaborative distances:

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

2026

DM-Check: Verifying invariants of concurrent systems by deductive model checking.

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

J. Log. Algebraic Methods Program., 2026

2025

Folding Narrowing for the Analysis of Mutual Exclusion Protocols.

Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

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