Publicacions (15) Publicacions de MIGUEL ISABEL MÁRQUEZ

2024

  1. Scalable Verification of Zero-Knowledge Protocols

    Proceedings - IEEE Symposium on Security and Privacy

2023

  1. Circom: A Circuit Description Language for Building Zero-Knowledge Applications

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 6, pp. 4733-4751

  2. Optimal dynamic partial order reduction with context-sensitive independence and observers

    Journal of Systems and Software, Vol. 202

2022

  1. Distilling Constraints in Zero-Knowledge Protocols

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

  2. Deadlock-guided testing

    IEEE Access, Vol. 9, pp. 46033-46048

2019

  1. Conditional dynamic partial order reduction and optimality results

    ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

  2. Optimal context-sensitive dynamic partial order reduction with observers

    ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

2018

  1. Constrained dynamic partial order reduction

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Generation of initial contexts for effective deadlock detection

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2017

  1. Exploring the Frequency Domain of Continuous Glucose Monitoring Signals to Improve Characterization of Glucose Variability and of Diabetic Profiles

    Journal of Diabetes Science and Technology, Vol. 11, Núm. 4, pp. 773-779

2016

  1. Combining static analysis and testing for deadlock detection

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. SYCO: A systematic testing tool for concurrent objects

    Proceedings of CC 2016: The 25th International Conference on Compiler Construction

  3. Testing of concurrent programs

    OpenAccess Series in Informatics

2014

  1. Can continuous glucose monitoring identify risk factors in type 1 and type 2 diabetes? A literature review

    2014 IEEE-EMBS International Conference on Biomedical and Health Informatics, BHI 2014