Miguel Isabel

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Partial Order Reduction

Deadlock Detection

Description Language

Top Venues

J. Log. Algebraic Methods Program.

Publications

Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202 (2023)
Marta Bellés-Muñoz, Miguel Isabel, Jose Luis Muñoz-Tapia, Albert Rubio, Jordi Baylina Melé
Circom: A Circuit Description Language for Building Zero-Knowledge Applications. IEEE Trans. Dependable Secur. Comput. 20 (6) (2023)
Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio
Distilling Constraints in Zero-Knowledge Protocols. CAV (1) (2022)
Miguel Gómez-Zamalloa, Miguel Isabel
Deadlock-Guided Testing. IEEE Access 9 (2021)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118 (2021)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-Based Model Checking for SDN Networks. CoRR (2020)
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA (2019)
Miguel Isabel
Conditional dynamic partial order reduction and optimality results. ISSTA (2019)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio
Constrained Dynamic Partial Order Reduction. CAV (2) (2018)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
Generation of Initial Contexts for Effective Deadlock Detection. LOPSTR (2017)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
On the Generation of Initial Contexts for Effective Deadlock Detection. CoRR (2017)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
Combining Static Analysis and Testing for Deadlock Detection. IFM (2016)
Miguel Isabel
Testing of Concurrent Programs. ICLP (Technical Communications) (2016)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
SYCO: a systematic testing tool for concurrent objects. CC (2016)