| SYCO: a systematic testing tool for concurrent objects E Albert, M Gómez-Zamalloa, M Isabel Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 33 | 2016 |
| Constrained dynamic partial order reduction E Albert, M Gómez-Zamalloa, M Isabel, A Rubio International Conference on Computer Aided Verification, 392-410, 2018 | 24 | 2018 |
| Combining static analysis and testing for deadlock detection E Albert, M Gómez-Zamalloa, M Isabel International Conference on Integrated Formal Methods, 409-424, 2016 | 19 | 2016 |
| Optimal context-sensitive dynamic partial order reduction with observers E Albert, MG De La Banda, M Gómez-Zamalloa, M Isabel, PJ Stuckey Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 12 | 2019 |
| Conditional dynamic partial order reduction and optimality results M Isabel Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 5 | 2019 |
| Distilling constraints in zero-knowledge protocols E Albert, M Bellés-Muñoz, M Isabel, C Rodríguez-Núñez, A Rubio International Conference on Computer Aided Verification, 430-443, 2022 | 4 | 2022 |
| Actor-based model checking for Software-Defined Networks E Albert, M Gomez-Zamalloa, M Isabel, A Rubio, M Sammartino, A Silva Journal of Logical and Algebraic Methods in Programming 118, 100617, 2021 | 4 | 2021 |
| Circom: A Circuit Description Language for Building Zero-knowledge Applications M Bellés-Muñoz, M Isabel, JL Muñoz-Tapia, A Rubio, J Baylina IEEE Transactions on Dependable and Secure Computing, 2022 | 3 | 2022 |
| Deadlock-guided testing M Gómez-Zamalloa, M Isabel IEEE Access 9, 46033-46048, 2021 | 2 | 2021 |
| Generation of initial contexts for effective deadlock detection E Albert, M Gómez-Zamalloa, M Isabel Logic-Based Program Synthesis and Transformation: 27th International …, 2018 | 2 | 2018 |
| CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge Circuits JL Muñoz-Tapia, M Belles, M Isabel, A Rubio, J Baylina TechRxiv, 2022 | 1 | 2022 |
| Testing of concurrent programs M Isabel Technical Communications of the 32nd International Conference on Logic …, 2016 | 1 | 2016 |
| Optimal dynamic partial order reduction with context-sensitive independence and observers E Albert, MG de la Banda, M Gómez-Zamalloa, M Isabel, P Stuckey Journal of Systems and Software 202, 111730, 2023 | | 2023 |
| Actor-Based Model Checking for SDN Networks E Albert, M Gómez-Zamalloa, M Isabel, A Rubio, M Sammartino, A Silva arXiv preprint arXiv:2001.10022, 2020 | | 2020 |
| Towards using Horn Clauses in Zero-Knowledge Protocols E Albert, M Isabel, C Rodrıguez-Núnez, A Rubio | | |
| Deadlock Guided Testing in CLP Technical Report (including proofs) E ALBERT, M GOMEZ-ZAMALLOA, M ISABEL | | |
| Combining Static Analysis and Testing for Deadlock Detection Technical Report (including Proofs) E Albert, M Gómez-Zamalloa, M Isabel | | |
| SYCO & aPET Tutorial E Albert, P Arenas, M Gomez-Zamalloa, M Isabel | | |
