Publications by the researcher in collaboration with MIGUEL ISABEL MÁRQUEZ (8)

2023

  1. 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

2019

  1. 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)

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