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, pp. 3-21. https://doi.org/10.1007/978-3-031-65941-6_1

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. Journal of Logical and Algebraic Methods in Programming, Volume 135, Article 100895. https://doi.org/10.1016/j.jlamp.2023.100895
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, pp. 14-25. https://doi.org/10.1145/3623503.3623537

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, pp. 20-35. 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@ETAPS 2022, pp. 151-170. 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@ETAPS 2022, pp. 45-64. https://doi.org/10.1007/978-3-031-12441-9_3