Miguel Isabel

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