Get started
Author

Isabel Garcia-Contreras

Observed names: Garcia-Contreras, Isabel, García Contreras, Isabel, ISABEL GARCIA-CONTRERAS, ISABEL GARCÍA-CONTRERAS, Isabel García Contreras
ORCID: 0000-0001-6098-3895
Observed ORCID: 0000-0001-6098-3895
OpenAlex ID: A5038035949
Abstract extensionality: on the properties of incomplete abstract interpretations
2019 · Roberto Bruni, Roberto Giacobazzi, et al. · Proceedings of the ACM on Programming Languages · 35
PDF
Incremental and Modular Context-sensitive Analysis
2021 · ISABEL GARCIA-CONTRERAS, JOSÉ F. MORALES, et al. · Theory and Practice of Logic Programming · 20
PDF
Incremental Analysis of Logic Programs with Assertions and Open Predicates
2020 · Isabel Garcia-Contreras, Jose F. Morales, et al. · Lecture notes in computer science · 13
Fast Approximations of Quantifier Elimination
2023 · Isabel Garcia-Contreras, V. K. Hari Govind, et al. · Lecture notes in computer science · 10
PDF
Semantic code browsing
2016 · ISABEL GARCÍA-CONTRERAS, JOSÉ F. MORALES, et al. · Theory and Practice of Logic Programming · 9
PDF
Btor2MLIR: A Format and Toolchain for Hardware Verification
2023 · Tafese, Joseph, Gurfinkel, Arie, et al. · arXiv (Cornell University) · 6
PDF
VeriFly: On-the-fly Assertion Checking via Incrementality
2021 · MIGUEL A. SANCHEZ-ORDAZ, ISABEL GARCIA-CONTRERAS, et al. · Theory and Practice of Logic Programming · 6
PDF
Efficient Modular SMT-Based Model Checking of Pointer Programs
2022 · Isabel Garcia-Contreras, Arie Gurfinkel, et al. · Lecture notes in computer science · 5
Multivariant Assertion-Based Guidance in Abstract Interpretation
2019 · Isabel Garcia-Contreras, Jose F. Morales, et al. · Lecture notes in computer science · 4
Automatic Inference of Relational Object Invariants
2025 · Yusen Su, Jorge A. Navas, et al. · Lecture notes in computer science · 2
PDF
A scalable static analysis framework for reliable program development exploiting incrementality and modularity
2021 · Isabel García Contreras · UPM Digital Archive (Technical University of Madrid) · 2
Towards Incremental and Modular Context-Sensitive Analysis
2018 · Garcia-Contreras, Isabel, Morales, José F., et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
Speculative SAT Modulo SAT
2024 · V. K. Hari Govind, Isabel Garcia-Contreras, et al. · Lecture notes in computer science · 1
PDF
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.
2018 · Isabel Garcia-Contreras, José F. Morales, et al. · 1
Proceedings of the 6th Workshop on Formal Integrated Development Environment
2021 · Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, et al. · Electronic Proceedings in Theoretical Computer Science
Multivariant Assertion-based Guidance in Abstract Interpretation
2018 · Garcia-Contreras, Isabel, Morales, Jose F., et al. · arXiv (Cornell University)
PDF
Incrementalizing Context-sensitive Analyses for Modularized Programs
2018 · Isabel Garcia-Contreras, José F. Morales, et al. · arXiv (Cornell University)
An approach to incremental and modularcontext-sensitive analysis
2018 · Isabel García Contreras, José Francisco Morales Caballero, et al. · Hispana
Generación de flujos en redes multigigabit ethernet acelerada mediante hardware dedicado
2015 · Isabel García Contreras
Works count: 21
Citation count: 116
H-index: 6
I10-index: 4
Year
Topic
Type