| 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 | 31 | 2016 |
| 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 |
| Constrained dynamic partial order reduction E Albert, M Gómez-Zamalloa, M Isabel, A Rubio International Conference on Computer Aided Verification, 392-410, 2018 | 18 | 2018 |
| 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 | 8 | 2019 |
| Conditional dynamic partial order reduction and optimality results M Isabel Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 4 | 2019 |
| 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 | 2 | 2021 |
| Generation of initial contexts for effective deadlock detection E Albert, M Gómez-Zamalloa, M Isabel International Symposium on Logic-Based Program Synthesis and Transformation …, 2017 | 2 | 2017 |
| Deadlock-Guided Testing M Gómez-Zamalloa, M Isabel IEEE Access 9, 46033-46048, 2021 | 1 | 2021 |
| Testing of concurrent programs M Isabel Technical Communications of the 32nd International Conference on Logic …, 2016 | 1 | 2016 |
| 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 | | 2022 |
| 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 |
| 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 | | |
