Semantic code browsing. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2016)

Towards Incremental and Modular Context-Sensitive Analysis. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2018)

Multivariant Assertion-Based Guidance in Abstract Interpretation. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2018)

An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2018)

Incremental Analysis of Logic Programs with Assertions and Open Predicates. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2019)

Abstract extensionality: on the properties of incomplete abstract interpretations. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Isabel Garcia-Contreras; Dusko Pavlovic (Proc. ACM Program. Lang., 2020)

Incremental and Modular Context-sensitive Analysis. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

VeriFly: On-the-fly Assertion Checking via Incrementality. - Miguel A. Sanchez-Ordaz; Isabel Garcia-Contreras; Victor Perez-Carrasco; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

A scalable static analysis framework for reliable program development exploiting incrementality and modularity. - Isabel Garcia-Contreras (2021)

Efficient Modular SMT-Based Model Checking of Pointer Programs. - Isabel Garcia-Contreras; Arie Gurfinkel; Jorge A. Navas (SAS, 2022)

Fast Approximations of Quantifier Elimination. - Isabel Garcia-Contreras; Hari Govind V. K.; Sharon Shoham; Arie Gurfinkel (CAV (2), 2023)

BTOR2MLIR: A Format and Toolchain for Hardware Verification. - Joseph Tafese; Isabel Garcia-Contreras; Arie Gurfinkel (FMCAD, 2023)

Speculative SAT Modulo SAT. - Hari Govind V. K.; Isabel Garcia-Contreras; Sharon Shoham; Arie Gurfinkel (TACAS (1), 2024)

Automatic Inference of Relational Object Invariants. - Yusen Su; Jorge A. Navas; Arie Gurfinkel; Isabel Garcia-Contreras (VMCAI (1), 2025)