Publications of Raúl López Rueda

2023

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
López-Rueda, R., Escobar, S., 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

López-Rueda, R., Escobar, S. (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
López-Rueda, R., Escobar, S., 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
López-Rueda, R., Escobar, S. (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