| 2024 | SP | Scalable Verification of Zero-Knowledge Protocols. | Miguel Isabel, Clara Rodrguez-Nez, Albert Rubio |
| 2022 | CAV | Distilling Constraints in Zero-Knowledge Protocols. | Elvira Albert, Marta Bells-Muoz, Miguel Isabel, Clara Rodrguez-Nez, Albert Rubio |
| 2019 | ISSTA | Optimal context-sensitive dynamic partial order reduction with observers. | Elvira Albert, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
| 2019 | ISSTA | Conditional dynamic partial order reduction and optimality results. | Miguel Isabel |
| 2018 | CAV | Constrained Dynamic Partial Order Reduction. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel, Albert Rubio |
| 2017 | LOPSTR | Generation of Initial Contexts for Effective Deadlock Detection. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | CC | SYCO: a systematic testing tool for concurrent objects. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | ICLP | Testing of Concurrent Programs. | Miguel Isabel |
| 2016 | IFM | Combining Static Analysis and Testing for Deadlock Detection. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |