| 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 20 (6), 4733-4751, 2022 | 47 | 2022 |
| 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 | 36 | 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 | 32 | 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 | 21 | 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 | 15 | 2019 |
| CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge Circuits JL Muñoz-Tapia, M Belles, M Isabel, A Rubio, J Baylina Authorea Preprints, 2023 | 6 | 2023 |
| Distilling constraints in zero-knowledge protocols E Albert, M Bellés-Munoz, M Isabel, C Rodríguez-Núñez, A Rubio International Conference on Computer Aided Verification, 430-443, 2022 | 6 | 2022 |
| Actor-based model checking for Software-Defined Networks E Albert, M Gómez-Zamalloa, M Isabel, A Rubio, M Sammartino, A Silva Journal of Logical and Algebraic Methods in Programming 118, 100617, 2021 | 5 | 2021 |
| Deadlock-guided testing M Gómez-Zamalloa, M Isabel IEEE Access 9, 46033-46048, 2021 | 4 | 2021 |
| Conditional dynamic partial order reduction and optimality results M Isabel Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 4 | 2019 |
| 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 | 4 | 2018 |
| Scalable Verification of Zero-Knowledge Protocols M Isabel, C Rodríguez-Núñez, A Rubio 2024 IEEE Symposium on Security and Privacy (SP), 133-133, 2024 | 3 | 2024 |
| Can continuous glucose monitoring identify risk factors in type 1 and type 2 diabetes? A literature review MM Isabel, J Cancela, G Fico, A Facchinetti, C Cobelli, MT Arredondo IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI …, 2014 | 3 | 2014 |
| 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 | 1 | 2023 |
| Testing of concurrent programs M Isabel Technical Communications of the 32nd International Conference on Logic …, 2016 | 1 | 2016 |
| Deadlock-Guided Testing M Isabel, M Gómez-Zamalloa Gil IEEE, 2021 | | 2021 |
| 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 |
| Exploring Continuous Glucose Monitoring on the Frequency Domain to Identify Risk Factors in Type 2 Diabetes M Isabel, J Cancela, G Fico, A Facchinetti, C Fabris, C Cobelli, ... Book of Abstracts, 2014 | | 2014 |
| 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 | | |
