SYCO: a systematic testing tool for concurrent objects. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel (CC, 2016)

Testing of Concurrent Programs. - Miguel Isabel (ICLP (Technical Communications), 2016)

Combining Static Analysis and Testing for Deadlock Detection. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel (IFM, 2016)

Generation of Initial Contexts for Effective Deadlock Detection. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel (LOPSTR, 2017)

Constrained Dynamic Partial Order Reduction. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel; Albert Rubio (CAV (2), 2018)

Optimal context-sensitive dynamic partial order reduction with observers. - Elvira Albert; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Miguel Isabel; Peter J. Stuckey (ISSTA, 2019)

Conditional dynamic partial order reduction and optimality results. - Miguel Isabel (ISSTA, 2019)

Actor-Based Model Checking for SDN Networks. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva 001 (CoRR, 2020)

Deadlock-Guided Testing. - Miguel Gómez-Zamalloa; Miguel Isabel (IEEE Access, 2021)

Actor-based model checking for Software-Defined Networks. - Elvira Albert; Miguel Gómez-Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2021)

Distilling Constraints in Zero-Knowledge Protocols. - Elvira Albert; Marta Bellés-Muñoz; Miguel Isabel; Clara Rodríguez-Núñez; Albert Rubio (CAV (1), 2022)

Circom: A Circuit Description Language for Building Zero-Knowledge Applications. - Marta Bellés-Muñoz; Miguel Isabel; Jose Luis Muñoz-Tapia; Albert Rubio; Jordi Baylina Melé (IEEE Trans. Dependable Secur. Comput., 2023)

Optimal dynamic partial order reduction with context-sensitive independence and observers. - Elvira Albert; Maria Garcia de la Banda; Miguel Gómez-Zamalloa; Miguel Isabel; Peter J. Stuckey (J. Syst. Softw., 2023)

Scalable Verification of Zero-Knowledge Protocols. - Miguel Isabel; Clara Rodríguez-Núñez; Albert Rubio (SP, 2024)