Raúl López-Rueda

Publications

Journal articles and conference and workshop papers on narrowing, deductive model checking and symbolic protocol analysis. Also listed on ORCID, Scopus and Web of Science.

2026

  • Workshop To appear

    Generating Invariants by Deductive Model Checking

    Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, Jose Meseguer, and Julia Sapiña.

    In Camilo Rocha (ed), 16th International Workshop on Rewriting Logic and Its Applications (WRLA 2026). Lecture Notes in Computer Science, to appear.

    @inproceedings{bae2026generating,
  author = {Kyungmin Bae and Santiago Escobar and Ra{\'u}l L{\'o}pez-Rueda and Jos{\'e} Meseguer and Julia Sapi{\~n}a},
  title = {Generating Invariants by Deductive Model Checking},
  editor = {Camilo Rocha},
  booktitle = {16th International Workshop on Rewriting Logic and Its Applications (WRLA 2026)},
  series = {Lecture Notes in Computer Science},
  year = {2026},
  note = {To appear}
}
  • Journal

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

    Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, Jose Meseguer, and Julia Sapiña.

    In Journal of Logical and Algebraic Methods in Programming, Volume 149, March 2026.

    DOI 
    @article{bae2026dmcheck,
  author = {Kyungmin Bae and Santiago Escobar and Ra{\'u}l L{\'o}pez-Rueda and Jos{\'e} Meseguer and Julia Sapi{\~n}a},
  title = {{DM-Check}: Verifying invariants of concurrent systems by deductive model checking},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  volume = {149},
  year = {2026},
  month = mar,
  doi = {10.1016/j.jlamp.2025.101107}
}

2025

  • Conference

    Folding Narrowing for the Analysis of Mutual Exclusion Protocols

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

    In proceedings of 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025).

    DOI 
    @inproceedings{lopezrueda2025folding,
  author = {Ra{\'u}l L{\'o}pez-Rueda and Duong Dinh Tran and Canh Minh Do and Santiago Escobar and Kazuhiro Ogata},
  title = {Folding Narrowing for the Analysis of Mutual Exclusion Protocols},
  booktitle = {Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025)},
  year = {2025},
  doi = {10.1145/3756907.3756911}
}

2024

  • Workshop

    Verifying Invariants by Deductive Model Checking

    Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, Jose Meseguer, and Julia Sapiña.

    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.

    DOI 
    @inproceedings{bae2024verifying,
  author = {Kyungmin Bae and Santiago Escobar and Ra{\'u}l L{\'o}pez-Rueda and Jos{\'e} Meseguer and Julia Sapi{\~n}a},
  title = {Verifying Invariants by Deductive Model Checking},
  editor = {Kazuhiro Ogata},
  booktitle = {15th International Workshop on Rewriting Logic and Its Applications (WRLA 2024)},
  series = {Lecture Notes in Computer Science},
  volume = {14953},
  pages = {3--21},
  year = {2024},
  doi = {10.1007/978-3-031-65941-6_1}
}

2023

  • Workshop

    Symbolic analysis by using folding narrowing with irreducibility and SMT constraints

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

    In Proceedings of 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), pages 14–25.

    DOI 
    @inproceedings{escobar2023symbolic,
  author = {Santiago Escobar and Ra{\'u}l L{\'o}pez-Rueda and Julia Sapi{\~n}a},
  title = {Symbolic analysis by using folding narrowing with irreducibility and {SMT} constraints},
  booktitle = {Proceedings of the 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023)},
  pages = {14--25},
  year = {2023},
  doi = {10.1145/3623503.3623537}
}
  • Journal

    An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis

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

    In Journal of Logical and Algebraic Methods in Programming, Volume 135, October 2023.

    DOI 
    @article{lopezrueda2023efficient,
  author = {Ra{\'u}l L{\'o}pez-Rueda and Santiago Escobar and Julia Sapi{\~n}a},
  title = {An Efficient Canonical Narrowing Implementation with Irreducibility and {SMT} Constraints for Generic Symbolic Protocol Analysis},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  volume = {135},
  year = {2023},
  month = oct,
  doi = {10.1016/j.jlamp.2023.100895}
}

2022

  • Conference

    Canonical Narrowing for Variant-based Conditional Rewrite Theories

    Raúl López-Rueda and Santiago Escobar.

    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.

    DOI 
    @inproceedings{lopezrueda2022canonical,
  author = {Ra{\'u}l L{\'o}pez-Rueda and Santiago Escobar},
  title = {Canonical Narrowing for Variant-based Conditional Rewrite Theories},
  editor = {Adri{\'a}n Riesco and Min Zhang},
  booktitle = {The 23rd International Conference on Formal Engineering Methods (ICFEM 2022)},
  series = {Lecture Notes in Computer Science},
  volume = {13478},
  pages = {20--35},
  year = {2022},
  doi = {10.1007/978-3-031-17244-1_2}
}
  • Workshop

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

    Raúl López-Rueda and Santiago Escobar.

    In Kyungmin Bae (ed), 14th International Workshop on Rewriting Logic and Its Applications (WRLA 2022). Lecture Notes in Computer Science, volume 13252, pages 45–64.

    DOI 
    @inproceedings{lopezrueda2022irreducibility,
  author = {Ra{\'u}l L{\'o}pez-Rueda and Santiago Escobar},
  title = {Canonical Narrowing with Irreducibility and {SMT} Constraints as a Generic Symbolic Protocol Analysis Method},
  editor = {Kyungmin Bae},
  booktitle = {14th International Workshop on Rewriting Logic and Its Applications (WRLA 2022)},
  series = {Lecture Notes in Computer Science},
  volume = {13252},
  pages = {45--64},
  year = {2022},
  doi = {10.1007/978-3-031-12441-9_3}
}
  • Workshop

    An Efficient Canonical Narrowing Implementation for Protocol Analysis

    Raúl López-Rueda, Santiago Escobar, and Jose Meseguer.

    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.

    DOI 
    @inproceedings{lopezrueda2022efficient,
  author = {Ra{\'u}l L{\'o}pez-Rueda and Santiago Escobar and Jos{\'e} Meseguer},
  title = {An Efficient Canonical Narrowing Implementation for Protocol Analysis},
  editor = {Kyungmin Bae},
  booktitle = {14th International Workshop on Rewriting Logic and Its Applications (WRLA 2022)},
  series = {Lecture Notes in Computer Science},
  volume = {13252},
  pages = {151--170},
  year = {2022},
  doi = {10.1007/978-3-031-12441-9_8}
}