Publications of Raúl López Rueda

2024

Bae, K., Escobar, S., López-Rueda, R., Meseguer, J., Sapiña, J. (2024). Verifying Invariants by Deductive Model Checking. In: Ogata, K., Martí-Oliet, N. (eds) Rewriting Logic and Its Applications. WRLA 2024. Lecture Notes in Computer Science, vol 14953. Springer, Cham. https://doi.org/10.1007/978-3-031-65941-6_1

Escobar, S., López-Rueda, R., Sapiña, J. (2023). Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. In: International Workshop on Formal Techniques for Safety-Critical Systems. FTSCS 2023. 9th ACM SIGPLAN, pages 14–25. https://doi.org/10.1145/3623503.3623537
Escobar, S., López-Rueda, R., Sapiña, J. (2023). An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. In: Journal of Logical and Algebraic Methods in Programming, Volume 135. JLAMP 2023. ISSN 2352-2208. https://doi.org/10.1016/j.jlamp.2023.100895

Escobar, S., López-Rueda, R. (2022). Canonical Narrowing for Variant-Based Conditional Rewrite Theories. In: Riesco, A., Zhang, M. (eds) Formal Methods and Software Engineering. ICFEM 2022. Lecture Notes in Computer Science, vol 13478. Springer, Cham. https://doi.org/10.1007/978-3-031-17244-1_2
Escobar, S., López-Rueda, R., Meseguer, J. (2022). An Efficient Canonical Narrowing Implementation for Protocol Analysis. In: Bae, K. (eds) Rewriting Logic and Its Applications. WRLA 2022. Lecture Notes in Computer Science, vol 13252. Springer, Cham. https://doi.org/10.1007/978-3-031-12441-9_8
Escobar, S., López-Rueda, R. (2022). Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. In: Bae, K. (eds) Rewriting Logic and Its Applications. WRLA 2022. Lecture Notes in Computer Science, vol 13252. Springer, Cham. https://doi.org/10.1007/978-3-031-12441-9_3