| Abstract extensionality: on the properties of incomplete abstract interpretations R Bruni, R Giacobazzi, R Gori, I Garcia-Contreras, D Pavlovic Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 35 | 2019 |
| Incremental and Modular Context-sensitive Analysis I GARCIA-CONTRERAS, JF MORALES, MV HERMENEGILDO Theory and Practice of Logic Programming 21 (2), 196-243, 2021 | 20* | 2021 |
| Semantic code browsing I Garcia-Contreras, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016 | 19 | 2016 |
| Fast Approximations of Quantifier Elimination I Garcia-Contreras, VKH Govind, S Shoham, A Gurfinkel International Conference on Computer Aided Verification, 64-86, 2023 | 11 | 2023 |
| Incremental analysis of logic programs with assertions and open predicates I Garcia-Contreras, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 9 | 2019 |
| Verifly: On-the-fly Assertion checking via incrementality MA Sanchez-Ordaz, I Garcia-Contreras, V PEREZ, JF Morales, ... Theory and Practice of Logic Programming 21 (6), 768-784, 2021 | 8 | 2021 |
| Multivariant assertion-based guidance in abstract interpretation I Garcia-Contreras, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2018 | 8 | 2018 |
| BTOR2MLIR: A Format and Toolchain for Hardware Verification. J Tafese, I Garcia-Contreras, A Gurfinkel FMCAD, 55-63, 2023 | 5 | 2023 |
| Towards Incremental and Modular Context-Sensitive Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Communications of the 34th International Conference on Logic …, 2018 | 5 | 2018 |
| Efficient Modular SMT-Based Model Checking of Pointer Programs I Garcia-Contreras, A Gurfinkel, JA Navas International Static Analysis Symposium, 227-246, 2022 | 3 | 2022 |
| Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP I Garcia-Contreras, J Morales, MV Hermenegildo 10th Workshop on Tools for Automatic Program Analysis (TAPAS’19), 2019 | 2 | 2019 |
| An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Report CLIP, 2018 | 2 | 2018 |
| Speculative SAT Modulo SAT VK Hari Govind, I Garcia-Contreras, S Shoham, A Gurfinkel International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| A scalable static analysis framework for reliable program development exploiting incrementality and modularity I García Contreras ETSI_Informatica, 2021 | 1* | 2021 |
| Automatic Inference of Relational Object Invariants Y Su, JA Navas, A Gurfinkel, I Garcia-Contreras International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| Generación de flujos en redes multigigabit ethernet acelerada mediante hardware dedicado I García Contreras | | 2015 |
| VeriFly: On-the-fly Assertion Checking with CiaoPP (tool presentation) MA Sanchez-Ordaz, I Garcia-Contreras, V Pérez, JF Morales, ... | | |
| Code. Analyze. Repeat. Incremental and Modular Static Program Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo | | |