Follow
MIGUEL ISABEL MÁRQUEZ
MIGUEL ISABEL MÁRQUEZ
Universidad Politécnica de Madrid
Verified email at ucm.es
Title
Cited by
Cited by
Year
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
312016
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
192016
Constrained dynamic partial order reduction
E Albert, M Gómez-Zamalloa, M Isabel, A Rubio
International Conference on Computer Aided Verification, 392-410, 2018
182018
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
82019
Conditional dynamic partial order reduction and optimality results
M Isabel
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
42019
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
22021
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
22017
Deadlock-Guided Testing
M Gómez-Zamalloa, M Isabel
IEEE Access 9, 46033-46048, 2021
12021
Testing of concurrent programs
M Isabel
Technical Communications of the 32nd International Conference on Logic …, 2016
12016
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
The system can't perform the operation now. Try again later.
Articles 1–14