MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
Publicaciones (15) Publicaciones de MIGUEL ISABEL MÁRQUEZ
2024
-
Scalable Verification of Zero-Knowledge Protocols
Proceedings - IEEE Symposium on Security and Privacy
2023
-
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
-
Optimal dynamic partial order reduction with context-sensitive independence and observers
Journal of Systems and Software, Vol. 202
2022
-
Distilling Constraints in Zero-Knowledge Protocols
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
-
Deadlock-guided testing
IEEE Access, Vol. 9, pp. 46033-46048
2019
-
Conditional dynamic partial order reduction and optimality results
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
-
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
-
Constrained dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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
-
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)
-
SYCO: A systematic testing tool for concurrent objects
Proceedings of CC 2016: The 25th International Conference on Compiler Construction
-
Testing of concurrent programs
OpenAccess Series in Informatics
2014
-
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