Miguel Isabel

According to our database, Miguel Isabel authored at least 14 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Verification of Zero-Knowledge Protocols.

Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

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

Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey

J. Syst. Softw., August, 2023

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

Marta Bellés-Muñoz, Miguel Isabel, Jose Luis Muñoz-Tapia, Albert Rubio, Jordi Baylina Melé

IEEE Trans. Dependable Secur. Comput., 2023

2022

Distilling Constraints in Zero-Knowledge Protocols.

Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Actor-based model checking for Software-Defined Networks.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva

J. Log. Algebraic Methods Program., 2021

Deadlock-Guided Testing.

Miguel Gómez-Zamalloa, Miguel Isabel

IEEE Access, 2021

2020

Actor-Based Model Checking for SDN Networks.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva

CoRR, 2020

2019

Conditional dynamic partial order reduction and optimality results.

Miguel Isabel

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

Optimal context-sensitive dynamic partial order reduction with observers.

Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey

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

2018

Constrained Dynamic Partial Order Reduction.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Generation of Initial Contexts for Effective Deadlock Detection.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016

Combining Static Analysis and Testing for Deadlock Detection.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Testing of Concurrent Programs.

Miguel Isabel

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

SYCO: a systematic testing tool for concurrent objects.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel

Proceedings of the 25th International Conference on Compiler Construction, 2016