Raúl López Rueda - Publications

Publications

Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, and Kazuhiro Ogata.
Folding Variant Narrowing for the Analysis of Mutual Exclusion Protocols.
In proceedings of 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025).
Available: To appear 2025.

Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, Jose Meseguer, Julia Sapiña.
Verifying Invariants by Deductive Model Checking.
In Kazuhiro Ogata (ed), 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024.
Lecture Notes in Computer Science, volume 14953, pages 3-21.
Available: DOI

Santiago Escobar, Raúl López-Rueda, Julia Sapiña.
Symbolic analysis by using folding narrowing with irreducibility and SMT constraints.
In Proceedings of 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, pages 14-25.
Available: DOI
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.
In Adrián Riesco and Min Zhang (ed), Journal of Logical and Algebraic Methods in Programming, Volume 135, October 2023.
Available: DOI

Raúl López-Rueda, Santiago Escobar.
Canonical Narrowing for Variant-based Conditional Rewrite Theories.
In Adrián Riesco and Min Zhang (ed), The 23rd International Conference on Formal Engineering Methods, ICFEM 2022.
Lecture Notes in Computer Science, volume 13478, pages 20-35.
Available: DOI
Raúl López-Rueda, Santiago Escobar.
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.
In Kyungmin Bae (ed), 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022.
Lecture Notes in Computer Science, volume 13252, pages 151-170.
Available: DOI
Raúl López-Rueda, Santiago Escobar, Jose Meseguer.
An Efficient Canonical Narrowing Implementation for Protocol Analysis.
In Kyungmin Bae (ed), 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022.
Lecture Notes in Computer Science, volume 13252, pages 151-170.
Available: DOI